Egzisztenciális kvantor

Innen: testwiki

A lap korábbi változatát látod, amilyen imported>LinguisticMystic 2024. november 17., 23:30-kor történt szerkesztése után volt.

(eltér) ← Régebbi változat | Aktuális változat (eltér) | Újabb változat→ (eltér)

Ugrás a navigációhoz Ugrás a kereséshez

Sablon:Humatek Beveztjük a $(\exists x) P (x)$ (∃) jelölést a ”létezik olyan x, amelyre $P (x)$ “ ítélet rövidítésére. A $\exists$ jelet egzisztenciális kvantornak nevezzük. Az ítéletkalkulus eddig használt logikai formulái fogalmát a predikátum, az univerzális és egzisztenciális kvantorokkal kiegészítve az ú.n. predikátumkalkulus logikai formulái fogalmát kapjuk.

Sablon:En: Sablon:T

A lap eredeti címe: „https://hu.wiktionary.beta.math.wmflabs.org/w/index.php?title=Egzisztenciális_kvantor&oldid=361”