Sample Proofs

• Propositional logic proof in EG (.mov, 22Kb)
• Same proof, but by doing a few steps in parallel (.mov, 10Kb)
• Another propositional logic proof (.wmv, 1.38Mb)
• And yet another propositioanl logic proof (.wmv, 865Kb)
• A predicate logic proof (.wmv, 567Kb)