7

Wer mir nicht glaubt, wird ersucht, die Wahrheitstabelle von φψ und die von ¬(¬φ∧¬ψ) zu vergleichen oder die beiden Argumente φ ψ ⊢¬(¬φ ∧¬ψ) und ¬(¬φ ∧¬ψ) φ ψ herzuleiten. Die Feststellung, dass diese beiden Argumente gültig sind, ist als Satz von De Morgan bekannt (nach dem englischen Mathematiker Augustus De Morgan, 1806-1871).