Diferència entre revisions de la pàgina «Quantificació, teoria de la»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} En lògica de predicats, el mètode per expressar enunciats quantificats universals i existencials o particulars. Un enunciat quantific...».) |
m (bot: -per expressar +per a expressar) |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | En [[lògica|lògica de predicats]], el mètode per expressar enunciats quantificats universals i existencials o particulars. Un enunciat quantificat és una [[funció proposicional|funció proposicional]] a la qual s'afegeix un [[quantificador|quantificador]]. | + | En [[lògica|lògica de predicats]], el mètode per a expressar enunciats quantificats universals i existencials o particulars. Un enunciat quantificat és una [[funció proposicional|funció proposicional]] a la qual s'afegeix un [[quantificador|quantificador]]. |
[[File:910jord.png|400px]] | [[File:910jord.png|400px]] | ||
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | {{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | ||
Revisió de 12:38, 16 set 2017
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.
