摩根法则

王朝百科·作者佚名  2010-05-14
窄屏简体版  字體: |||超大  

德摩根法则

非(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)

所以就证明了第一个,

第二个根据对偶同理可得

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有 導航