Considere as proposições a seguir.
a + b = u → a = z + w
a ≠ 5 ∧ u = 12
a = z → b = 7
Sabendo que w=0, é correto inferir que
a + b ≠ 12.
z + w ≠ 0.
Não é cadastrado?
