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: