第一部分 數理邏輯

第1章 命題邏輯

邏輯學是研究思維規律及推理的形式結構的科學。數理邏輯是用數學方法研究推理過程的科學，是計算機科學的理論基礎之一。數理邏輯不僅對理解數學推理十分重要，而且在計算機電路設計、計算機程序設計、程序設計正確性的證明、程序設計語言、人工智能等計算機科學的其他領域都有廣泛的應用。命題邏輯是數理邏輯的基本組成部分，是以命題為推理的基本單位的邏輯系統。本章介紹命題邏輯的基本知識、基本思想和方法。