Quantificació, teoria de la
De Wikisofia
La revisió el 12:38, 16 set 2017 per Jaumeortola (discussió | contribucions) (bot: -per expressar +per a expressar)
La revisió el 12:38, 16 set 2017 per Jaumeortola (discussió | contribucions) (bot: -per expressar +per a expressar)
En lògica de predicats, el mètode per a expressar enunciats quantificats universals i existencials o particulars. Un enunciat quantificat és una funció proposicional a la qual s'afegeix un quantificador.
