click below
click below
Normal Size Small Size show me how
Logic Rules
Rules of Implication and replacement
| Question | Answer |
|---|---|
| Modus ponens | P>Q /P //Q |
| De Morgan's (DM) | ~(p * q)::(~p v ~q) |
| Transportation (trans) | (p>q)::(~q>~p) |
| Implication (imp) | p>q :: (~p v q) |
| Modus tollens (MT) | p > q /~q //~p |