Könnte jemand eine menschliche Sprache Beispiel geben, die ∀x testen konnte. (Px => q) hat euqal zu ∃x.px => q

Question

I Problem haben die Gleichwertigkeit des folgenden Satzes intuitiv für lange Zeit zu verstehen

.

∀x (px => q)

∃x.px => q

ich verstehe die Wahrheitstabelle unten tut, sagt, sie sind gleichwertig:

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 

Aber was ich suche ist ein menschliche Sprache Beispiel die Gültigkeit der Gleichwertigkeit zu überprüfen, so kann ich mehr intuitiv verstehen, könnte jemand ein Beispiel geben?

Answer 1

Der zweite bedeutet "es gibt einen px-Wert, der ein q-Ergebnis impliziert".

Das erste bedeutet „für jeden Pixel-Wert, gibt es ein q Ergebnis“

Das ist der Unterschied zwischen könnte „ein Fahrer einen Führerschein hat“ und „alle Fahrer muss man haben“.