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

・推移律は必ずしも真ならず。


├目次に戻る