数字逻辑里 如何证明狄摩根定理
1个回答
展开全部
非(p 且 q)＝(非 p)或(非 q)
非(p 或 q)＝(非 p)且(非 q)
首先要明白：全称量词和存在量词互为对偶：
“对所有x，P(x)皆成立”等价于“不存在x，使P(x)不成立”；
“存在x，使P(x)成立”等价于“并非对所有x，P(x)都不成立”。
非(p 且 q)＝(非 p)或(非 q)
左边式子的意思就是，不存在x，使得p（x）和q（x）同时成立，根据全称量词和存在量词互为对偶：
得到对任意x，p（x）不成立或者q（x）不成立，
写成集合语言就是非(p 且 q)＝(非 p)或(非 q)
所以就证明了第一个，
第二个根据对偶同理可得
非(p 或 q)＝(非 p)且(非 q)
首先要明白：全称量词和存在量词互为对偶：
“对所有x，P(x)皆成立”等价于“不存在x，使P(x)不成立”；
“存在x，使P(x)成立”等价于“并非对所有x，P(x)都不成立”。
非(p 且 q)＝(非 p)或(非 q)
左边式子的意思就是，不存在x，使得p（x）和q（x）同时成立，根据全称量词和存在量词互为对偶：
得到对任意x，p（x）不成立或者q（x）不成立，
写成集合语言就是非(p 且 q)＝(非 p)或(非 q)
所以就证明了第一个，
第二个根据对偶同理可得
本回答被网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
