A frase “Se o aluno se formou, então conseguiu emprego” equivale logicamente a:

Gabarito

Certo

Comentário do professor

Seja \(a\): o aluno se formou; \(e\): o aluno conseguiu emprego.

A proposição condicional é \(a \to e\). Uma forma logicamente equivalente é \( \neg a \vee e\), obtida negando o antecedente e mantendo o consequente.

Essa expressão lê-se O aluno não se formou ou conseguiu emprego.

Justificativa curta: \(a \to e\) é falsa apenas quando \(a\) é verdadeira e \(e\) é falsa. A disjunção \(\neg a \vee e\) também é falsa somente quando \(\neg a\) é falsa (isto é, \(a\) verdadeira) e \(e\) é falsa.

Como as condições de verdade coincidem em todos os casos, \(a \to e\) e \(\neg a \vee e\) são equivalentes.