logic - ∀x.(px=>q) を ∃x.px=>q に euqal することをテストできる人間の言語の例を誰か教えてください。

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 つ目は、「結果を意味する px 値がある」ことを意味します。

最初のものは、「各px値に対して、aq結果がある」ことを意味します

これは、「ドライバーは運転免許証を持っている」と「すべてのドライバーが持っている必要がある」の違いかもしれません。