题目
A∨ (B∧C)├┤(A∨B)∧ (A∨C)
A∨(B∨C)├┤ (A∨B) ∨C
A→C,B→D,A∨B├C∨D
逻辑学的三个公式,请教谁能给出形式证明
A∨(B∨C)├┤ (A∨B) ∨C
A→C,B→D,A∨B├C∨D
逻辑学的三个公式,请教谁能给出形式证明
提问时间:2020-12-06
答案
A→(B→C)等值于¬A∨(B→C)等值于¬A∨(¬B∨C)等值于¬A∨¬B∨C而(A→B)→(A→C)等值于¬(¬A∨B)∨(¬A∨C)等值于(A∧¬B)∨¬A∨C等值于(¬A∨¬B∨C)∧(A∨¬A∨C)等值于(¬A∨¬B∨C)∧C显然¬A∨¬B∨C├(¬A∨¬B∨C)∧C
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
1,人们染上烟瘾,最终因吸烟使自己丧命.
最新试题
- 1=小明从一块质量分布均匀的大岩石上砸下一小块岩石,用天平称得其质量是27g,将它侵没在装有80mL水的量筒中
- 2护理文书中的夜间12点怎么写是00:00还是24:00?
- 3已知ab是互异的正数,A是a.b的等差中项.G是a.b的等比中项,a与b有无确定的等比中项?
- 4把词语补充完整
- 5已知函数f(x)=loga(3+x)/(3-x) (a>0,且a≠1) (1)判定f(x)的奇偶性; (2)若f(x)≥loga(2x),求a的取值范围
- 6求助:一道初二的数学题(一次函数,二元一次方程)
- 71.如果f(1-2x)=(1-x²)/x²,(x≠0),那么f(1/2)等于多少?
- 8站在匀速行驶的汽车里的乘客受到几个力的作用( ) A.1个 B.2 个 C.3个 D.4个 为什么?
- 9一工厂甲乙两车间,甲车间员工是乙车间员工的三分之五,当甲车间调14人到乙车间,现在甲乙人数比是1:2,求甲
- 10若点(1,2)既在函数y=ax+b的图象上,又在它的反函数的图象上,则ab=_.
热门考点