Pravda: Proof Assistant for Verifying Deduction for All
Resolution in proposition logic
Resolution rule
Example 1
Example 2: Horn clauses
Natural deduction in propositional logic
Learn the Modus ponens rule
Learn the rule And
Learn the elimination of and
Learn the introduction of implication
Learn the introduction of or
Learn the elimination of or
Example 1