>>244
証明:
R:
(1,1)∧(1,2)⇒(1,2)
(1,1)∧(1,3)⇒(1,3)
(1,3)∧(3,3)⇒(1,3)
S:
(1,1)∧(1,2)⇒(1,2)
(1,2)∧(2,1)⇒(1,1)
(1,2)∧(2,2)⇒(1,2)
(2,1)∧(1,1)⇒(2,1)
(2,1)∧(1,2)⇒(2,2)
(2,2)∧(2,1)⇒(2,1)
T:
(1,1)∧(1,2)⇒(1,2)
(1,2)∧(2,2)⇒(1,2)
(1,2)∧(2,3)⇒φ