Егзистенциона генерализација

С Википедије, слободне енциклопедије

Егзистенциона генерализација или увођење егзистенције јесте математичко и логичко правило према коме, уколико неки објекат датог универзума објеката испуњава неки критеријум, тада макар један објекат тог истог универзума испуњава тај критеријум. Ово правило се може схватити и као

P(v).
Дакле, постоји макар једно x тако да P(x).

Математички записано, овај закон гласи:




.

Примери[уреди | уреди извор]

1)

Петар воли чоколаду.
Дакле, постоји неко ко воли чоколаду.

2)

Јована живи у Ивањици.
Дакле, постоји нека девојка која живи у Ивањици.

3)

Птица има реп.
Дакле, постоји нека животиња која има реп.

Приметимо да је доста битна чињеница да се говори о објектима истог универзума, а уколико то не би био случај, могло би да дође до забуне, па и непостојеће контрадикције. Ово је илустровано следећим примером.

4)

Аутомобил има точкове.
Дакле, постоји књига која има точкове.

Ово је, наравно, апсурдни закључак, јер аутомобил не припада универзуму књига.

Види још[уреди | уреди извор]