Diferència entre revisions de la pàgina «Simbolització»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Procediment usat en lògica, sobretot en l'anomenada lògica simbòlica, o lògica matemàtica, mitjançant el qual se subst...».) |
(Cap diferència)
|
Revisió de 00:49, 5 feb 2015
Procediment usat en lògica, sobretot en l'anomenada lògica simbòlica, o lògica matemàtica, mitjançant el qual se substitueixen els termes del llenguatge ordinari per símbols o signes d'un llenguatge artificial. Un símbol és un element abstracte prèviament definit.
Simbolització en lògica d'enunciats:
S'ha produït un error en crear la miniatura: Fitxer inexistent
Simbolització en lògica de predicats: