1.6 命题逻辑推理理论
推理形式结构判断推理是否正确方法推理定律与推理规则结构证实法
推理形式结构—问题引入
推理举例:  (1) 正项级数收敛当且仅当部分和有上界.  (2) 若ACBD，则AB且CD.推理: 从前提出发推出结论思维过程上面(1)是正确推理，而(2)是错误推理. 证实: 描述推理正确过程.
推理形式结构
定义 若对于每组赋值，或者A1A2… Ak 均为假，或者当A1A2…Ak为真时, B也为真, 则称由A1,A2, …, Ak推B推理正确, 不然推理不正确（错误）.“A1, A2, …, Ak 推B” 推理正确        当且仅当  A1A2…AkB为重言式.推理形式结构: A1A2…AkB  或   前提： A1, A2, … , Ak   结论： B 若推理正确，则记作：A1A2…AkB.