请问一个问题 ((Ex) ~P(x)) v ((Ex) P(x)) 可以视为True吗 (消掉) ? 用了EI规则只能写成 ~P(A) v P(B), 因为两个量限词范围不同? 还是写成这样也是错的? 好像如果x是空集合就会有问题 但是如果x是空集合那理论上也不能用EI规则? --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 169.234.130.248 ※ 编辑: teves 来自: 169.234.130.248 (11/08 18:41)