为什么一个真命题的逆否命题还是真命题.
来源:学生作业帮助网 编辑:作业帮 时间:2024/11/14 14:48:12
为什么一个真命题的逆否命题还是真命题.
为什么一个真命题的逆否命题还是真命题.
为什么一个真命题的逆否命题还是真命题.
你的求知的态度是好的,但是如果真的要给你证明,这个估计要大学教授级别了.
数学原理分为定理和公理,定理是通过严谨的证明得出的,而公理则是大家都一致认同的定理.
你可以把上述的原理视为公理.
帮不上你,不好意思.
如果你有了证明过程,请也给我发个答案.谢谢:)
跟"一个东西是非仿品就是真品"是一个道理.2 층에는 스틱»
这个就是公理
等价于排中律,你可以自己看一下,很显然的(排中律是一个公理)
排中律:
传统逻辑基本规律之一。通常被表述为A是B或不是B。传统逻辑首先把排中律当作事物的规律,意为任一事物在同一时间里具有某属性或不具有某属性,而没有其他可能。排中律同时也是思维的规律,即一个命题是真的或不是真的,此外没有其他可能。排中律还是关于认识活动的规范性规律,意为任何人不应同时否认一个...
全部展开
这个就是公理
等价于排中律,你可以自己看一下,很显然的(排中律是一个公理)
排中律:
传统逻辑基本规律之一。通常被表述为A是B或不是B。传统逻辑首先把排中律当作事物的规律,意为任一事物在同一时间里具有某属性或不具有某属性,而没有其他可能。排中律同时也是思维的规律,即一个命题是真的或不是真的,此外没有其他可能。排中律还是关于认识活动的规范性规律,意为任何人不应同时否认一个命题(A)及其否定(并非A),即对一个命题及其否定不能持两不可之说。排中律还被当作逻辑语义的规律,即任一语词或语句在同一上下文中应表达某一思想或不表达这一思想。作为后两种规律,也叫做排中律的要求。排中律并不排除具体事物在其发展过程中有中间环节以及有多种状态和各种可能性。在现代逻辑中,A∨A(读作:A或非A),是排中律在命题逻辑中的体现;"x(F(x)∨F(x))(读作:对任何个体x而言,x有性质F或没有性质F)是排中律在谓词逻辑中的体现。由于构造逻辑不承认现实世界里存在着实无穷,只承认无穷是一个过程,因此,在该逻辑中,涉及无穷对象时排中律不成立;用反证法证明存在命题,也不是一种有效的证明方法。
收起
可以证明。用集合证明,画个韦恩图就很清楚了。
A推出B等价于非B可以推出非A。
在集合里面,A可以推出B表示A包含于B,非A表示A的补集,画图可知,A包含于B等价于非B包含于非A。
用集合语言表示成
A≤B等价于B-≤A-
A-表示A的补集,≤表示包含于。...
全部展开
可以证明。用集合证明,画个韦恩图就很清楚了。
A推出B等价于非B可以推出非A。
在集合里面,A可以推出B表示A包含于B,非A表示A的补集,画图可知,A包含于B等价于非B包含于非A。
用集合语言表示成
A≤B等价于B-≤A-
A-表示A的补集,≤表示包含于。
收起