6/FORMAL PROOF OF VALIDITY

of proofs. The second example is more complicated, and as can be observed, no inference rules would allow us to infer validly from the combina- tion of any of the premises. So as the first step, we use the De Morgan Theorem (line 4) without which it would seem impossible to provide proofs for … ................
................