Fichas
rules of inference
Fichas del conjunto (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
Información
- Descripción
- rules of inference
- Creado por
- Spam Man · sep 2019
- Actualizado
- 14 sep 2019
- Visitas
- 15
- Etiquetas
- Valoración