Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
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.
- ↑ Nova Plena Ilustrita Vortaro de Esperanto: kvant/iz/ant/o “ekzista kvantizanto”
Previous Page Next Page
