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