格物学
高中知识点
复合命题:命题a为真且命题b为真则c为真.按照你的假设:此复合命题为真;即可以把它当成是定理.
现在已知命题a为真且命题c为假,如果b为真的话,那么根据上定理,c应当也为真,可是这和已知c为假矛盾.所以b不为真,即为假.
也就是说后一个复合命题:a为真且c为假则b为假是真命题.
这样的情况在逻辑学里叫重言式.是重言式的两个命题是等价的,一个假另一假,一个真另一个真.
在逻辑学里,一般可通过真值表来判断两个命题是否是重言式.
补充:
逻辑学将复合命题看成是构成他的简单命题的函数.简单命题的取值只有真和假,分别用1和0表示.命题之间有逻辑联结词,由联结词可以构成复合命题,比如“且”叫析取词,用∧表示,“或”叫合取词,用∨表示,“非”叫否定词,用┘表示,“如果……那么……”用→表示.
这样你的复合命题就可以表示成:
((a∧b)→c)和((a∧┘c)→┘b)
而你要证明的命题是
((a∧b)→c)→((a∧┘c)→┘b)
每种联结词都有真值表,比如“且”的真值表:
c=a∧b
abc
000
010
100
111
由真值表可以看出,复合命题c只有在a和b都为真的情况下才为真.
在比如
aba→b
001
011
100
111
可以看出只有当才为假.
复合命题的真值表在联结词的基础上得到:比如复合命题(a∧b)→c)的
abc(a∧b)→c)
000
0011
0101
0111
1001
1011
1100
1111
内容来自网友回答
由两个布尔型值参与运算的逻辑运算符不包括( )。
由两个布尔型值参与运算的逻辑运算符不包括()。... 由两个布尔型值参与运算的逻辑运算符不包括( )。 展开
离散数学一阶逻辑问题
1.非任意X存在Y F(x.y)等值于存在X任意Y非F(x.y)吗?
2.存在X任意Y A(x,y) 或 存在X任意Y B(x,y),能将前面的量词提出来吗?
3.量词辖域的放缩:任意X(A(x)蕴含B) 等值于 存在XA(x)蕴含B,这个等值中,全称量词为什么变成了客称量词?
命题“梯形的两对角线互相不平分”的形式为( )A.p或qB.p且qC.非p...
命题“梯形的两对角线互相不平分”的形式为( )A.p或qB.p且qC.非pD.简单命题
形式逻辑定义是什么?
逻辑联结词“或”、“且”、“非”
形式逻辑定义是什么?
形式逻辑定义是什么?
什么是命题、定理、证明呢?
逻辑联结词“或”、“且”、“非”
急求!关于维特根斯坦《逻辑哲学论》的问题
1、本书或维特根斯坦对空间、对象、颜色、肯定、否定、存在、命题、善、恶、幸福、真、真值、逻辑形式、可能性的名词解释2、维特根斯坦对复合物的看法3、基本事实的基本特征4、对基本... 1、本书或维特根斯坦对空间、对象、颜色、肯定、否定、存在、命题、善、恶、幸福、真、真值、逻辑形式、可能性的名词解释
2、维特根斯坦对复合物的看法
3、基本事实的基本特征
4、对基本事实和物的区别
5、名字与基本事态
6
除非 否则 命题符号化
除非2<1,否则3<2p:2<1q:3<2为什么答案是q→﹁p而不能是﹁p→q... 除非2<1,否则3<2
p:2<1
q:3<2
为什么答案是q→﹁p而不能是﹁p→q 展开
"逻辑"是什么意思?
"逻辑"是什么意思?
法律逻辑怎么学
逻辑联结词“或”、“且”、“非”
谓词逻辑的公式与解释
逻辑联结词“或”、“且”、“非”