你告诉我 若下雨 是空集？  
  
【 在 gloop () 的大作中提到: 】
: 用集合的观点来看命题逻辑也是可以的。A => B 永真等价于A包含于B，这个说法是对的。可惜他最后的结论错了。因为他忽略了一个情况就是A为空集时，A包含于B 和 A包含于B的补集 可以同时成立。
: 【 在 zhanghaoX (环顾四方有效) 的大作中提到: 】
--
FROM 219.143.140.*