3.1推理形式结构 豪 口逻辑(语义)蕴涵:给定A,A和B 令对任意赋值v 如果v(A)=T则v(B)=T 或者存在A;,使得v(A)=F 令称由前提AA推出结论B的推理是有效的 B为有效结论 令符号:{A,…,A}B 口讨论 令蕴涵跟蕴涵式的关系? ◆注意:推理正确不能保证结论一定正确4 3.1 推理形式结构 ❑逻辑(语义)蕴涵：给定A1,…,Ak和B ❖对任意赋值v: • 如果v(Ai)=T,则v(B)=T • 或者存在Aj，使得v(Aj)=F ❖称由前提A1,…,Ak 推出结论B的推理是有效的 ❖B为有效结论 ❖符号：{A1,…,Ak} ⊨ B ❑讨论 ❖蕴涵跟蕴涵式的关系？ ❖注意: 推理正确不能保证结论一定正确