http://www.math.h.kyoto-u.ac.jp/~takasaki/edu/logic/logic1.html
Introduction to Mathematical Logic
記号論理学というものがございます。
http://www.amazon.co.jp/exec/obidos/ASIN/4815803900/250-5112948-...
Amazon.co.jp: 論理学をつくる: 本: 戸田山 和久
『論理学をつくる』戸田山和久。
けっこうがっちりした本です。
http://www.amazon.co.jp/exec/obidos/ASIN/4130120530/250-5112948-...
Amazon.co.jp: 論理学: 本: 野矢 茂樹
『論理学』野矢 茂樹。
こちらも定評があります。
http://www.amazon.co.jp/exec/obidos/ASIN/4788949555/qid=11321709...
Amazon.co.jp: 上・中級公務員 標準判断推理―確かな解答力が身につく“基本書”: 本: 田辺 勉
いきなりそういう本に入るのが抵抗アリ、というのであれば、公務員試験の「数的処理」の参考書の「判断推理」の問題集というのが最初のとっかかりにはわかりやすいかもしれません。
http://ja.wikipedia.org/wiki/%E8%A8%98%E5%8F%B7%E8%AB%96%E7%90%8...
数理論理学 - Wikipedia
論理のチェックさえ厳しく入っていれば、どんな言語でも論理的な記述は可能だと思いますが、機械的に論理的命題を導くことが出来るというのなら記号論理学じゃないでしょうか。
http://www.amazon.co.jp/exec/obidos/ASIN/4535601046/250-9706876-...
Amazon.co.jp: 記号論理入門: 本: 前原 昭二
とか
http://www.amazon.co.jp/exec/obidos/ASIN/432610158X/qid=11321935...
Amazon.co.jp: よくわかる記号論理: 本: 藤村 龍雄
が入門には良いようです。
数理論理学はよさげです。
Japan Debate Association ���{�f�B�x�[�g����
物事を論理的に説明するのは、ディベートというものがあります。
詳しくはURLで確認してみてください。
皆さんありがとうございました。
記号論理学は参考になりそうです。