Simbolització
De Wikisofia
La revisió el 00:49, 5 feb 2015 per Sofibot (discussió | contribucions) (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...».)
La revisió el 00:49, 5 feb 2015 per Sofibot (discussió | contribucions) (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...».)
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:
