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

Aus Wikiversity
  1. Aus und folgt .
  2. Aus und ergibt sich .