Keresés

Keresendő kifejezés:

Toplista

Toplista
  • betöltés...

Segítség!

Ahhoz, hogy mások kérdéseit és válaszait megtekinthesd, nem kell beregisztrálnod, azonban saját kérdés kiírásához ez szükséges!

Predikátum logika

29
Sziasztok, ha van egy állításom, pld minden állat tud úszni, akkor azt egzisztenciális kvantorral úgy írom le, hogy negálom az egzisztenciális kvantor és a predikátumot is?
pld
U = {állatok}
Sx: x tud úszni.
¬∃x(¬Sx) --> nem létezik olyan x, hogy az x ne tudjon úszni. ez ezt jelenti igaz? tehát ez ekvivalens a minden állat tud úsznival?
Jelenleg 1 felhasználó nézi ezt a kérdést.
0
Felsőoktatás / Matematika

Válaszok

1
Igen, ez a tagadása.
Annyi, hogy a prédikátumokat így jelölik: S(x)
0