Matemática e raciocínio Flashcards
1
Q
Modus Ponens:
A
Se p, então q. p. Portanto, q.
2
Q
Sempre que afirmo o antecedente, posso concluir o consequente.
A
Modus Ponens
3
Q
Modus Tollens:
A
Se p, então q. Não q. Portanto, não p.
4
Q
Silogismo Hipotético:
A
Se p, então q. Se q, então r. Portanto, se p, então r.
5
Q
Redução ao Absurdo:
A
Assume-se a negação da conclusão desejada e chega-se a uma contradição. Portanto, a conclusão original é verdadeira.
6
Q
A
