Karteikarten
rules of inference
Karten in diesem Stapel (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
Informationen
- Beschreibung
- rules of inference
- Erstellt von
- Spam Man · Sep 2019
- Aktualisiert
- 14 Sep 2019
- Aufrufe
- 15
- Tags
- Bewertung