谁能举一个可以测试∀x的人类语言示例。(px=>q) do euqal to ∃x.px=>q



我很难直观地理解以下句子对于长时间的等价性

∀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"每个司机都必须有一个"之间的区别。

相关内容

  • 没有找到相关文章

最新更新