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 de Fernando é verdadeira e z = 5, então “(x = 0 ou x = 1)” e “(y = 0 ou y = 1)” são, necessariamente, proposições verdadeiras.
