¿Qué es?
No se ha añadido ninguna twiki todavía.
Procedimiento usado en lógica, sobre todo en la llamada lógica simbólica, o lógica matemática, mediante el cual se sustituyen los términos del lenguaje ordinario por símbolos o signos de un lenguaje artificial. Un símbolo es un elemento abstracto previamente definido.
Simbolización en lógica de enunciados:
Simbolización en lógica de predicados:
