Académique Documents
Professionnel Documents
Culture Documents
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.