在数理逻辑中，为了表达概念，陈述理论和规则，常常需要应用语言进行描述，但是日常使用的自然语言进行描述，往往叙述时不够确切，也易产生二义性，因此就需要引入一种目标语言，这种目标语言和一些公式符号，就形成了数理逻辑的形式符号体系。所谓目标语言就是表达判断的一些语言的汇集，而判断就是对事物有肯定或否定的一种思维形式，因此能表达判断的语言事故陈述句，它称作命题。一个命题，总是具有一个“值”，称为真值。真值只有“真”和“假”两种，记作true（真）和false（假），分别用符号t和f表示。只有具有确定真值的陈述句才是命题，一切没有判断内容的句子，无所谓是非的句子，如感叹句，疑问句，祈使句等都不能作为命题...