离散--第四章

2.4 命题逻辑推理理论
• 2.4.1 推理的形式结构
– 推理的前提与结论,正确推理
– 推理定律
• 2.4.2 自然推理系统P
– 推理规则
– 直接证明法, 附加前提证明法,

归谬法(反证法), 归结证明法

有效推理
定义2.20 若对于每组赋值, A1A2… Ak 为假, 或者
当A
1A2…Ak为真时, B也为真, 则称由前提A1,A2,…, Ak
推B的推理有效或推理正确, 并称B是有效的结论
定理2.8 由前提A
1, A2, …, Ak 推出B 的推理正确当且仅当
A
1A2…AkB
为重言式.