Accions

Quantificador

De Wikisofia

La revisió el 09:46, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} En la lògica tradicional aristotèlica, les partícules sincategoremáticas «tots», «cap», «algun» i «algun...no», o...».)
(dif.) ← Versió més antiga | Versió actual (dif.) | Versió més nova → (dif.)

En la lògica tradicional aristotèlica, les partícules sincategoremáticas «tots», «cap», «algun» i «algun...no», o equivalents, que afegides a un subjecte i a un predicat units amb la còpula «és» donen lloc a enunciats categoremáticos, que poden ser universals o particulars(veure exemple). En la lògica de predicats de primer ordre, operadors que, afegits a una funció proposicional, la transformen en un enunciat.

Són dos: el quantificador existencial, que se simbolitza com a x i es llegeix «existeix almenys un x tal que...», amb el que s'afirma l'existència d'almenys un membre de la classe que descriu la funció, i el quantificador universal, simbolitzat per x, que es llegeix «per a tot x...», i que afirma que tot és de la classe que descriu la funció.


910jord.png