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.