Considere que P→Q e ¬P Q têm exatamente as mesmas interpretações V ou F. Então, simbolizando-se adequadamente, pode-se afirmar que é válido o seguinte argumento: Pedro não é um frade franciscano ou Pedro fez voto de pobreza, mas (e) Pedro é um frade franciscano, então Pedro fez voto de pobreza.