Rachunek kwantyfikatorów Przemek: Gdyby ktoś mógł pomóc (napisać jak się za coś takiego brać): Proszę udowodnić, (stosując np. metodę skróconego sprawdzania) podane poniżej prawa rozkładu kwantyfikatora: a) ∀x (φ(x)⇔ ψ(x))⇒ (∀x φ(x)⇔∀x ψ(x)) Z góry dziękuję za pomoc

wmboczek: Aby była nieprawda musi zajść 1⇒0 1 − dla każdego x funkcje mają te same wartości logiczne jeśli jest to zawsze wartość 1, to po prawej 1⇔1=1 czyli sprzeczność jeśli nie jest to zawsze wartość 1, to po prawej 0⇔0=1 czyli sprzeczność

Przemek: No dobra, dzięki