集合と論理－命題と論理

下記に詳細解説へのリンクを示します。

http://home.hiroshima-u.ac.jp/fujita/Class/Kisoron/logic.pdf

ウィキペディア

http://akademeia.info/index.php?%CC%BF%C2%EA%CF%C0%CD%FD


普段何気なく使っている思考パターンも、こうしていちいち拾い上げて
式で表してみると、なかなか難しく感じるので不思議です。

人間は高度なことを日常的にやっているということですね。