LÓGICA

PROPOSICIONAL
MATEMÁTICA
Lic. Dra. Elizabeth Igarza Campos
INTRODUCCIÓN A LA LÓGICA
Enunciado. Es toda frase u oración que se utiliza en nuestro
lenguaje.
Proposición. Es todo enunciado, que puede ser calificada como
verdadero (V) ó falso (F), pero no ambas a la vez. (Lógica
bivalente)

Los enunciados simples no son suficientes para expresar una

mínima parte de la terminología matemática. Podemos notar que
cuando expresamos nuestras ideas por medio de frases
intervienen conectivos como “no”, “y”, “o”..., los cuales
enlazan enunciados simples. Por lo general, a las proposiciones
se las representa por las letras del alfabeto desde la letra p, es
decir, p, q, r, s, t,... etc.

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 2

Ejemplo:

Asignar el valor de verdad de:

• q: Morales es el distrito de la provincia de San Martín (V)

• r: El número 20 es divisible por 4 (V)
• s: El ganso es un animal. (V)
• t: los números pares son finitos (F)
• u: ¿Qué día es hoy? (No es una proposición)
• p: ¡Buenos días! (No es una proposición)

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 3

EXPRESIONES NO PROPOSICIONALES

1. Buenos días
2. ¿Te encuentras bien de salud?
3. ¡Estudia!
4. ¿Cómo te llamas?
5. ¡Hasta luego!
6. x<5

No son proposiciones por no poder ser evaluadas

como verdaderas ni falsas. Las exclamaciones,
órdenes, ni las preguntas son proposiciones
Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 4
ENUNCIADOS ABIERTOS
Son aquellos enunciados que constan de variables. Se convierte
en una proposición cuando se le asigna un valor específico a la
variable.
1) P(x): x es la capital de Argentina
Sí x: Cuzco, Paris…, la variable toma un valor
Para P (Cuzco): Cuzco es la capital de Argentina es falso
(F)
Para P (Buenos Aires) : Buenos Aires es la capital de
Argentina es verdadero (V)
2) P(x) : 𝑥 >7, es un enunciado abierto, porque no podemos
afirmar que es V o F. Solo cuando la variable 𝑥 toma un valor
numérico se hace V ó F
Así: 𝑃(1): 1 > 7 𝑒𝑠 𝐹
𝑃(11): 11 > 7 𝑒𝑠 𝑉
3) 𝐴 𝑥, 𝑦 ∶ 𝑥 2 + 𝑦 2 = 4 , es un enuciado abierto
Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 5
Conectivos lógicos
• Son símbolos que enlazan proposiciones atómicas ,
sin formar parte de ella. Tales símbolos también
toman el nombre de operadores.
• Los que usaremos en Matemática son:
La conjunción : ∧
La disyunción : ∨
La condicional : →
La bicondicional : ↔
La negación : ∼

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 6

Tablas de verdad

• Validez de una proposición. Es la verdad o falsedad de

la proposición. (o su valor de verdad).
• Esta validez se pueden representar en tablas.
• Luego, dadas dos o más proposiciones simples cuyos
valores de verdad son conocidas, el valor de verdad de
una proposición compuesta depende de la verdad de
cada uno de las proposiciones componentes y se
determina mediante tablas de verdad.
• Su formación es 𝟐𝒏 , donde 𝒏 es el número de
proposiciones

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 7

CLASE DE PROPOSICIONES
a) Proposiciones Simples o Atómicas
Son aquellas proposiciones que constan de un solo
enunciado proposicional.
Ejemplo:
1) p: 7 + 6 = 13 2) q: 7 es primo

b) Proposiciones Compuestas o moleculares

Son aquellas proposiciones que constan de dos o más
proposiciones simples.
Ejemplo:

1) 8 𝑒𝑠 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 3 y 3 𝑒𝑠 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 1

𝒑 𝒒

se denota por: 𝒑 ∧ 𝒒
Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 8
1. NEGACIÓN

Dada una proposición p, se denomina la negación de p a otra

proposición denotada por ~p (se lee "no p") que le asigna el
valor veritativo opuesto al de p.
Ejemplo:
P : Diego estudia matemática
~p : Diego no estudia matemática

Por lo que nos resulta sencillo construir su tabla de verdad:

p ~p
V F
F V
Se trata de una operación unitaria, pues a partir de una
proposición se obtiene otra, que es su negación.

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 9

