2302_79085918的博客

注意：数理逻辑研究的中心问题是推理，而推理的前提和结论都是命题。因而命题是推理的基本 单位。定义：具有确切真值的陈述句称为命题(proposition)。该命题可以取一个“值”，称为真值。真值只有 “真”和“假”两种，分别用“T”(或“1”) 和“F”(或“0”)表示。注意：一切没有判断内容的句子，如命令句 (或祈使句)、感叹句、疑问句、二义性的陈述句等都不 能作为命题。

从含有n个不同的元素的集合S中有序选取的r个元素叫做S的一个r排列，不同排列的个数记为Pnr称为排列数，如果r=n，则称这个排列为S的一个全排列，简称为S的排列。，Xi均为集合，第i个集合Xi中有ni个元素，若{X1，X2，…设A，B和C是任意三个有限集合，有|A∪B∪C|=(|A|+|B|+|C|)-（|A∩B|）-（|A∩C|）-（|C∩B|）+|A∩B∩C|假设每个鸽笼至多住进一个鸽子，则n个鸽笼至多住进n只鸽子，这与有n+1只鸽子矛盾，故存在一个鸽笼至少住进2只鸽子。设U为全集，A1，A2，…

文氏图解法是一种利用平面上点的集合做成对集合的图解的方法。一般用平面上的方形或圆形表示一个集合。