Philosophy Logic
rename
Updated
2007-03-12 07:33
Rules
| Rule | Form |
|---|---|
| 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 |
