Flashcards
rules of inference
Cards in this deck (8)
- 1(p A (p->q)) -> qmodus ponens
- 2(¬q A (p->q)) -> ¬pmodus tollens
- 3((q->r) A (r->p)) -> (q->p)hypothetical syllogism
- 4((pVq) A ¬q) -> pdisjunctive syllogism
- 5p -> (pVq)addition
- 6(pVq) -> psimplification
- 7((p) A (q)) -> (pAq)conjunction
- 8((pVq) A (¬pVr) -> (qVr)resolution
Information
- Description
- rules of inference
- Created by
- Spam Man · Sep 2019
- Updated
- Sep 14, 2019
- Views
- 15
- Tags
- Rating