Em lógica matemática, uma proposição pode ser verdadeira ou falsa, independentemente de seu significado no mundo real. Considere falsa a proposição seguinte:
“Se os habitantes de Pouso Alegre possuem qualidade de vida, então a cidade é grande ou sua economia é desenvolvida.”
Da proposição apresentada, conclui-se que é verdadeira a seguinte proposição: