Modus Ponens e Modus Tollenssã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.