Lógica Proposicional
Lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. La lógica proposicional trata con sistemas lógicos
que carecen de cuantificadores, o variables interpretables como
entidades. En lógica proposicional si bien no hay signos para variables
de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido)A continuación se presentan los conectivos lógicos mas frecuentes
También te presentamos las tablas de verdad para cada uno de estos conectivos en las siguiente imagen:
Un ejemplo para todo el tema de lógica proposicional sería este:
Voy a comprar pan y a tomar un
café
La proposición del ejemplo es
molecular porque se compone de dos proposiciones
atómicas:
Voy a comprar pan
Voy a tomar un café
Estas dos proposiciones atómicas
están conectadas mediante la partícula
"y". Una proposición molecular será verdadera
o falsa, pero a diferencia de lo que ocurre con las
proposiciones atómicas, su verdad o falsedad no depende
directamente de la realidad, sino que depende o es
función de la verdad o falsedad de las proposiciones
atómicas que la componen. Esto significa que si quiero
saber si es verdadero o falso que voy a comprar pan y a tomar un
café, es necesario que conozca la verdad o falsedad de
"voy a comprar pan" y de "voy a tomar un café" por
separado
No hay comentarios.:
Publicar un comentario