|
versions of Philosophy Logic:
main
| yours | all
Philosophy Logic
edit
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 |
start learning | start learning |
Key
| Question | Answer |
| ▲ | Therefore |
| v | Or |
start learning | start learning |
: Not
| Question | Answer |
| ► | If...Then |
| & | And |
| ◊ | Only If |
start learning | start learning |
|
|
|
| |