Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion/Axiom

Aus Wikiversity
Aussagenlogische Grundtautologien

Für eine Aussagenvariablenmenge und beliebige Ausdrücke legt man folgende (syntaktische) Tautologien axiomatisch fest.

  1. und