∣ –  
5˙04441
A weiß, daß p” ist tautologisch wenn p eine Tautologie ist.