(P2-7) P⇔¬Q および ¬P⇔Q と (P2-10) ¬P⇔¬Q の真偽表(推論)

 P  Q   ¬P  ¬Q   P⇔¬Q  ¬P⇔Q   ¬P⇔¬Q 
 ×  ×   ○  ○   ×  ×   ○ 
 ×  ○   ○  ×   ○  ○   × 
 ○  ×   ×  ○   ○  ○   × 
 ○  ○   ×  ×   ×  ×   ○ 

目次に戻る