Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion/Axiom
Aussagenlogische Grundtautologien
Für eine Aussagenvariablenmenge und beliebige Ausdrücke legt man folgende (syntaktische) Tautologien axiomatisch fest.
und
Für eine Aussagenvariablenmenge und beliebige Ausdrücke legt man folgende (syntaktische) Tautologien axiomatisch fest.
und