P∨Q と ¬P⇒Q の真偽表

 P  Q   ¬P  P∨Q   ¬P⇒Q 
 ○  ○   ×  ○   ○ 
 ○  ×   ×  ○   ○ 
 ×  ○   ○  ○   ○ 
 ×  ×   ○  ×   × 

目次に戻る