Em lógica matemática, uma proposição pode ser verdadeira ou falsa, independentemente de seu significado no mundo real. Considere que a proposição apresentada a seguir tem valor lógico falso:

“Se Paulo está trabalhando em Pouso Alegre, então ele foi aprovado no concurso ou sua esposa não é uma empresária bem-sucedida.”

Decorre dessa proposição que a seguinte afirmativa é verdadeira: