Considere verdadeira a afirmação (I) e falsa a afirmação(II):
(I) (x = y) → (x ⊗ y = z)
(II) (x = y) ∧ (x ⊗ y = z)
Nessas condições, é necessariamente verdade que
(I) (x = y) → (x ⊗ y = z)
(II) (x = y) ∧ (x ⊗ y = z)
Nessas condições, é necessariamente verdade que