LA CONJUNCIÓN:
Dadas dos proposiciones p y q, se denomina conjunción de estas
proposiciones a la proposición p  q (se lee "p y q")
Ejemplo.
Sea la declaración
i) 5 es un número impar y 6 es un número par
p  q
vemos que está compuesta de dos proposiciones a las que llamaremos p y q,
que son
p: 5 es un número impar
q: 6 es un número par
y por ser ambas verdaderas, la conjunción de ellas (que no es sino la
declaración i) es verdadera.
p q p  q
Tabla de verdad V V V
V F F
F V F
F F F
Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 10
3. DISYUNCIÓN
Dadas dos proposiciones p y q, la disyunción de las
proposiciones p y q es la proposición p  q , se lee ” p o q “
Ejemplo .
Tiro las cosas viejas o las que no me sirven
El sentido de la disyunción compuesta por p y q (p: tiro las cosas
viejas, q: tiro las cosas que no me sirven) es incluyente, pues si
tiro algo viejo, y que además no me sirve, la disyunción es V.
La disyunción o es utilizada en sentido excluyente, ya que la
verdad de la disyunción se da en el caso de que al menos una de
las proposiciones sea verdadera
Tabla de verdad p q p  q
V V V
V F V
F V V
F F F
Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 11
4. IMPLICACIÓN O CONDICIONAL
Implicación de las proposiciones p y q es la proposición
p → q (si p entonces q).
La proposición p se llama antecedente, y la proposición q se
llama consecuente de la implicación o condicional.

Ejemplo.
Supongamos la implicación:
Si apruebo, entonces te presto el libro
p → q
La implicación está compuesta de las proposiciones
p: apruebo
q: te presto el libro
Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 12
Nos interesa conocer la verdad o falsedad de la implicación, en
relación a la verdad o falsedad de las proposiciones p y q. El
enunciado puede pensarse como un compromiso, condicionado
por p, y podemos asociar su verdad al cumplimiento del
compromiso.
Es evidente que si p es F, es decir si no apruebo el examen, quedo
liberado del compromiso y preste o no el apunte la implicación es
verdadera.
Si p es verdadera, es decir si apruebo el examen, y no presto el
libro, el compromiso no se cumple y la proposición es falsa.
Si p y q son verdaderas, entonces la proposición es verdadera
pues el compromiso se cumple.
p q p → q
Tabla de verdad V V V
V F F
F V V
F F V
Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 13
Variantes condicionales

Dado el condicional p  q llamado directo, en

conexión con él se presentan:

•La proposición recíproca qp

•La proposición inversa p  q
•La proposición contrarecíproca q  p

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 14

5. DOBLE IMPLICACIÓN O BICONDICIONAL
Doble implicación de las proposiciones p y q, es la proposición p ↔ q (se lee "p si y sólo si
q")
Ejemplo 1:
p : Karina ingresa a la universidad
q : Karina estudia mucho
Entonces: p ↔ q : Karina ingresa a la universidad si y sólo si estudia mucho.
Ejemplo 2:
Sea a = b si y sólo si a² = b², el enunciado está compuesto por las proposiciones:
p: a = b
q: a² = b²
Esta doble implicación es falsa si p es F y q es V. En los demás casos es V.
Tabla de verdad p q p ↔ q
V V V
V F F
F V F
F F V
Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 15
La doble implicación puede definirse como la
conjunción de una implicación y su recíproca. De este
modo, la tabla de valores de verdad de p ↔ q puede
obtenerse mediante la tabla de
(p → q)  (q → p), como vemos:

p q p → q q→p (p → q)  (q → p)

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

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 16

Diferencia Simétrica
Diferencias simétrica o disyunción en sentido excluyente de las
proposiciones p y q es la proposición p  q (se lee "p o q en sentido
excluyente") cuya tabla de valores de verdad es:
La verdad de p ∆ q está caracterizada por la verdad de una y sólo una
de las proposiciones componentes.
p q p ∆ q

V V F
V F V
F V V
Ejemplo. F F F
Sea a) Ó vamos a Lima ó vamos a Ica
queda claro que sólo podremos ir a uno de los dos lugares, y sólo a
uno. Es decir que el enunciado es verdadero sólo si vamos a una de las
dos ciudades.
En caso de ir a ambas, o de no ir a ninguna, el enunciado es Falso.
Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 17
PROPOSICIONES LÓGICAMENTE EQUIVALENTES
Dos proposiciones p y q se llaman equivalentes si sus tablas de verdad son idénticas.
Notación: p  q

Ejemplo.
Sea p: p → q Sea q: ~p  q,
la tabla de verdad la tabla de verdad es
p q p → q p q ~p  q
V V V V V V
V F F V F F
F V V F V V
F F V F F V
Al realizar las tablas de valor veritativo encontramos que ambas
proposiciones tienen el mismo resultado final.
Con esto, decimos que ambas proposiciones son lógicamente
equivalentes,
simbolizamos:
(p → q)  (~p  q)
Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 18
TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA
Al conjunto de proposiciones, conectivos lógicos y símbolos de agrupación lo
denominamos fórmula lógica, esquema molecular, esquema proposicional.
Por ejemplo: ~{ (p → q)  (s  t) }

Tautología
Si al evaluar una fórmula lógica, resulta que todos los valores de verdad
resultantes son siempre V para cualquier combinación de sus valores veritativos,
decimos que dicha fórmula es una Tautología o Ley lógica.

Ejemplo.
Si analizamos la proposición
r: p  ~p p ~p p  ~p
realizando su tabla de verdad:
V F V
F V V
Luego es una tautología

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 19

Halle la tabla de verdad para el esquema
molecular :
•• Siempre
Siempre que
que salga
salga el
el sol
sol entonces iremos aa la
entonces iremos la playa,
playa,
sin embargo
sin sale el
embargo sale el sol.
sol. Por
Por tanto iremos aa la
tanto iremos la playa.
playa.

p q (pq  p)  q

V V V V V V V TAUTOLOGÍA
V F F F V V F (todos V)

F V V F F V V
F F V F F V F
Ejemplo. Analicemos ahora la fórmula lógica
{(p→q)p}→q

p q p→ q (p → p) p {(p→q)p}→q
V V V V V
V F F F V
F V V F V
F F V F V
En este caso comprobamos también que independientemente de la combinación de valores de verdad de las.
proposiciones p y q, el resultado de la fórmula lógica es siempre V. Decimos, aquí también, que esta fórmula es
una tautología o ley lógica

Contradicción
Si al estudiar una fórmula lógica, a diferencia de los ejemplos anteriores resulta que para cualquier valor de
verdad de las proposiciones intervinientes el resultado de dicha fórmula es siempre falso, decimos que dicha
fórmula es una Contradicción.
Ejemplo
La fórmula lógica p  ~p

p ~p p  ~p
V F F
F V F
Luego es una contradicción

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 21

Halle la tabla de verdad para el esquema
molecular :
•• La crisis mundial
La crisis mundial afecta
afecta aa los
los países
países dede bajos
bajos
recursos económicos
recursos económicos peropero los analistas
los analistas en economíaen
economía buscan asoluciones,
buscan soluciones, pesar de quea pesar de mundial
la crisis que la
crisis mundial
no afecta no afecta
a los países de bajosa recursos
los países
. de bajos
recursos .

p q [(pq)  ~q]

V V V F F

V F F F V CONTRADICCION
(Todos F)
F V F F F
F F F F V
CONTINGENCIA
Si una proposición no es una tautología ni una contradicción (es decir que contiene al menos un
valor V y otro F) es una contingencia.

p q p→q (p  ~ q) ~ (p  ~q) (p → q ) ↔ ~(p  ~q)

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

Como bien dijimos arriba, aquellas fórmulas lógicas que resultan ser siempre verdaderas no
importa la combinación de los valores veritativos de sus componentes, son tautologías o leyes
lógicas.
En el cálculo proposicional existen algunas tautologías especialmente útiles cuya demostración
se reduce a la confección de su correspondiente tabla de verdad, a saber:

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 23

Halle la tabla de verdad para el esquema
molecular :
• Si ingreso a la
Si ingreso la universidad,
universidad, entonces
entonces busco
busco un
empleo
empleo aa medio
medio tiempo o hago
hago un
un préstamo
préstamo al
banco.
banco.
p q r p  (q  r)

V V V V V V
V V F V V V
V F V V V V
CONTINGENCIA
(Algunos V algunos F)
V F F V F F
F V V F V V
F V F F V V
F F V F V V
F F F F V F
LEYES LÓGICAS

Involución
~(~p)  p
(se lee "no, no p, equivale a p")

Idempotencia
(p  ~p)  p
(p  ~p)  p

Conmutatividad
a) de la disyunción: pqqp
b) de la conjunción: pqqp

Asociatividad
a) de la disyunción: (p  q)  r  p  (q  r)
b) de la conjunción: (p  q)  r  p  (q  r)

