Question

Determine a veracidade das seguintes formas, ou seja a forma correta, se necessário: 1) Todo o A é B. Todo o A é C. Logo, algum C não é B

Answer 1

Resposta:

Está errado, o certo seria.

Todo A é B.

Todo A é C.

Logo todo C é B.

p: A=B ∧ A=C -> B=C

É o que chamamos de propriedade de relação transitiva.

"Para todo x ∈ A, y ∈ A, z ∈ A, se (x;y) ∈ R e (y;z) então (x;z) ∈ R.

Ex: R={(1,2);(2,3);(1,3)}"