初心者初心者のためのロジック（本のおすすめ）？

Question

私が持ってはならないクラスにサインアップしました。だから私は教授が一次論理を説明していたときに使用された表記を理解していないので、少し戸惑う。これらのことをすべて再学習する方法についての本の提案が必要です。例えば：私は "定量化"が何であるかについて混乱していた（私はそれをグーグルで調べた後に知っている）。多くの例を持つ良い本？ありがとう

Answer 1

ジョンバーワイズ&ジョンEtchemendy、最初の注文ロジックの言語（CSLI Press、1992）は素晴らしいです。 2002年に改訂版がリリースされました。言語、プルーフ、ロジックとなりました。

Answer 2

UCLAの論理学者には、一次論理hereを含む無料の論理ブックがあります。

この本の素晴らしい点の1つは、論理を学ぶのに役立つfree software programと一緒に使用するように書かれていることです。

私は3つの大学論理コースを教えていて、大部分の学生は、それらについての読書に加えて、校正と派生を完了することで、より良いことがわかりました。つまり、数学やプログラミングを学ぶのと同じように学習ロジックに近づけば、成功のチャンスが増えます。