Lógica Proposicional

¿Qué es la Lógica?
Es la disciplina que trata sobre los métodos del razonamiento.

Proporciona reglas y técnicas para determinar si es o no válido un

razonamiento.

Se emplea en matemáticas para demostrar teoremas; en informática para verificar si son o no

correctos los programas.

esquema relacional que explica como se

compone la lógica proposicional .
La 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), de ahí el nombre proposicional. La lógica
proposicional incluye además de variables interpretables como proposiciones simples signos
para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia
lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de
las proposiciones más simples.

Conectiva Lógica: símbolo que se utiliza para conectar dos fórmulas bien formadas (atómicas o
moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad
de las fórmulas componentes.
En programación se utilizan para combinar valores de verdad y obtener nuevos valores que
determinen el flujo de control de un algoritmo o programa.

Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de
muchossistemas lógicos, principalmente la lógica proposicional y la lógica de predicados.

En la lógica proposicional, las conectivas lógicas se tratan como funciones de verdad. Es decir, como
funciones que toman conjuntos de valores de verdad y devuelven valores de verdad. Por ejemplo, la
conectiva lógica "no" es una función que si toma el valor de verdad V, devuelve F, y si toma el valor
de verdad F, devuelve V. Por lo tanto, si se aplica la función «no» a una letra que represente una
proposición falsa, el resultado será algo verdadero. Si es falso que "está lloviendo", entonces será
verdadero que "no está lloviendo".

El significado de las conectivas lógicas no es nada más que su comportamiento como funciones de
verdad. Cada conectiva lógica se distingue de las otras por los valores de verdad que devuelve frente
a las distintas combinaciones de valores de verdad que puede recibir. Esto quiere decir que el
significado de cada conectiva lógica puede ilustrarse mediante una tabla que despliegue los valores
de verdad que la función devuelve frente a todas las combinaciones posibles de valores de verdad
que puede recibir.

Tabla de verdad: La tabla de verdad de una fórmula es una tabla en la que se

presentan todas las posibles interpretaciones de las variables proposicionales que
constituye la fórmula y el valor de verdad de la fórmula completa para cada
interpretación. Por ejemplo, la tabla de verdad para la fórmula
 Ejempl Análog
Ejemplo de uso en Tabla de verdad
Conectiva Notación o o
el lenguaje natural 1=V; 0=F
de uso natural

Negación no No está lloviendo.

Está lloviendo y la
Conjunción y
calle está mojada.

Está lloviendo o la
Disyunción o
calle está mojada.

si... Si está
Condicional
entonce lloviendo, entonces l
material
s a calle está mojada.

Está lloviendo si y
Bicondiciona si y sólo
sólo si la calle está
l si
mojada.
 Negación Ni está lloviendo ni la
ni... ni
conjunta calle está mojada.

O bien está
Disyunción o bien...
lloviendo, o bien la
excluyente o bien
calle está mojada.

Enunciado: se llama enunciado a toda frase u oración, que se utiliza en el lenguaje común.Algunos
enunciados son mandatos, interrogaciones o expresiones de emoción; otros en cambio son
afirmaciones o negaciones que tienen la característica de ser verdadero o falso.

 Abiertos: son enunciados que contienen "variables" y carecen de la propiedad de ser

verdadero o falso, son conocidos como: "función proposicional".
Ejemplo:
X<5 es un enunciado abierto ya que no se puede afirmar que es verdadero o falso dado
que solo cuando X toma un valor numérico se puede decir si es o no verdadero.
X=3 entonces 3<5 (V)
X=7 entonces 7<5 (F)
 Proposición: enunciado cuya propiedad
fundamental es ser verdadero o falso, pero no ambas a la vez y sin ambigüedad

las proposiciones lógicas se representan con letras minúsculas (a, b ,c, d, e...) llamadas "variables
proposicionales".

 simples ("atómicas"): son aquellas que se pueden representar con una sola variable o letra
(No tiene Conectivos).
Ejemplos:
q=Pamela tiene 20 años.
p=5*6=30.

 Compuestas ("moleculares"): son aquellas que están constituidas por proposiciones

simples enlazadas entre si por conectivos lógicos. El valor de la verdad de una proposición
compuesta depende de los valores de la verdad de las proposiciones que lo forman y de la manera
como están unidas.
Ejemplos:
~p=No aprobé el curso de matemáticas.
P Λ q : Hoy es sábado y mañana es domingo.