复合命题真假的判定问题

fm1134

ygq的马甲

[这个贴子最后由ygq的马甲在 2011/07/24 05:58pm 第 5 次编辑]

A∧（B →C ) 或 A∧B →C
﹁（﹁（A∧B）） →C
因 ﹁（A∧B）=﹁A∧B∨A∧﹁B∨﹁A∧﹁B
﹁（﹁A∧B）=﹁A∧﹁B∨A∧﹁B∨A∧B
﹁（A∧﹁B）=﹁A∧﹁B∨﹁A∧B∨A∧B
﹁（﹁A∧﹁B) =A∧B∨﹁A∧B∨A∧﹁B
﹁（A∨B） =﹁A∧﹁B
那么 ﹁（﹁（A∧B））=﹁（﹁A∧B∨A∧﹁B∨﹁A∧﹁B )
=﹁(﹁A∧B)∧﹁(A∧﹁B)∧﹁(﹁A∧﹁B)
=(﹁A∧﹁B∨A∧﹁B∨A∧B)∧(﹁A∧﹁B∨﹁A∧B∨A∧B)∧(A∧B∨﹁A∧B∨A∧﹁B)
即
(﹁A∧﹁B∨A∧﹁B∨A∧B)∧(﹁A∧﹁B∨﹁A∧B∨A∧B)∧(A∧B∨﹁A∧B∨A∧﹁B) →C
如果此时 C 仍然成立，并且 B 也不成立，那么
(﹁A∧﹁B∨A∧﹁B∨A∧B) 肯定成立
(﹁A∧﹁B∨﹁A∧B∨A∧B) A 必然不成立
(A∧B∨﹁A∧B∨A∧﹁B) A 必然成立
即有冲突
假设有问题

ygq的马甲

【鉴定】和【评估】结论是：“无知者无畏”式的“蠢货”（wangyangkee）
还活在这个世上，就是为了制造【垃圾】 ？？？

“蠢货”（ wangyangkee ）们的典型特征之一就是:【意淫】当成【现实】

数学上没本事，既然【成功】不行了，那么就【蠢】到出名
真是“蠢货”（wangyangkee）们的思维

ygq的马甲

[这个贴子最后由ygq的马甲在 2011/07/24 06:16pm 第 1 次编辑]

还有一种可能，A∧B →C 之外就是 A →C 和 B→C 、Φ→C
由于 B 不成立时 C 也成立，那么 B→C 可以排除了。只需要再考虑 A →C 和 Φ→C

fm1134

ygq的马甲

但是如果用 1 楼帖子中逻辑命题真假判定的方法，…………

A 、B 、C 各对应什么的 ？？？

fm1134

下面引用由ygq的马甲在 2011/07/24 10:09pm 发表的内容：
A 、B 、C 各对应什么的 ？？？

5楼新帖子中已说明。