Keresés


Toplista

Toplista
  • betöltés...

Magántanár kereső

Ha szívesen korrepetálnál, hozd létre magántanár profilodat itt.
Ha diák vagy és korrepetálásra van szükséged, akkor regisztrálj be és írd meg itt, hogy milyen tantárgyban!

Predikátum logika

402
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