设A,B为任意的命题公式,证明：非A与非B等值当且仅当A与B等值
1个回答
公式 A=>B 等价于 非A ∨ B
非A与非B等值
等价于 （非A=>非B ）∧（非B=>非A ）
等价于 （ A∨ 非B ）∧（ B∨ 非A ）
等价于 （非B∨ A ）∧（非A ∨ B）
等价于 （B=>A ）∧（A=>B ）
等价于 A与B等值
相关问题
最新问答： 小明、小刚和小海共有小人书31本,小明比小刚多3本,比小海少2本,小明、小刚和小孩每人各有几本小 “点M在直线y=|x|上”是“点M到坐标轴距离相等”的什么条件? 6名同学参加数学竞赛．老师将80分作为标准将他们的成绩简记为：+3，+10，-5，0，+7，-4，这6名同学的实际成绩分 ．岩浆矿床的矿体和原生晕的产出常与一定的岩相有关 单句改错 Have you ever taken on vacation in an India country? 1+2+3+..+n-1的通项公式为什么是(1+n-1)x(n-1)/2? 完全弹性碰撞计算速度，究竟应该用动量守恒还是动能守恒？？？ 表示笑的意思的成语最少四个 0.6平方千米＝多少公顷 有一单相变压器Sn=10kv.A,K=U1/U2=3000/230V,二次侧接220V、60W的电灯 to the contrary on the contrary的用法（最好有例子） 数学模型是用来描述一个生态系统或它的性质的数学形式，种群增长的数学模型有曲线图和数学方程式，下列关于种群的“J”型增长曲 在从猿到人的进化过程中起重要作用的因素是? 苯胺和硝酸反应生成什么?速,急 五道分数四则混合运算的应用题及答案（六上苏教） 如果条件和结论是相等的,可以说条件是结论的充要条件吗?比如P：x>1,q：x>1,可以说p是q的充要条件吧 含阿伏加德罗常数个水蒸气分子,18克水和1mol冰中,他们各含原子总数谁最多?同温同压下,同体积的不同... They enjoyed themselves yesterday.改为同意句 治山与治水是什么关系 这事实说明一个什么哲学原理 要单飞咯的英文翻译
