Simbolització
De Wikisofia
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:
