Enunciados de questões e informações de concursos
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.