Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion/Axiomatik/Weitere Schlussregeln/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
  1. Aus und folgt .
  2. Aus und ergibt sich .

Zum Beweis, Alternativen Beweis erstellen