Egzistenciona generalizacija

Egzistenciona generalizacija ili uvođenje egzistencije jeste matematičko i logičko pravilo prema kome, ukoliko neki objekat datog univerzuma objekata ispunjava neki kriterijum, tada makar jedan objekat tog istog univerzuma ispunjava taj kriterijum. Ovo pravilo se može shvatiti i kao

P(v).

Dakle, postoji makar jedno x tako da P(x).

Matematički zapisano, ovaj zakon glasi:

$|v$
$|~~~~\vdots$
$|~~~~P(v)$
${\frac {}{\exists xP(x)}}(\exists x_{U})$.

Primeri

1)

Petar voli čokoladu.

Dakle, postoji neko ko voli čokoladu.

2)

Jovana živi u Ivanjici.

Dakle, postoji neka devojka koja živi u Ivanjici.

3)

Ptica ima rep.

Dakle, postoji neka životinja koja ima rep.

Primetimo da je dosta bitna činjenica da se govori o objektima istog univerzuma, a ukoliko to ne bi bio slučaj, moglo bi da dođe do zabune, pa i nepostojeće kontradikcije. Ovo je ilustrovano sledećim primerom.

4)

Automobil ima točkove.

Dakle, postoji knjiga koja ima točkove.

Ovo je, naravno, apsurdni zaključak, jer automobil ne pripada univerzumu knjiga.

Vidi još

• Logika prvog reda
• Univerzalna generalizacija