Prädikatenlogik/Syntaktische Tautologien/Aussagenlogik/Implikation, Negation, Konjunktion/Axiom

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zu einem beliebigen Symbolalphabet und beliebige Ausdrücke legt man folgende (syntaktische) Tautologien axiomatisch fest.

  1. und