Beweis von aussagenlogischen Formeln im
Baumkalkül nach Smullyan
Beispiele
Modus Ponens
Modus Tollens
p∨¬p
Kettenschluss
Zureichender Grund
Satz vom Widerspruch
OK
Bei mehr als einem Operator Klammern benutzen.
Reservierte Zeichen: F, T, (, ), →, ∧, ∨, ¬ (und Alternativen)
Alternative Eingabe: -> für →, ^ oder & für ∧, v oder | für ∨, ~ für ¬