(P⇔Q)∧(Q⇔R)⇒(P⇔R) [推移律(TRANSITIVITY)]の真偽表(推論)

 P  Q   R  P⇔Q   Q⇔R  (P⇔Q)∧(Q⇔R)   P⇔R  (P⇔Q)∧(Q⇔R)⇒(P⇔R) 
 ○  ○   ○  ○   ○  ○   ○  ○ 
 ○  ○   ×  ○   ×  ×   ×  ○ 
 ○  ×   ○  ×   ×  ×   ○  ○ 
 ○  ×   ×  ×   ○  ×   ×  ○ 
 ×  ○   ○  ×   ○  ×   ×  ○ 
 ×  ○   ×  ×   ×  ×   ○  ○ 
 ×  ×   ○  ○   ×  ×   ×  ○ 
 ×  ×   ×  ○   ○  ○   ○  ○ 

・推移律はつねに真なり。


├目次に戻る