Considere a seguinte proposição composta.
“Se Cristiano não é contador, então Lionel é administrador.”
Do ponto de vista lógico, uma afirmação equivalente à proposição dada está indicada na seguinte alternativa:
Se Lionel é administrador, então Cristiano não é contador.
Se Lionel não é administrador, então Cristiano é contador.
Se Cristiano é contador, então Lionel não é administrador.
Se Cristiano não é administrador, então Lionel não é contador.
