(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) 
 ○  ○   ○  ○   ○  ○   ○  ○ 
 ○  ○   ×  ○   ×  ×   ×  ○ 
 ○  ×   ○  ×   ○  ×   ○  ○ 
 ○  ×   ×  ×   ○  ×   ×  ○ 
 ×  ○   ○  ○   ○  ○   ○  ○ 
 ×  ○   ×  ○   ×  ×   ○  ○ 
 ×  ×   ○  ○   ○  ○   ○  ○ 
 ×  ×   ×  ○   ○  ○   ○  ○ 

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


├目次に戻る