Questão FC610896
Modus Ponens e Modus Tollens são dois principais tipos de inferência lógica válida dentro da lógica proposicional. Ambos se baseiam em preposições condicionais. O Modus Ponens afir
Lógica de Proposições
CPCON UEPB · 2025
Modus Ponens e Modus Tollens são dois principais tipos de inferência lógica válida dentro da lógica proposicional. Ambos se baseiam em preposições condicionais. O Modus Ponens afirma o antecedente, enquanto o Modus Tollens nega o consequente. Com base nesse conhecimento, considere os seguintes argumentos:
I- Se o candidato fizer a prova, então ele assumirá o cargo público.
O candidato fez a prova.
Logo, ele assumirá o cargo público.
II- Se a CPCON aplicar a prova, então todos os candidatos receberão o cartão de confirmação.
Um candidato não recebeu o cartão de confirmação.
Logo, a CPCON não aplicará a prova.
Com base na lógica proposicional, assinale a alternativa CORRETA.
- Ambos os argumentos são exemplos de Modus Ponens.
- O argumento I é um exemplo de Modus Ponens, e o argumento II é um exemplo de Modus Tollens.
- Ambos os argumentos são exemplos de Modus Tollens.
- O argumento I é inválido, e apenas o II é válido.
- Nenhum dos dois argumentos é logicamente válido.
Mostrar resposta e comentário
Gabarito
B
Comentário do professor
Modus Ponens: o argumento I tem a forma padrão \(P\to Q\); \(P\); portanto \(Q\). Aqui o antecedente é afirmado e, por isso, pode-se deduzir o consequente. Aplicando ao caso: \(P\) = "o candidato fez a prova" e \(Q\) = "ele assumirá o cargo público", logo de \(P\to Q\) e \(P\) segue-se \(Q\).
Modus Tollens: o argumento II tem a forma padrão \(P\to Q\); \(\neg Q\); portanto \(\neg P\). Nesse esquema a negação do consequente implica a negação do antecedente. No exemplo, \(P\) = "a CPCON aplicará a prova" e \(Q\) = "todos receberão o cartão"; como \(\neg Q\) (um candidato não recebeu), conclui-se \(\neg P\).
Conteúdo do catálogo FC Concursos · Atualizado em