だから
p→q,p∨q,p∧q,¬p
の真偽の定義が出来ないのなら意味なし