Considere verdadeira a seguinte proposição:
“Se Marta é advogada, então Fernanda é médica e Gustavo não está empregado”.
Sendo verdade que Gustavo está empregado, conclui-se como necessariamente verdadeiro que:
Marta é advogada.
Fernanda é médica.
Marta não é advogada.
Fernanda não é médica.
