karai é isso.

Modus PONES = SEM NEGAÇÃO

Modus TolleNs = Tem Negação

GABARITO: A

Modus ponens e modus tollens são duas regras de inferência da lógica proposicional, ambas baseadas em proposições condicionais ("se... então"). Modus ponens, ou "modo de afirmar afirmando", permite concluir a verdade do consequente quando a proposição condicional e o antecedente são verdadeiros. 

Modus tollens, ou "modo de negar negando", permite concluir a falsidade do antecedente quando a proposição condicional e a negação do consequente são verdadeiras. 

Modus Ponens:

• Estrutura: Se P, então Q. P é verdadeiro. Portanto, Q é verdadeiro. 
• Exemplo: Se está chovendo, então o chão está molhado. Está chovendo. Portanto, o chão está molhado. 

Modus Tollens:

• Estrutura: Se P, então Q. Não Q é verdadeiro. Portanto, não P é verdadeiro. 
• Exemplo: Se está chovendo, então o chão está molhado. O chão não está molhado. Portanto, não está chovendo. 

A estrutura Modus Ponens segue a seguinte lógica:

• Se P, então Q

• P acontece

• Logo, Q acontece

Estrutura modus Tollens:

Se P, então Q

Q não acontece

Logo, P também não acontece.

credo