句：如果是白天，那么天是亮的。乔治布尔奠定了雏形
1847年，发表了著作《TheMathematicalA
alysisofLogic》，在这本书中，阐述了正式的逻辑学公理，建立了布尔代数（也称逻辑代数）。他的逻辑理论建立在两个逻辑值0、1和三个运算符与、或、非的基础上，这种简化的二值逻辑为计算机的二进制数、开关逻辑元件和逻辑电路的设计铺平了道路，并最终为计算机的发明奠定了数学基础。弗雷格和皮尔斯创立现代逻辑弗雷格，18481925，德国人，1880年建立命题逻辑；皮尔斯，18391914，美国人，1880年建立命题逻辑；依据不同思路，各自独立地建立命题逻辑；
非数值算法一个推理实例王教授、胡教授和赵教授3人各自执教逻辑、伦理、哲学、政治、法学、历史六门课程中的两门，请根据以下条件推断他们各自执教哪两门课程？1、伦理学教授和政治学教授是邻居；2、王教授年龄最小；3、赵教授，逻辑学教授和政治学教授这3人经常从学校一起回家；4、逻辑学教授比历史学教授的年龄大；5、哲学教授，历史教授和王教授在双休日喜欢打乒乓球。解题思路1、分清题目的前提，从前提推出结论；2、理解一个命题蕴涵的其他命题；3、使用命题的二值假定；4、使用命题逻辑中的一些推理格式；5、得出确定的结论。推理题实例doc有效性体现4、逻辑学教授比历史学教授的年龄大；2、王教授年龄最小；可以代之以符号A比B年龄大A＞BA表示王教授，年龄最小我们可以推得：a≤B＜A这就是有效性推理p32例2
f第二节复合命题及其推理学前补充（一）知识背景1：半形式的刻画，对应自然语言
知识背景2：常项和变项1、常项不同的逻辑联结词都有相对固定的意义，它们就是一个复合命题中的常项。它相当于数学中的加法和减法等运算。这些常项可以用更为精确的符号来表示，以去除自然语言的歧义和模糊：
语言中最常用的连接词：并且，或者，并非，如果…那么。2、变项联结词旁边的空位，可以代入不同的支命题，因代入命题的不同，复合命题的真值也会产生相应的变化。这些命题空位，看作是复合命题的命题变项。
复合命题的一些表格借用数学中的常元和变元概念把一个复合命题也分成两个部分：常项和变项。3、逻辑连接词是常项：意义固定；命题符号是变项：因代入不同，真值不同。4、复合命题符号表达式
把支命题看成是命题变项，就能够在更一般的意义上讨论各种不同的推理形式，也使得我们可以用符号（常用小写字母p、q、r、s等来代表）来表示它们。5、命题变项的解释以pr