Fernando, administrador de uma grande empresa,
decidiu desenvolver um programa computacional para
organizar automaticamente os dados de seus clientes.
No meio do código, Fernando escreveu a seguinte proposição:
“Se (x = 0 ou x = 1) e (y = 0 ou y = 1), então z = 5”.
Se a proposição “Se (x = 0 ou x = 1) e (y = 0 ou y = 1),então z ≠ m ∀ m ≤ 5” é verdadeira, então a proposição de Fernando é falsa.