河野真治 @ 琉球大学情報工学です。

あと、wacky、

   ∃x ¬p(x)        p(x)でないxがある

時に、

   ∀x p(x)          p(x)  (すべてのxについて)

が、論理的帰結だっていうのはやめれ。すげー馬鹿に見えます。

この場合は
    p(x)            私用メールx は不当である
ですな。

君には難しすぎるとは思うけど... 一階述語論理は勉強する価値は
あるよ。

---
Shinji KONO @ Information Engineering, University of the Ryukyus
河野真治 @ 琉球大学工学部情報工学科