L000016T

(p1-3) P∧P [∧ の反射律 (REFLEXIVITY)] と (p1-2) ￢(P∧P) の真偽表(推論)

P	P∧P	￢(P∧P)
×	×	○
○	○	×

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