A afirmação da antecedente (Modus ponens) e a negação da consequente (Modus tollens) são duas formas argumentativas válidas muito frequentes, tanto na vida quotidiana como na filosofia.
Afirmação da antecedente:
Se P então Q
P
Logo, Q
Se não P então Q
Não P
Logo, Q
Se P então não Q
P
Logo, não Q
Se não P então não Q
Não P
Logo, não Q
Negação da consequente:
Se P então Q
Não Q
Logo, não P
Se não P então Q
Não Q
Logo, P
Se P então não Q
Q
Logo, não P
Se não P então não Q
Q
Logo, P
Não se deve confundir estas formas válidas com formas parecidas mas inválidas. Como é o caso da Negação da antecedente e da Afirmação da consequente. Ei-las, respetivamente:
Se P então Q
Não P
Logo, não Q
Se P então Q
Q
Logo, P
1 comentário:
Esperava uma explicação mais esclarecedora. Não respondeu a minha dúvida!!!
Enviar um comentário