This quiz tests your ability to complete logical proofs using only the following derivation rules: Modus Ponens (MP), Modus Tollens (MT), Disjunctive Syllogism (DS), Double Negation (DN), Addition (Add.), and Simplification (Simp.)
Logical Proofs – Easier Cases
Time limit: 0
Quiz Summary
0 of 1 questions completed
Questions:
Information
You have already completed the quiz before. Hence you can not start it again.