Distributividad
a)de la conjunción respecto de la disyunción: (p  q)  r  (p  r)  (q  r)

b)de la disyunción respecto de la conjunción: (p  q)  r  (p  r)  (q  r)

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 25

Leyes de De Morgan
~( p  q ) ≡ ~p  ~q
" La negación de una disyunción equivale a la conjunción de las negaciones"

~( p  q ) ≡ ~p  ~q
"La negación de una conjunción equivale a la disyunción de las negaciones"

Negación de una Implicación

Si p → q ≡ ~p  q ≡ ~(p  ~q)

Las proposiciones son equivalentes, si al realizar sus tablas de valores correspondientes, son iguales.

p q p → q ≡ ~ p  q ≡ ~ ( P  ~ q )
V V V F V V V V F F V

V F F F F F F V V V F

F V V V V V V F F F V

F F V V V F V F V F
También con esto, comprobamos que la negación de la primera equivale a la negación de la segunda, es decir

~(p → q) ≡ ~{ ~(p  ~q) },

~(p → q )≡ ( p  ~q)

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 26

 Leyes lógicas (Venero)
1 a. pv p ≡ p 1 b. p∧ p ≡ p
2a pv q ≡ qvp 2b p∧ q ≡ q∧p
3 b. p ∧ (q∧r) ≡ (p∧q)∧r
3 a. p v (q v r) ≡ (p v q) v r
4 b. p ∧ (qvr) ≡ (p∧q)v(p∧r)
4 a. p v (q ∧ r) ≡ (p v q) ∧ (p v r)
5 b. p∧F ≡ p
5 a. pvF ≡ p 6 b. p∧V ≡ p
6 a. pvV ≡ V 7 b. p ∧ ~p ≡ F
7 a. p V ~p ≡ V 8 b. ~ V ≡ F, ~F≡ V
8 a. ~ ( ~ p) ≡ p 9 a. ~ (p v q) ≡ ~p ∧ ~q
9 b. ~ (p ∧ q) ≡ ~ p v ~ q

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 27

Lista adicional de proposiciones equivalentes
( Venero)
1 A. p → q ≡ (~ p) V q
2 A. p → q ≡ (~ q) → (~ p)
3 A. p V (p ∧ q) ≡ p
4 A. p ∧ (p V q) ≡ p
5 A. p ∧ (~p v q) ≡ p∧q
6 A p V ( ~p ∧ q) ≡ p V q
7 A. (p ↔ q) ≡ (p → q) ∧ (q → p)
8 A. (p ↔ q) ≡ (p ∧ q) V (~P V ~q)
9 A. p∆ 𝑞 ≡ (p ∧ ~q) V (q ∧ ~p)

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 28

Leyes lógicas (Figueroa)
• Ley de no contradicción
~(p ∧ ~ p)
• Ley de idempotencia
p∧p ≡ p
pv p≡p
• Leyes conmutativas
(p ∧ q) ≡ (q ∧ p)
(p v q) ≡ (q v p)
• Leyes Asociativa
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
p v (q v r) ≡ (p v q) v r
p ↔ (q ↔ r) ≡ (p ↔ q) ↔ r
Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 29
Continuación Leyes lógicas (Figueroa)
• Leyes Distributivas
p ∧ (q v r) ≡ (p ∧ q) v (p ∧ r)
p → (q ∧ r) ≡ (p → q) ∧ (p → r)
p → (q v r) ≡ (p → q) v (p → r)
• Leyes de Morgan
~ (p ∧ q) ≡ ~ p v ~ q
~ (p v q) ≡ ~p ∧ ~q

(p ↔ q) ≡ (q ↔ p)
• Leyes del condicional
p→q≡~pVq
~ (p → q) ≡ p ∧ ~q
• Las leyes del bicondicional
(p ↔ q) ≡ (p → q) ∧ (q → p)
(p ↔ q) ≡ (p ∧ q) V (~P V ~q)
Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 30
Continuación Leyes lógicas (Figueroa)
• Leyes de Absorción:
p ∧ (p V q) ≡ p
p V (p ∧ q) ≡ p
p ∧ (~p v q) ≡ p ∧ q
p V ( ~p ∧ q) ≡ p V q
• Leyes de trasposición
(p → q) ≡ ~q → ~p
(p ↔ q) ≡ ~q ↔ ~p

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 31

