Transitivity with implied logic

Phatfoo

New member
Joined
May 22, 2018
Messages
16
This blew my mind.

Screenshot 2018-05-24 at 10.16.25.jpg

A relation can be transitive if two transitive pairs can't be found. Which confirms the p -> q logic of "if p is false, then q is true".

Apologies if I'm slow, but that really opened my eyes.
 
Top