logika student1: 1.Niech p(x,y) będzie dwuargumentową funkcją zdaniową gdzie x ∊ X i y ∊ Y. Napisąć zaprzeczenie zdania ∀ ∃ p(x,y) x∊X y∊Y 2. Czy prawdziwa jest implikacja ∀ ∃ p(x,y) ⇒ ∃ ∀ p(x,y) . Odpowiedz uzasadnij. x∊X y∊Y y∊Y x∊X 3. Korzystając z zadania 1 napisać zaprzeczenie zdania. Dla każdego studenta 1 roku kierunku ekonomia UZ istnieje przedmiot , którego on nie zaliczył do końca zimowej sesji egzaminacyjnej 2012/2013.

wredulus_pospolitus: 1) ∃_x ∀_y ... dla każdego x istnieje jakiś element y tak że spełniają warunek −> zaprzeczenie ... istnieje taki (minimum) jeden element dla którego każdy element y tak, że warunek nie jest spełniony

wredulus_pospolitus: 3) logiczne ... istnieje student 1 roku, który zaliczył wszystko w sesji zimowej (logiczne zaprzeczenie, nieprawdaż?!)

student1: tak ale jak to zapisać za pomoca kwantyfikatorów ?

wredulus_pospolitus: ale co Ty chcesz zapisywać za pomocą kwantyfikatoró to co napisałem ok. X −−− zbiór studentów 1 roku Y −−− zbiór przedmiotów tychże studentów A −−− zbiór przedmiotów zdanych samo zaprzeczenie: ∃_x∊X ∀_y∊Y y∊A