Inferencia lógica (Argumento lógico)
• Se llama Inferencia Lógica a toda condicional de la
forma
(𝑝1 ∧ 𝑝2 ∧ … ∧ 𝑝𝑛 ) → 𝑞
• Donde las proposiciones 𝒑𝟏 , 𝒑𝟐 , … , 𝒑𝒏 son
llamadas premisas, originan como consecuencia
otra proposición denotada q y llamada conclusión.
• Una Inferencia puede ser una tautología, una
contingencia o una contradicción
• Si el condicional es una Tautología (Implicación),
será una Inferencia válida. Caso contrario una
Falacia.
Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 32
Inferencia lógica (Argumento lógico)
• El método abreviado

• Consiste en analizar la única posibilidad de ser falsa de la implicación

p → q, es decir:
V→ F
F
• Es decir, la implicación es falsa F solo cuando el antecedente es
verdadero y el consecuente falso F.
Pasos:
• Asignar el valor de verdad V a cada una de las premisas y falso F a la
conclusión.
• Deducir el valor de verdad de cada una de las variables proporcionales.
• Si la variable tiene un solo valor la inferencia no es válida.
• Si una variable proporcional llega a tener dos valores a la vez
entonces la conclusión de premisas es V y la conclusión es F.
Luego la Inferencia es válida.

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 33

 Probar si el siguiente argumento es
válido: Se asigna valores que
• [ ~𝑝(𝑝 𝑣 𝑞) ]  𝑞 determinen una
𝑉 𝐹 falsedad

De los valores asignados: 𝑉 (𝑞) = 𝐹

[ ~𝑝  (𝑝⋁𝑞)] = 𝑉
𝑉 𝑉

De los valores asignados: 𝑉(~𝑝) = 𝑉 entonces 𝑉(𝑝) = 𝐹

( 𝑝 ∨ 𝑞) ≠ 𝑉
𝐹 𝐹 Llegamos a una contradicción
Por tanto el argumento es
VALIDO
Ejemplo: Probar si el siguiente argumento es válido
𝒑 → ( ∼ 𝒒)
𝒑 ∨ ( ∼ 𝒒)
____________________
∴∼q
Solución
{ [𝒑 → ∼ 𝒒 ] ∧ [𝒑 ∨ ( ∼ 𝒒)] } → ∼ 𝒒 , por equivalencia

{ [𝒑 → ∼ 𝒒 ] ∧ [𝒑 ∨ ( ∼ 𝒒)] }→ (~𝒒) , usando el Met Abreviado

𝑽 𝑭

{ [𝒑 → ∼ 𝒒 ] ∧ [𝒑 ∨ ( ∼ 𝒒)] } → (∼ 𝒒), como es ∧

𝑽 𝑽 𝑭

1. V(∼ q) = F, entonces V(q) = V,

2. V [𝑝 → ∼ 𝑞 ] = V, entonces V [𝑝 → 𝑭 ] = V, entonces V(p) = F, (1)
3. V [𝑝 ∨ ( ∼ 𝑞)] = V, entonces V [𝑝 ∨ ( 𝑭)] = V, entonces V(p) = V,

Como p tiene dos valores V y F a la vez, la Inferencia es VÁLIDA

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 35
Ejercicio:

• Analizar la siguiente Inferencia

• 𝑝 → q ∧ 𝑟 → ~s ∧ ~𝑞 ∨ ~s → ~𝑝 ∨ ~r
V V V F

V F F

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 36

Circuitos Lógicos

Se puede representar por medio de una proposición p, de tal

manera que el valor de verdad de p se identifique con el
paso de la corriente, si el valor de verdad de p es verdadero
es porque pasa corriente luego el circuito está cerrado caso
contrario el circuito esta abierto.

p p

Circuito cerrado Circuito abierto

Pasa corriente V no pasa corriente F

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 37

 Diseño de Circuitos eléctricos en serie

Sean dos interruptores p y q conectados en serie.

p q

Este circuito admite paso de corriente cuando los dos

interruptores están cerrados, caso contrario no hay paso de
corriente. Esta situación corresponde a la tabla de verdad dela
conjunción p y q (p ∧ q).

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 38

Diseño de Circuitos eléctricos en paralelo

• Sean dos interruptores p y q instalados en paralelo

p

• Para que pase corriente es suficiente que alguno de los

interruptores o ambos p o q esté cerrado y no hay paso de
corriente si ambos están abiertos. Corresponde a la tabla de
verdad de la disyunción p v q.

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 39

MUCHAS GRACIAS

Lic. Dra. Elizabeth Igarza C. Matemática 2020-I UNSM 40