Flashcards
rules of inference
Flashcards do 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
Informações
- Descrição
- rules of inference
- Criado por
- Spam Man · set 2019
- Atualizado
- 14 set 2019
- Visualizações
- 15
- Tags
- Avaliação