19340639
| Question | Answer |
| (p A (p->q)) -> q | modus ponens |
| (¬q A (p->q)) -> ¬p | modus tollens |
| ((q->r) A (r->p)) -> (q->p) | hypothetical syllogism |
| ((pVq) A ¬q) -> p | disjunctive syllogism |
| p -> (pVq) | addition |
| (pVq) -> p | simplification |
| ((p) A (q)) -> (pAq) | conjunction |
| ((pVq) A (¬pVr) -> (qVr) | resolution |
Want to create your own Flashcards for free with GoConqr? Learn more.