(P1-3) P∧P [∧ の反射律(REFLEXIVITY)] の真偽表(推論)

 P  P∧P 
 ×  × 
 ○  ○ 

・反射律はつねには真ならず。


目次に戻る