Pomocy Gabi: Hej wszystkim, nie chodzi mi o rozwiązanie tego zadania tylko o wytłumaczenie, bardzo proszę, wiem że trzeba to podwójnie zanegować ale żeby zniknęły nam znaki "⇒", ale może mi to ktoś wytłumaczyć? Znaleźć zdania φ(x) i ψ(x) pokazujące, że podane zdanie nie jest prawem rachunku kwantyfikatorów (tzn. takie, dla których zdanie nie jest prawdziwe). ∃x(φ(x) ⇒ ψ(x)) ⇒ (∀xψ(x) ⇒ ∃xφ(x))

wmboczek: φ − dowolne zawsze fałszywe psi zawsze prawdziwe środkowa implikacja będzie fałszywa, gdy 1⇒0 0 po prawej z kolei znowu musi powstać jako 1⇒0

MoNia: A powiedz mi, czym się różni ∃x(φ(x) ⇒ ψ(x)) od ∃xφ(x) ⇒ ∃xψ(x)) ?

Saizou : zakresem kwantyfikatora