全国计算机等级考试四级含金量_2017年全国计算机等级考试四级复习纲要：数理逻辑

一、数理逻辑

（一） 命题逻辑基本概念数理逻辑是用数学方法研究抽象思维规律的数学学科，它研究的中心问题是推理，而推理的基本要素是命题。

在数理逻辑中，将命题用符号表示，称为命题符号值。可用p，q，r…或pi ，qi ，ri …表示命题。将真值也用符号表示，用“1”表示“真”，用“0”表示“假”。

（二） 命题公式及其分类

简单命题又称为命题常项或命题常元。命题常项有确定的真值。在数理逻辑中，不仅要研究具体的逻辑关系，还要研究抽象的逻辑关系，因而不仅要有命题常项，还要有命题变项。称真值可以变化的简单陈述句为命题变项或命题变元，仍然用p，q，r，…表示命题变项。

本文来源：https://www.wddqw.com/Mj1O.html