Rules
| Rule (memorize) | Form (memorize) |
|---|---|
| Modus Ponens | P ► Q , P ▲ Q |
| Disjunctive Syllogism | P v Q , -P ▲ Q |
| Double Negation | --P ▲ P or P ▲ --P |
| Simplification | P & Q ▲ P or P & Q ▲ Q |
| Conjunction | P , Q ▲ P & Q or P , Q ▲ Q & P |
| Addition | P ▲ P v Q |
| Modus Tollens | P ► Q , -Q ▲-P |
| Hypothetical Syllogism | P ► Q , Q ► R ▲ P ► R |
| Biconditional Definition | P ► Q , Q ► P ▲ P ◊ Q |
| Dilemma | P v Q , P ► R , Q ► R ▲ R |
Add a section to this page!
- Click this button to contribute to this page (by adding a section here).♦
Feel free to experiment. Your edits won't immediately show up to everyone.



working...