《數理邏輯入門》為數理邏輯的基本知識。哈爾濱市石橋印務有限公司印刷，2013年11月第1版，2013年11月第1次印刷。主要內容包括：命題邏輯、謂詞邏輯、邏輯研究什麼、邏輯與自然語言、命題、永真命題和永假命題、命題推演：自然演繹法等。
基本介紹
- 書名：數理邏輯入門
- 類型：科學與自然
- 出版日期：2013年11月1日
- 語種：簡體中文
- 作者：李錫胤
- 出版社：黑龍江大學出版社
- 頁數：128頁
- 開本：16
內容簡介,圖書目錄,
內容簡介
《數理邏輯入門》由黑龍江大學出版社出版。
圖書目錄
1命題邏輯
1.1邏輯研究什麼
1.2邏輯與自然語言
1.3命題
1.4聯結符號
1.5命題符號
1.6真值表
1.7永真命題和永假命題
1.8演繹推理
1.9命題推演：自然演繹法
1.10基本加行規則
1.11直接證明法
1.12間接證明法
1.13非蘊涵式的證明法
1.14命題邏輯的定理和派生規則
1.15命題邏輯的公理系統
1.16公理系統的方法論
1.17公理系統的無矛盾性
1.18公理系統的獨立性
1.19模型，解釋
2謂詞邏輯
2.1謂詞邏輯與命題邏輯
2.2量詞，轄域
2.3一階謂詞邏輯的基本規則
2.4一階謂詞邏輯的定理和派生規則
2.5一階謂詞邏輯的公理系統
附錄
習題及答案
1.1邏輯研究什麼
1.2邏輯與自然語言
1.3命題
1.4聯結符號
1.5命題符號
1.6真值表
1.7永真命題和永假命題
1.8演繹推理
1.9命題推演：自然演繹法
1.10基本加行規則
1.11直接證明法
1.12間接證明法
1.13非蘊涵式的證明法
1.14命題邏輯的定理和派生規則
1.15命題邏輯的公理系統
1.16公理系統的方法論
1.17公理系統的無矛盾性
1.18公理系統的獨立性
1.19模型，解釋
2謂詞邏輯
2.1謂詞邏輯與命題邏輯
2.2量詞，轄域
2.3一階謂詞邏輯的基本規則
2.4一階謂詞邏輯的定理和派生規則
2.5一階謂詞邏輯的公理系統
附錄
習題及答案
