誰でも∀x。（px => q）が∃x.px=> qを満たすことができる人間言語の例を与えることができますか

Question

私は次の文の等価性を理解するのに問題があります。直感的に

。

∀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 

は、しかし、私が探している同等の有効性を検証する人間の言語の例あるので、私は誰にも例を与えることができる、直感的より多くを理解するだろうか？

Answer 1

第2の意味は、「q結果を意味するpx値がある」ことを意味します。

最初のものは、これは、「運転者が運転免許証を持っている」および「すべてのドライバが1つを有していなければならない」との間の差であってもよい「とは、各ピクセル値のために、q個の結果がある」

を意味します。