2. Lógica proposicional simbólica La lógica proposicional simbólica es una de las lógicas deductivas. Se llama proposicional porque toma como unida...

2. Lógica proposicional simbólica
La lógica proposicional simbólica es una de las lógicas deductivas. Se llama proposicional porque toma como unidad mínima a la proposición simple. Hay dos tipos de proposiciones. Las simples (o atómicas) y las compuestas (o moleculares). Las simples son las que no tienen conectivas mientras que las compuestas se forman a partir de incluir conectivas en las simples. Las conectivas son expresiones lógicas que permiten formar proposiciones compuestas a partir de simples. Por ejemplo:
“Juan es dentista” es un ejemplo de proposición simple.
“Juan es pescador aficionado” es otro ejemplo de proposición simple.
“Juan es dentista y pescador aficionado” es una proposición compuesta que se forma a partir de las proposiciones “Juan es dentista” y “Juan es pescador aficionado”, unidas con la conectiva “y”.
“Juan no es dentista” también es una proposición compuesta, ya que “no” es una conectiva.
Al trabajar con esta lógica, la unidad mínima es la proposición simple. Esto quiere decir que la estructura interna de las proposiciones simples no se analiza (no se analizan, por ejemplo, las propiedades lógicas que dependen de la estructura de sujeto y predicado de las oraciones). Así, identificaremos proposiciones simples y proposiciones compuestas y, en el caso de las proposiciones compuestas, analizaremos su estructura interna en función de las proposiciones simples y las conectivas lógicas que las conforman.