Thread: Relation proof

Use the logical definition to explain why the null relation  is transitive.




The only thing that makes sense to me is that it doesnt violate the rules of transitivity, so im assuming that it is transitive, but this is clearly not a proof, so need some help.

Originally Posted by tokio

Use the logical definition to explain why the null relation  is transitive.

This proof turns on a simple fact of logic: "A false statement implies any statement."
If P is a false statement the the statement 'If P then X' is a true statement no matter what statement X is.

If is the empty relation then is always false.