Considere falsa a proposição “Se João é engenheiro, então José é juiz e Pedro é advogado”. Do ponto de vista do raciocínio lógico, é necessariamente verdadeiro:
José é juiz.
Pedro não é advogado.
José não é juiz.
João é engenheiro.
João não é engenheiro.
