我很难直观地理解以下句子对于长时间的等价性
∀x。(px=>q)
∃x.px=>q
我知道下面的真相表确实表明它们是等效的:
p(a) p(B) q p(a)=>q p(b)=>q (p(a)=>q)&(p(b)=>q) p(a)|p(b) p(a)|p(b) =>q
T F T T T T T T
F T T T T T T T
T T T T T T T T
F F T T T T F T
T F F F T F T F
F T F T F F T F
T T F F F F T F
F F F T T T F T
但我要找的是一个人类语言的例子来验证等价的有效性,这样我就可以直观地理解,有人能举个例子吗?
第二个表示"有一个px值,它意味着一个q结果"。
第一个表示"对于每个px值,都有一个q结果"
这可能是"一个司机有驾驶执照"one_answers"每个司机都必须有一个"之间的区别。