Ekzista kvantizanto

En predikata logiko, la ekzista kvantizanto^[1] aŭ ekzistokvantigilo estas kvantizanto, kiu signas ke iu eco havas almenaŭ unu objekto. La eco estas esprimita per malferma formulo, do formulo, kiu entenas unu neligitan variablon. En la plej simpla kazo, tio estas unu-argumenta predikato.

1. ↑ Nova Plena Ilustrita Vortaro de Esperanto: kvant/iz/ant/o “ekzista kvantizanto”