Introductory symbolic logic

著者

• Wilson, John K. (John Keith)

書誌事項

Introductory symbolic logic

John K. Wilson

Wadsworth Pub., c1992

注記

Includes index

内容説明・目次

内容説明

Offers a system of natural deduction that approximates to the principles of everyday reasoning. The system is developed in a step-by-step fashion with strategies and suggestions for approaching formal proofs. There are also partial truth tables and truth trees for propositional and predicate logic.

目次

The subject matter. Introduction to the artificial language. Truth-values and validity. Introduction to formal proofs. Formal proofs: equivalence inferential forms. Partial truth tables and truth tress. Monadic predication Polyadic predication. More advances topics in propositional logic.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA22577355
• ISBN:
  • 0534168183
• LCCN: 91031515
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Belmont, Calif.
• ページ数/冊数: xv, 448 p.
• 大きさ: 23 cm
• 分類:
  • LCC : BC135
  • DC20 : 160
• 件名:
  • LCSH : Logic, Symbolic and mathematical