Egzisztenciális kvantor

Innen: testwiki

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”