内容提供者
负命题及其推理.ppt
2024-08-17
10金币
305KB
9页
kp****93
实名认证
内容提供者
1/9
2/9
3/9
4/9
5/9
6/9
7/9
8/9
9/9
在线预览结束，喜欢就下载吧，查找使用更方便
相关资料
负命题及其推理.ppt
第五节负命题及其推理二、负命题的种类及等值推理2、负复合命题及其等值式负复合命题及其等值式负复合命题及其等值式（反向）3、其他几个重要转换4、几对重要的矛盾式
2024-08-17
10
305KB
负命题、联言命题及其推理.ppt
第二节复合命题及其推理3、负命题的推理１）负命题的两种语义推出关系根据┐的逻辑性质，可得到如下等值关系：p┐┐p该等值关系可以用如下真值表说明。由该等值关系得出对任何公式Ａ，有Ａ┐┐Ａ，因而有如下语义推论关系：Ａ╞┐┐Ａ，┐┐Ａ╞Ａ２）负命题的两种语法推理关系由如上语义推论关系得出如下推导规则（变形规则）：Ａ┐┐Ａ┐┐＋：┐┐－：┐┐ＡＡ（双重否定引入规则）（双重否定消去规则）从而有如下语法推理关系：Ａ├┐┐Ａ，┐┐Ａ├Ａ。二、联言命题及其推理1、联言命题的定义及形式联言命题是由命题联结词“并且”联结
2024-08-17
10
226KB
负命题、联言命题及其推理.ppt
第二节复合命题及其推理3、负命题的推理１）负命题的两种语义推出关系根据┐的逻辑性质，可得到如下等值关系：p┐┐p该等值关系可以用如下真值表说明。由该等值关系得出对任何公式Ａ，有Ａ┐┐Ａ，因而有如下语义推论关系：Ａ╞┐┐Ａ，┐┐Ａ╞Ａ２）负命题的两种语法推理关系由如上语义推论关系得出如下推导规则（变形规则）：Ａ┐┐Ａ┐┐＋：┐┐－：┐┐ＡＡ（双重否定引入规则）（双重否定消去规则）从而有如下语法推理关系：Ａ├┐┐Ａ，┐┐Ａ├Ａ。二、联言命题及其推理1、联言命题的定义及形式联言命题是由命题联结词“并且”联结
2024-08-17
10
211KB
逻辑课件负命题及其推理.ppt
负命题及其推理负命题与性质命题的否定命题是不同的。性质命题的否定命题是否定事物具有某种性质的命题，而负命题则是否定原命题所断定的情况，是对整个原命题进行否定的命题。二·负命题的种类2．联言命题的负命题：4．假言命题的负命题：丙充要条件假言命题的负命题：根据前面介绍的七种复合命题负命题及其等值命题，可以构成七种负命题的等值推理。其形式如下：练习题提议的适用范围是很小的。（C）在住宅内安装烟雾探察器比安装洒水器要便宜得多.（D）该市消防队奔赴火场的时间要比全国平均时间短.（E）住宅着火导致的大部分财产损失是因
2024-08-15
10
83KB
逻辑课件负命题及其推理.ppt
负命题及其推理负命题与性质命题的否定命题是不同的。性质命题的否定命题是否定事物具有某种性质的命题，而负命题则是否定原命题所断定的情况，是对整个原命题进行否定的命题。二·负命题的种类2．联言命题的负命题：4．假言命题的负命题：丙充要条件假言命题的负命题：根据前面介绍的七种复合命题负命题及其等值命题，可以构成七种负命题的等值推理。其形式如下：练习题提议的适用范围是很小的。（C）在住宅内安装烟雾探察器比安装洒水器要便宜得多.（D）该市消防队奔赴火场的时间要比全国平均时间短.（E）住宅着火导致的大部分财产损失是因
2024-08-17
10
63KB