kwantyfikatory asd: Gdy mam wlasnosc ∃_x,y∊R x=y to zaprzeczenie wyglada tak ∀_x,y∊R x≠y? chodzi mi tu czy ma byc x=y,czy x≠y

Qulka: ≠

ite: ∃_x∊R ∃_y∊R (x=y) Jak to odczytać? Istnieje taka liczba rzeczywista x i istnieje taka liczba rzeczywista y, że x=y. Jak zaprzeczyć? tak jak tutaj https://prnt.sc/xr85bk zmiana kwantyfikatora szczegółowego na ogólny + zmiana drugiego kwantyfikatora szczegółowego na ogólny + zaprzeczenie predykatu ∼(∃_x∊R ∃_y∊R (x=y)) ≡ ∀_x∊R ∀_y∊R (x≠y) Nieprawda, że istnieje taka liczba rzeczywista x i istnieje taka liczba rzeczywista x, które są sobie równe. czyli Każda liczba rzeczywista x i każda liczba rzeczywista y nie są sobie równe. ← zaprzeczenie predykatu Spróbuj przeczytać to zadanie bez ostatniego zaprzeczenia i zrozumieć jak inny byłby jego sens.

asd: Wlasnie nad tym chwilke myslalme,dziekuje bardzo.