The implication operation, i.e. xRy is defined as x implies

Last updated: 7/8/2022

The implication operation, i.e. xRy is defined as x implies y, on the set (0,1). Is the relation reflexive? Yes No Is the relation irreflexive? Yes No Is the relation transitive? Yes No Is the relation symmetric? Yes No Is the relation antisymmetric? Yes No Is the relation a poset? Yes No Is the relation an equivalence relation? Yes No O No