sexta-feira, 2 de dezembro de 2011

Afirmação da antecedente e negação da consequente

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:

Unknown disse...

Esperava uma explicação mais esclarecedora. Não respondeu a minha dúvida!!!