egzistencijalni kvantifikator

polje: matematika

grana: matematička logika i računarstvo

projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi


Definicija

kvantifikator koji primjenom na predikat tvrdi da je za određenu vrijednost varijable pripadna izjava istinita

Radna definicija

kvantifikator koji primjenom na predikat tvrdi da je za određenu vrijednost varijable pripadna izjava istinita

Istovrijednice (prijevodi)
Engleski:
existential quantifier
Gramatičke informacije

Rod: nema

Vrsta riječi: višerječni naziv

Sinonimi i varijante
Dopušteni nazivi:
opstojni količitelj
Dodatne informacije

Suprotnica: univerzalni kvantifikator

Simbol: $\exists$

Napomene

Primjenom egzistencijalnoga kvantifikatora na predikat $P(x)$ dobija se izjava $(\exists x)P(x)$, koja se čita kao postoji iks pe iks. Ta je izjava istinita ako je za određenu vrijednost $a$ varijable $x$ izjava $P(a)$ istinita.

Informacije
  • Broj: nema
  • 0 komentara
  • 0 lajkova
  • Dodano: 21.11.2025
  • Ažurirano: 12.12.2013
Natrag na pretragu Početna stranica