Lógica Proposicional (Deductiva)

¿Qué es la lógica?
Disposición natural de los seres humanos para pensar de forma coherente.
Estructura del pensamiento que permite verificar si un razonamiento es correcta o
incorrecta.

Lógica Matemática: Ciencia que estudia los procedimientos para distinguir si un razonamiento
es correcto o incorrecto

Lógica Proporcional: Estudio de los métodos y principios indispensables para distinguir el

razonamiento correcto del incorrecto.

También llamada Lógica de enunciados o de orden cero

Proposiciones o enunciados: es una oración que se puede ser verdadera o falsa. Se puede
responder con un sí o un no.

Algunas proposiciones:

5 es mayor que 2.
Todas las funcionarias son femeninas.
Venezuela se encuentra en América del Sur.
La semana tiene 7 días.
Los carros tienen tres ruedas.

No son proposiciones:

¿Cómo te llamas?
Llama a tu tía.
El pantalón azul.

Para estudiar las proposiciones se les asignan letras minúsculas, las más comunes son; p, q, r, s, t…

Ejemplos de proposiciones

p: Iré al cine.

q: Iré a jugar futbol.

r: Te regalo flores.

s: Te regalo dulces.

t: Está lloviendo.
u: Hay nubes en el cielo.

x: El número 2 es par.

Conectivos Lógicos: Son palabras que unen dos o más proposiciones.

Negación (¬): Hace que una proposición cambie automáticamente su valor de verdad, su símbolo
se usa en la parte izquierda o antepuesto a la proposición (¬p).

Ejemplos:

¬p; se lee No ire al cine

¬p; es falso que ire al cine

¬x; el numero 2 no es par

¬x; es falso que el numero 2 es par

¬¬t; es falso que no está lloviendo (dos negaciones se anulan)

¬¬t = t
Conjunción (ʌ): es una proposición compuesta que resulta de combinar dos proposiciones
simples con la palabra “y”. (pʌq)

Ejemplos
p: Iré al cine.

q: Iré a jugar futbol.

pʌq: Iré al cine y a jugar futbol.

r: Te regalo flores.

s: Te regalo dulces.

rʌs: Te regalo flores y dulces.

Disyunción (v): es una proposición compuesta que resulta de combinar dos simples por medio de
la palabra “o”. (pvq)

Ejemplos
p: Iré al cine.
q: Iré a jugar futbol.

pvq: Iré al cine o a jugar futbol.

r: Te regalo flores.

s: Te regalo dulces.

rvs: Te regalo flores o dulces.

Condicional (→): es una función de verdad binaria, que se vuelve falso cuando q es falsa siendo
p verdadera, y se vuelve verdadero en cualquier otro caso. (p→q) entonces

Ejemplos
p: Iré al cine.

q: Iré a jugar futbol.

p→q: Iré al cine Entonces iré a jugar futbol.

r: Te regalo flores.

s: Te regalo dulces.

r→s: Te regalo flores Entonces te regalo dulces.

Bicondicional (↔): es una proposición que tiene una doble condicionalidad. Permite formular
expresiones de la forma (p si y solo si q), que es verdadera en el caso de que ambos componentes
tengan el mismo valor de verdad. (p↔q) si y solo si.

Ejemplos
p: Iré al cine.

q: Iré a jugar futbol.

p→q: Iré al cine si y solo si iré a jugar futbol.

r: Te regalo flores.

s: Te regalo dulces.

r→s: Te regalo flores si y solo si te regalo dulces.

De otra manera

¬pʌq: : No iré al cine e iré a jugar futbol.

rv¬s: Te regalo flores o no Te regalo dulces.

p→¬q: Iré al cine entonces no iré a jugar futbol

¬u→¬t: t: No hay nubes en el cielo Entonces No está lloviendo.

CONECTOR OPERACIÓN ESQUEMA SIGNIFICADO

LOGICO LOGICA
SIMBOLO
` NEGACION ¬p NO
ʌ CONJUNCION pʌq Y
v DISYUNCION pvq O
→ => CONDICIONAL p→q ENTONCES
↔ <=> BICONDICIONAL p↔q SI Y SOLO SI

Tablas de verdad

Las tablas de verdad es una estrategia de la lógica simple que permite establecer la validez de
varias propuestas en cuanto a cualquier situación, es decir, determina las condiciones necesarias
para que sea verdadero un enunciado propuesto, permitiendo clasificarlos en tautológicos (En lógica
proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier
interpretación).

Negación (¬p) Regla: Una proposición que es verdadera es falsa

p ¬p
V F
F V

Conjunción (ʌ):. Regla: Su Verdad depende de sus dos enunciados. Es verdadera solo si ambas
verdaderas, y es falsa cuando al menos uno de los enunciados es falsa

p q (pʌq)
V V V
V F F
F V F
F F F
Disyunción (v): Regla: Es verdadera si al menos una de las dos es verdadera.

p q (pvq)
V V V
V F V
F V V
F F F

Condicional (→): Regla: La proposición condicional es falsa sólo en caso que el antecedente sea
verdadero y el consecuente falso (VF). En los demás es verdadera.

p q (p→q)
V V V
V F F
F V V
F F V

Bicondicional (↔): Regla: Es verdadera cuando ambas proposiciones son verdaderas o ambas
falsas.

p q (p→q)
V V V
V F F
F V F
F F V

¿Cómo construir una tabla de verdad?

¬pʌ¬q
Para construir una tabla de verdad seguimos estos pasos simples:

1._ Colocamos una fila de títulos, esta contendrá las proposiciones y los conectores a trabajar.

p q ¬p ¬q ¬pʌ¬q

2._ El número de fila será dónde la n corresponde al número de variables proposicionales, ya

que ése es el número de combinaciones que existen de asignaciones de valores de verdad a cada una
de las variables.

Por ejemplo:
 p q ¬p ¬q ¬pʌ¬q

3._ Asignamos los valores de verdad; la mitad verdaderos (V) la mitad falsos (F) luego alternamos
según el numero de proposiciones.

p q ¬p ¬q ¬pʌ¬q
V V
V F
F V
F F

4._ Resolvemos los conectores lógicos, para esto el orden es

1° Lo que está dentro de los paréntesis ( )

2° Se realizan las negaciones ¬

p q ¬p ¬q ¬pʌ¬q
V V F
V F F
F V V
F F V

p q ¬p ¬q ¬pʌ¬q
V V F F
V F F V
F V V F
F F V V
3° Los conectores ʌ v
4° Por ultimo → ↔
p q ¬p ¬q ¬pʌ¬q
V V F V F
V F F V F
F V V F F
F F V V V
Asignación

Luego de la entrevista con un presunto victimario señalado por hurto agravado, donde se
señala al Ciudadano José Montes de 38 años de edad quien es cónyuge desde hace 5 años
de la Viuda Laura Montes de 60 años de edad, quien afirma que desde hace tiempo observa
una conducta extraña en su pareja y decidió ponerle a prueba mientras este se encontraba
fuera del hogar sacando las joyas de la caja fuerte y dejándolas en la biblioteca en una cajita
de música antigua, la Señora esperó para ver la reacción de su pareja. Se hizo saber que la
pareja de la ciudadana tomó parte de las joyas y salió de manera apresurada mientras tanto
la misma informaba a las fuentes policiales del suceso y daba detalles de lo acontecido,
luego de esto se tienen las siguientes proposiciones:
p: Las joyas estaban en la biblioteca
q: Tome las joyas

Con las proposiciones encontradas, realice la tabla de verdad para la expresión

(pʌ q)↔q
Indique que puede concluir usted