大院的这个逻辑表达式子本身就有问题 |
送交者: littelfat 2009月04月22日11:14:42 于 [教育学术] 发送悄悄话 |
回 答: 中文对逻辑符号又“生硬”了?你这不是戴有色眼镜看问题吗? 由 并瓦 于 2009-04-22 11:06:33 |
箭头左边仅仅是个没有判断意义的集合, the union of Not-C with (A and Not B),却用箭头(推出) ~(AvB) 和 C 等价 (一个判断局)。不知大院要表达的是什么,呵呵。
|
|
|
|
|
实用资讯 | |
|
|
一周点击热帖 | 更多>> |
|
|
一周回复热帖 |
|
历史上的今天:回复热帖 |
2005: | 韩露: 苏格兰小镇寻书记 | |
2005: | 郭影: 留学西班牙还是韩国? | |
2004: | 清华理科现状 | |
2004: | 中国科学界的急功近利 | |