(P⇒R)∧(Q⇒S) と P∨R⇒Q∨S の真偽表(推論)

 P  Q   R  S   P⇒R  Q⇒S   P∨Q  R∨S   (P⇒R)∧(Q⇒S)  P∨Q⇒R∨S 
 ○  ○   ○  ○   ○  ○   ○  ○   ○  ○ 
 ○  ○   ○  ×   ○  ×   ○  ○   ×  ○ 
 ○  ○   ×  ○   ×  ○   ○  ○   ×  ○ 
 ○  ○   ×  ×   ×  ×   ○  ×   ×  × 
 ○  ×   ○  ○   ○  ○   ○  ○   ○  ○ 
 ○  ×   ○  ×   ○  ○   ○  ○   ○  ○ 
 ○  ×   ×  ○   ×  ○   ○  ○   ×  ○ 
 ○  ×   ×  ×   ×  ○   ○  ×   ×  × 
 ×  ○   ○  ○   ○  ○   ○  ○   ○  ○ 
 ×  ○   ○  ×   ○  ×   ○  ○   ×  ○ 
 ×  ○   ×  ○   ○  ○   ○  ○   ○  ○ 
 ×  ○   ×  ×   ○  ×   ○  ×   ×  × 
 ×  ×   ○  ○   ○  ○   ×  ○   ○  ○ 
 ×  ×   ○  ×   ○  ○   ×  ○   ○  ○ 
 ×  ×   ×  ○   ○  ○   ×  ○   ○  ○ 
 ×  ×   ×  ×   ○  ○   ×  ×   ○  ○ 

├目次に戻る