TUP

Matemática Ing. Ruth Díaz Alberti

LÓGICA PROPOCISIONAL
NOCIONES LÓGICAS. Definición: La lógica es una ciencia formal que utiliza, principios, leyes y
procedimientos para determinar la validez de una Inferencia (¿Qué es una inferencia? Es un
pensamiento, argumento o información). El problema central de la Lógica es establecer la distinción
entre el razonamiento Correcto y el Incorrecto.

Lógica Formal

División de la lógica

Lógica Proposicional

Para el estudio de la Lógica Proposicional tenemos una notación o también llamada simbología:

1.- Proposiciones: es todo enunciado u oración afirmativa respecto de la cual se puede decir si es
Verdadera o Falsa pero ´no ambas`.

Ejemplos:

▪ El calor dilata los cuerpos.

▪ 4 es un número impar.
▪ La Luna gira alrededor del Sol.
▪ Albert Einstein era un físico Alemán.
▪ 10 + 10 = 20

Indistintamente del valor de Verdad o Falsedad de las oraciones anteriores al ser oraciones
afirmativas se puede afirmar que son Proposiciones.

Ejemplos de oraciones que “No son Proposiciones”:

▪ ¿Quién viene? - (Oración Interrogativa, no se puede dar un valor de Verdad o

Falsedad a esta oración por ser una pregunta)
▪ Deténgase - (Oración Imperativa, tampoco se puede dar un valor de Verdad o
Falsedad ya que ésta oración es una orden)
▪ Vendrá o no vendrá Ana a mi Cumple. - (Oración Dubitativa, no podemos decir si
ésta oración es verdadera o falsa ya que expresa duda)
▪ Quisiera comer un helado. - (Oración Desiderativa, la cual tampoco podemos
darle un valor de Verdad o Falsedad ya expresa un deseo )
▪ x +2=5 - (Expresión matemática que se la puede tomar como enunciado a la
cual no se puede dar un valor de verdad o falsedad porque no se conoce el valor de x).
 TUP
Matemática Ing. Ruth Díaz Alberti

Las Proposiciones son denotadas con las letras p, q, r, s, t….. etc.

Ejemplo: p: A mi amigo Juan le gusta la música

q: a + b = b + a

r: Carla es mi compañera en la UTN

Tipos de Proposiciones:

Simples: son aquellas proposiciones que no se pueden

dividir. Ejemplo: Mateo aprobó el ingreso

Las Proposiciones pueden ser

Compuestas: son aquellas proposiciones que están

compuestas por dos o más proposiciones
simples unidas por un operador lógico.

Ejemplo: Mateo aprobó el ingreso y le

regalaron un auto.

A esta oración podríamos dividirla en dos: p: Mateo aprobó el ingreso.

q: A Mateo le regalaron un auto.

2.- Conectivo Lógico u Operaciones Lógicas: son las Operaciones que se puede realizar con las
Proposiciones.

Negación (~)
Definición: Negación de la proposición 𝒑 es la proposición ~𝒑, (al símbolo ~ se lo llama 𝒏𝒐 por
lo tanto quedaría 𝒏𝒐 𝒑).

Ejemplo de la negación:
𝒑: Todo hombre es honesto
~𝒑: No todo hombre es honesto
~𝒑: Hay hombre que No son honesto

Conjunción o Producto lógico (∧)

Definición: la Conjunción de las proposiciones simple 𝒑 y 𝒒 , es la proposición compuesta 𝒑 ∧
𝒒. (Al símbolo ∧ se lo llama 𝒚).

Ejemplo de la conjunción:
𝒑: 3 es un número impar.
 TUP
Matemática Ing. Ruth Díaz Alberti

𝒒: 2 es un número primo.
𝒑 ∧ 𝒒 : 3 es un número impar 𝒚 2 es un número primo.

Disyunción (Incluyente) o Suma Lógica (∨)

Definición: la Disyunción Incluyente de las proposiciones simple 𝒑 y 𝒒 , es la proposición
compuesta 𝒑 ∨ 𝒒. (Al símbolo ∨ se lo llama 𝒐).

Ejemplo de la disyunción:
𝒑: Regalo los libros viejos.
𝒒: Regalo los libros que no me sirven.

𝒑 ∨ 𝒒 : Regalo los libros viejos 𝒐 regalo los libros que no me sirven.

En este ejemplo el operador 𝒐 incluye a las dos proposiciones ya que se puede hacer una
proposición (regalar los libros viejos) o la otra proposición (regalar los libros que no me
sirven), pero también puedo hacer ambas proposiciones.

Disyunción Excluyente o Diferencia Simétrica: (∆, ν)

Definición: la Disyunción Excluyente de las proposiciones simple 𝒑 y 𝒒 , es la proposición
compuesta 𝒑 ∆ 𝒒 pero no ambas (Al símbolo ∆ se lo llama 𝒐 𝒆𝒙𝒄𝒍𝒖𝒚𝒆𝒏𝒕𝒆).

Ejemplo de la disyunción excluyente:

𝒑: Hoy es lunes.
𝒒: Hoy es martes.

𝒑 ∆ 𝒒 : Hoy es lunes 𝒐 martes.

En este último ejemplo el operador 𝒐 está excluyendo una de las dos proposiciones. Si hoy es
lunes seguro que no es martes por lo tanto excluye la proposición 𝒒.

Implicancia ó Condicional: (→)

Definición: la Implicancia de las proposiciones simple 𝒑 y 𝒒 , es la proposición compuesta
𝒑 → 𝒒. (Al símbolo → se lo llama 𝑰𝒎𝒑𝒍𝒊𝒄𝒂𝒏𝒄𝒊𝒂 𝒐 𝒄𝒐𝒏𝒅𝒊𝒄𝒊𝒐𝒏𝒂𝒍 ).

Ejemplo de la implicancia:
𝒑: El examen es fácil.
𝒒: Habrá muchos aprobados.
𝒑 → 𝒒 : 𝑺𝒊 el examen es fácil 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 habrá muchos aprobados.
 TUP
Matemática Ing. Ruth Díaz Alberti

Cabe destacar que en la implicancia llamaremos a:

𝒑→𝒒

Antecedente Consecuente

Doble Implicancia ó Bicondicional: (↔)

Definición: la Doble Implicancia de las proposiciones simple 𝒑 y 𝒒 , es la proposición compuesta
𝒑 ↔ 𝒒. (Al símbolo ↔ se lo llama 𝑫𝒐𝒃𝒍𝒆 𝑰𝒎𝒑𝒍𝒊𝒄𝒂𝒏𝒄𝒊𝒂 𝒐 𝑩𝒊𝒄𝒐𝒏𝒅𝒊𝒄𝒊𝒐𝒏𝒂𝒍 ).

El bicondicional puede definirse como la conjunción de (𝒑 → 𝒒) y (𝒒 → 𝒑)

Ejemplo de la doble implicancia:

𝒑: El triángulo es equilátero.
𝒒: El triángulo es equiángulos.
𝒑 ↔ 𝒒 : El triángulo es equilátero 𝒔𝒊 𝒚 𝒔𝒐𝒍𝒐 𝒔𝒊 el triángulo es equiángulo.

Cuadro Descriptivo

Notación Operación Asociada Significado

o
Símbolo
~ ó ¬ 𝑁𝑒𝑔𝑎𝑐𝑖ó𝑛 𝑵𝒐 𝒑 ó 𝒏𝒐 𝒆𝒔 𝒄𝒊𝒆𝒓𝒕𝒐 𝑞𝑢𝑒 𝒑
𝒑 𝒚 𝒒, 𝒑 pero q, 𝒑 aunque q ,
∧ 𝐶𝑜𝑛𝑗𝑢𝑛𝑐𝑖ó𝑛 ó 𝑃𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝐿ó𝑔𝑖𝑐𝑜
…….sin embargo, también, a la
vez

∨ 𝐷𝑖𝑠𝑦𝑢𝑛𝑐𝑖ó𝑛 𝐼𝑛𝑐𝑙𝑢𝑦𝑒𝑛𝑡𝑒 ó 𝑆𝑢𝑚𝑎 𝐿ó𝑔𝑖𝑐𝑎 𝒑 𝒐 𝒒 (en sentido incluyente)

𝒐 𝒑 𝒐 𝒒 (en sentido excluyente)

∆o ν 𝐷𝑖𝑠𝑦𝑢𝑛𝑐𝑖ó𝑛 𝐸𝑥𝑐𝑙𝑢𝑦𝑒𝑛𝑡𝑒 ó 𝐷𝑖𝑓𝑒𝑟𝑒𝑛𝑐𝑖𝑎 𝑆𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 o bien p o bien q
𝒑 𝒊𝒎𝒑𝒍𝒊𝒄𝒂 𝒒 ó
→ 𝐼𝑚𝑝𝑙𝑖𝑐𝑎𝑛𝑐𝑖𝑎 o Condicional
𝑺𝒊 𝒑 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒒
↔ Doble 𝐼𝑚𝑝𝑙𝑖𝑐𝑎𝑛𝑐𝑖𝑎 o Bicondicional 𝒑 𝒔𝒊 𝒚 𝒔𝒐𝒍𝒐 𝒔𝒊 𝒒 ó 𝒑 𝒔𝒊𝒊 𝒒
 TUP
Matemática Ing. Ruth Díaz Alberti

“Los valores de verdad de las proposiciones se las debe fijar antes de operar con ellas, una vez
fijado el valor de verdad de dichas proposiciones será único y el mismo para todos los casos que se
deba usar estas proposiciones.”

Ejemplo:
𝒖: El 11 de septiembre de 2001 fue el atentado a las torres gemelas.
𝒗: En el atentado de las torres gemelas murieron más de 2000 personas.

Analicemos las proposiciones 𝒖 y 𝒗 y les demos un valor de verdad a cada una según nuestro
conocimiento sobre el tema. Podremos decir que 𝒖: V y 𝒗: V
Por lo tanto cada vez que se utilice 𝒖 y 𝒗 para este caso diremos que son verdaderas.

TABLAS DE VERDAD:
Definición: Las tablas de verdad reflejan el valor de verdad de una proposición
compuesta para cada una de las posibilidades de valores de verdad de las proposiciones
simples que la componen.

NEGACIÓN CONJUNCIÓN
p ~p p q p ʌq
p
V F V V V
V
F V V F F
F
F V F
F F F

DISYUNCION
DISYUNCIÓN EXCLUYENTE IMPLICANCIA DOBLE IMPLICANCIA
p Q p ѵ q p q p νq
V V V V V F p q p→q p q p ↔q
V F V V F V V V V V V V
F V V F V V V F F V F F
F F F F F F F V V F V F
F F V F F V

LINK SOBRE TABLAS DE VERDAD

https://www.youtube.com/watch?v=gNdrxk5yTWU
 TUP
Matemática Ing. Ruth Díaz Alberti

Calculo del número de filas en la tabla de verdad

N° de filas = 2n
Siendo n = número de proposiciones

V
p
p → n = 1 → 21 = 2 →2 filas V
F
F

2V F p q
V V
p y q n = 2 → 22 = 4 →4 filas V V F
F V
2F F F
F

V
p q r
2V F V V V
V V F
V F V
4V V V F F
2F F V V
F F V F
p,q y r n = 3 → 23 = 8 →8 filas F F V
V F F F
2V F
4F V
2F
F
 TUP
Matemática Ing. Ruth Díaz Alberti

LEYES LÓGICAS
Las leyes lógicas son tautologías o formas lógicas verdaderas. Son fórmulas verdaderas
independientemente de los valores que asumen sus variables proposicionales componentes.

Tautología: Se llama tautología a una proposición compuesta que es verdadera para todas las
asignaciones de valores de verdad de sus proposiciones componentes.

Con T (True) se indica que una proposición compuesta es Tautología

Contradicción: Se llama contradicción a una proposición compuesta que es Falsa para todas las
asignaciones de valores de verdad de sus proposiciones componentes.
Con F (False) se indica que una proposición compuesta es Contradicción

Contingencia: Se llama contingencia a toda proposición compuesta que para todas las
asignaciones de valores de verdad de sus proposiciones componentes es verdadera y falsa.

Involución: ~(~𝒑) ≅ 𝒑 y se lo lee: “no, no p, equivale a p”

Idempotencia:
a) de la conjunción (𝒑 ∧ 𝒑) ≅ 𝒑
b) de la disyunción (𝒑 ∨ 𝒑) ≅ 𝒑

Conmutatividad:
a) de la conjunción (𝒑 ∧ 𝒒) ≅ (𝒒 ∧ 𝒑)
b) de la disyunción (𝒑 ∨ 𝒒) ≅ (𝒒 ∨ 𝒑)

Asociativa:
a) de la conjunción (𝒑 ∧ 𝒒) ∧ 𝒓 ≅ 𝒑 ∧ (𝒒 ∧ 𝒓)
b) de la disyunción (𝒑 ∨ 𝒒) ∨ 𝒓 ≅ 𝒑 ∨ (𝒒 ∨ 𝒓)

Distributiva:
a) de la conjunción respecto de la disyunción
(𝒑 ∨ 𝒒) ∧ 𝒓 ≅ (𝒑 ∧ 𝒓) ∨ (𝒒 ∧ 𝒓)
b) de la disyunción respecto de la conjunción
 TUP
Matemática Ing. Ruth Díaz Alberti

(𝒑 ∧ 𝒒) ∨ 𝒓 ≅ (𝒑 ∨ 𝒓) ∧ (𝒒 ∨ 𝒓)

Ley de la disyunción excluyente

𝒑 ∨ 𝒒 ≅ (𝒑 ∧ ~𝒒) ∨ (~𝒑 ∧ 𝒒 )

Equivalencia de la Implicación:
(𝒑 → 𝒒) ≅ (~𝒑 ∨ 𝒒)

Equivalencia de la Doble Implicación:

(𝒑 → 𝒒) ≅ ((𝒑 → 𝒒) ∧ (𝒒 → 𝒑) )

Leyes de De Morgan:
a) La negación de una conjunción es equivalente a la disyunción de las negaciones.
~(𝒑 ∧ 𝒒) ≅ (~𝒑 ∨ ~𝒒)
b) La negación de una disyunción es equivalente a la disyunción de las negaciones.
~(𝒑 ∨ 𝒒) ≅ (~𝒑 ∧ ~𝒒)

Verificación de la LEY de DE MORGAN confeccionando la tabla de verdad

~ (𝒑 ∧ 𝒒) ↔ (~𝒑 ∨ ~𝒒)

F V V V V F F F

V V F F V F V V

V F F V V V V F
V F F F V V V V
 TUP
Matemática Ing. Ruth Díaz Alberti

Verificación de la CONJUNCIÓN RESPECTO DE LA DISYUNCIÓN confeccionando la tabla

de verdad

(𝒑 ∨ 𝒒) ∧ 𝒓 ↔ (𝒑 ∧ 𝒓) ∨ (𝒒 ∧ 𝒓)

V V V V V V V V V V V V V

V V V F F V V F F F V F F

V V F V V V V V V V F F V

V V F F F V V F F F F F F

F V V V V V F F V V V V V

F V V F F V F F F F V F F

F F F F V V F F V F F F V

F F F F F V F F F F F F F

Equivalencias Lógicas
Se dice que dos expresiones lógicas cualesquiera A y B, simples o compuestas, son
lógicamente equivalentes y se denota A ↔ B o A ≅ B, cuando ambas expresiones
tienen los mismos valores de verdad para cada una de las combinaciones posibles de
los valores de verdad de las proposiciones simples intervinientes.
Como consecuencia de esta definición se tiene que:
A ↔ B sii A ≅ B es tautología

Conectivo Principal
Se llama conectivo principal al conectivo que da el valor de
verdad final de la proposición compuesta.

Ejemplos
 TUP
Matemática Ing. Ruth Díaz Alberti

~ (𝑝 ∧ 𝑞) (𝑝 ∨ 𝑞) ∧ (𝑠 → 𝑝) (𝑝 → 𝑞) → [(𝑟 ∨ 𝑝) ∧ ~ 𝑞]
cp cp cp

En una expresión sin paréntesis hay que respetar la REGLA DE PRIORIDAD.

La prioridad de mayor a menor está dada por el siguiente orden, (de izquierda a
derecha):
~, ∧, ∨, →, ↔

Ejemplo:

a) 𝑝 ∨ 𝑞 ∧ ~ 𝑟

p ∨ q ∧ ~ r

V V V F F V
V V V V V F
V V F F F V
V V F F V F
F V V F F V
F V V V V F
F F F F F V
F F F F V F