delcypher/propositional-logic-induction-proofs — pull request #2 by henryaddison (2012-05-14 20:37:14+00:00)
Title: Predicate de morgans

Hi Dan,

I've added the proofs of the quantifier versions of de Morgan's rules in a Predicate Logic Equivalences section.

I'm pretty confident they're right, though I've failed to find proofs online to back me up.

Henry