(P⇒Q)⇒R と P⇒(Q⇒R) [結合律(ASSOCIATIVITY)]の真偽表(推論)

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

├目次に戻る