Simbolización
LÓGICA PROPOSICIONAL CONECTIVAS VERITATIVO FUCIONALES. El sistema lógico más simple, y que sirve de base a otros más complejos, es la lógica proposicional . También es conocida con otros nombres como lógica de enunciados o lógica de conectores . Su nombre se debe, en el caso de las primeras denominaciones citadas, a que los elementos con los que trabaja son enunciados o proposiciones (que se expresan en oraciones ) 1 (Notas al final del capítulo). Respecto a la expresión “lógica de conectores”, obedece al hecho de que en ella se estudian las propiedades lógicas de ciertas oraciones compuestas a partir de oraciones simples , utilizando para ello conectores . En el lenguaje natural existen diversos tipos de conectivas, pero en lógica proposicional nos interesa un tipo en particular. Podemos explicarlo mediante un ejemplo 2 : Juan está llorando porque se golpeó la cabeza. Juan se golpeó la cabeza y está llorando. Juan se golpeó la cabeza. Juan está ll...