完全な初心者の一次ロジック（本の推奨事項）？

Question

私は持ってはいけないクラスにサインアップしました。だから、教授が一次ロジックを説明していたときに使用されている表記を理解していないので、今は少しねじ込まれています。これらすべてを再学習する方法については、本の提案が必要です。たとえば、私は「量子」とは何かについて混乱していました（グーグルでグーグルした後は知っています）。たくさんの例がある良い本はありますか？ありがとう

Answer 1

ジョン・バーワイズ＆ジョン・エッチメンディ、 一次ロジックの言語 （CSLI Press、1992）は素晴らしいです。 2002年に改訂および拡張版がリリースされ、題されています 言語、証明、論理.

Answer 2

UCLAの論理学者には、一次ロジックをカバーする無料のロジックブックがあります ここ.

この本の良いことの1つは、それがと書かれていることです。 フリーソフトウェアプログラム 論理を学ぶのに役立ちます。

私は3つの大学の論理コースを教えてきましたが、それについて読むことに加えて、実証と派生を完了することで、学生の大半がはるかに良くなることがわかりました。とはいえ、数学やプログラミングの学習と同じように学習ロジックにアプローチすると、成功の可能性が高くなります。