Podać przykłady funkcji zdaniowych \(\Phi\) i \(\Psi\), dla których nie jest twierdzeniem
formuła: \(\exists _x \left[ \Phi(x) \to \Psi(x)\right] \to \left[ \exists _x \Phi(x) \to \exists _x\Psi(x)\right]\)
Logika Kwantyfikatory
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij