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.