设A,B为任意的命题公式,证明:非A与非B等值当且仅当A与B等值

[复制链接]
查看11 | 回复1 | 2011-10-13 18:39:48 | 显示全部楼层 |阅读模式
公式A=>B 等价于 非A ∨ B 非A与非B等值 等价于(非A=>非B )∧(非B=>非A )等价于( A∨非B )∧( B∨ 非A )等价于(非B∨ A)∧(非A ∨ B)等价于(B=>A )∧(A=>B )等价于
A与B等值...
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

主题

0

回帖

4882万

积分

论坛元老

Rank: 8Rank: 8

积分
48824836
热门排行