Introduccin a la lgica proposicional

Hasta ahora analizamos un tipo de razonamiento, que formalizamos del siguiente modo:

Todos los helados son dulces
Ningn dulce es salado
Ningn helado es salado

Todo A es B
Ningn B es C
Ningn A es C

Pero hay otros razonamientos que son ms difciles de formalizar de esa manera. Por ejemplo,
veamos este caso:

Si estudio mucho, aprobar los exmenes
Estudio mucho
Aprobar los exmenes

Cmo lo formalizo?

Ya no tengo la estructura del todos y ninguno, entonces?
Se podra formalizar as

Si p, entonces q
P
Q

p y q representan PROPOSICIONES.
Un anlisis de este tipo, que lo que toma en cuenta y formaliza son las PROPOSICIONES, nos
sirve en este caso para saber si la conclusin es correcta. Podemos establecer la validez sin
necesidad de entrar a formalizar cada uno de los conceptos presentes. Lo que estamos
haciendo en este caso es LGICA PROPOSICIONAL.


Proposiciones simples y compuestas
Proposiciones simples (atmicas)
No contiene ninguna otra proposicin como parte constituyente

Proposiciones compuestas (moleculares)
Contiene dentro otras proposiciones
Ejemplo: Si Jos gana mucho dinero, se ir de viaje.

El clculo proposicional estudia las proposiciones MOLECULARES: analiza su estructura hasta
hallar sus proposiciones componentes ltimas.
Por eso, el LENGUAJE PROPOSICIONAL tiene dos tipos de smbolos: los que representan
proposiciones y los que representan aquellas partculas que unen o afectan proposiciones.