March 21, 2021 1 / 38
Tema Nº1: Lógica Proposicional
Primera Parte
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 2 / 38
Motivación
Consideremos el siguiente argumento:
1. Mañana es martes o mañana es miércoles
2. Mañana no es miércoles
3. Por lo tanto, mañana es martes
¿De qué depende que el argumento sea válido?
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 3 / 38
Motivación
Consideremos verdaderas las siguientes afirmaciones:
1. Alex y Elizabeth ven siempre TV juntos.
2. Alex no está viendo la TV.
3. Elizabeth está viendo TV o la tı́a Carolina está en la cocina.
4. La tı́a Carolina está en la cocina o en su dormitorio.
¿La tı́a Carolina está o no en su dormitorio?
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 4 / 38
Lógica
Definición: La lógica es la rama del conocimiento que trata los
métodos de razonamiento mediante reglas y técnicas, con el fin de
determinar si un argumento es válido.
Cuando se plantea cualquier idea o teorı́a, cientı́fica o no, se hacen
afirmaciones en forma de frases y que tienen un sentido. Tales
afirmaciones, verbales o escritas, las denominaremos enunciados o
proposiciones.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 5 / 38
Lógica
Definición: Una proposición es un enunciado u oración declarativa
de la cual se puede afirmar que es verdadera o falsa, pero no ambas
cosas a la vez.
Definición: La veracidad o falsedad de una proposición es lo que se
llama su valor de verdad.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 6 / 38
Ejemplos:
1. Hoy es lunes.
2. 3 + 5 = 8.
3. ¿Me puedes prestar un lápiz?
4. 1 es un número natural, pero −2 no lo es. .
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 7 / 38
Ejemplos:
1. Hoy es lunes.
2. 3 + 5 = 8.
3. ¿Me puedes prestar un lápiz?
4. 1 es un número natural, pero −2 no lo es. .
5. a2 + b2 6= (a − b)2
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 7 / 38
Ejemplos:
1. Hoy es lunes.
2. 3 + 5 = 8.
3. ¿Me puedes prestar un lápiz?
4. 1 es un número natural, pero −2 no lo es. .
5. a2 + b2 6= (a − b)2
6. 2x + 1 = x, con x ∈ R
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 7 / 38
Observación:
Las proposiciones se denotan con las letras minúsculas, p, q, r, t,
...
Ejemplos:
. p : 6 es un número primo.
. q : Si x es un número par, entonces 2x también lo es.
. r : A las 19:00 hrs iré al cine y a jugar LoL.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 8 / 38
Tipos de Proposiciones
Proposición Simple: son aquellas que no se pueden descomponer
en otras proposiciones mas sencillas.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 9 / 38
Tipos de Proposiciones
Proposición Compuesta: es la combinación de proposiciones
simples, las cuales se unen para formar una proposición.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 10 / 38
Conectivos Lógicos
Observación:
Cuando las proposiciones simples se unen para formar una
compuesta lo hacen a través de conectivos lógicos
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 11 / 38
Negación
La negación de una proposición es una nueva proposición que tiene
valor de verdad opuesto, es decir, si p es verdadera, la negación de
p es falsa. Se denota con ∼ p o ¬p y se lee “no p”. Ejemplos:
. p : Todas las rosas son rojas. La negación de esta proposición
es:
∼ p: No es verdad que todas las rosas sean rojas.
o simplemente:
∼ p: No todas las rosas son rojas.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 12 / 38
Conjunción
La conjunción es la proposición compuesta que resulta de conectar
dos proposiciones p y q mediante la conjunción (∧). Se denota con
p ∧ q y se lee “p y q”.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 13 / 38
Conjunción
La conjunción es la proposición compuesta que resulta de conectar
dos proposiciones p y q mediante la conjunción (∧). Se denota con
p ∧ q y se lee “p y q”.
Ejemplo: Consideremos las siguientes proposiciones:
p : Mañana es viernes
t : Hoy es jueves
La conjunción entre ambas proposiciones es:
p ∧ t : Mañana es viernes y hoy es jueves
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 13 / 38
Disyunción Inclusiva
La disyunción inclusiva es la proposición compuesta que resulta
de conectar dos proposiciones p y q mediante la disyunción inclusiva
(∨). Se denota con p ∨ q y se lee “p o q”.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 14 / 38
Disyunción Exclusiva
La disyunción exclusiva es la proposición compuesta que resulta
de conectar dos proposiciones p y q mediante la disyunción exclusiva
(Y). Se denota con p Y q y se lee “o p o q”, o “p o bien q”.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 15 / 38
Disyunción Exclusiva
La disyunción exclusiva es la proposición compuesta que resulta
de conectar dos proposiciones p y q mediante la disyunción exclusiva
(Y). Se denota con p Y q y se lee “o p o q”, o “p o bien q”.
Ejemplo: Consideremos las siguientes proposiciones:
t : Carlos va al cine
s : Luisa va a la fiesta en la playa
La disyunción exclusiva entre ambas proposiciones es:
t Y s: O Carlos va al cine o Luisa va a la fiesta en la playa
o también:
t Y s: Carlos va al cine, o bien Luisa va a la fiesta en la playa
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 15 / 38
Condicional
La condicional es la proposición compuesta que resulta de
conectar dos proposiciones p y q mediante (→). Se denota por
p → q y se lee “si p, entonces q”
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 16 / 38
Condicional
Observación: En la condicional p → q, a p se le denomina
antecedente y a q consecuente. Además, existen otras formas de
leer esta condicional, por ejemplo:
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 17 / 38
Bicondicional
La bicondicional es la proposición compuesta que resulta de
conectar dos proposiciones p y q mediante la bicondicional (↔).
Se denota por p ↔ q y se lee “p si y sólo si q”
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 18 / 38
Bicondicional
La bicondicional es la proposición compuesta que resulta de
conectar dos proposiciones p y q mediante la bicondicional (↔).
Se denota por p ↔ q y se lee “p si y sólo si q”
Ejemplo: Consideremos las siguientes proposiciones:
q : El triángulo es equilátero
r : El triángulo es equiángulo
La bicondicional entre ambas proposiciones es:
q ↔ r: El triángulo es equilátero si y sólo si es equiángulo
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 18 / 38
Ejercicios
Determine el valor de verdad de cada una de las siguientes
proposiciones:
p : 5 + 4 = 9 o 6 − 7 = −4
q : No es verdad que 2 + 2 6= 4 y 3 + 3 = 6
t : Si 2 + 2 = 4, entonces no es verdad que 2 + 1 = 5 y 5 + 5 = 10
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 19 / 38
Tablas de Verdad
Definición: Se denomina tabla de verdad al arreglo que
nos permite tener todos los posibles valores de verdad de una
proposición compuesta a partir de los valores de verdad de las
proposiciones componentes.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 20 / 38
Tabla de Verdad de la Negación
La caracterı́stica fundamental de la negación es que es una
proposición cuyo valor de verdad es contrario al valor de verdad
de la proposición dada.
Sea p una proposición simple arbitraria, la tabla de verdad de la
negación está dada por:
p ∼p
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 21 / 38
Tabla de Verdad de la Conjunción
La caracterı́stica fundamental de la conjunción es que su valor de
verdad es verdadero sólo en el caso en que las proposiciones simples
que la forman tengan valor de verdad verdadero.
Sean p y q dos proposiciones simples arbitrarias, la tabla de verdad
de la conjunción está dada por:
p q p∧q
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 22 / 38
Tabla de Verdad de la Disyunción Inclusiva
La caracterı́stica fundamental de la disyunción inclusiva es que su
valor de verdad es falso sólo en el caso en que las dos proposiciones
simples que la forman tengan valor de verdad falso.
Sean p y q dos proposiciones simples arbitrarias, la tabla de verdad
de la disyunción inclusiva está dada por:
p q p∨q
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 23 / 38
Tabla de Verdad de la Disyunción Exclusiva
La caracterı́stica fundamental de la disyunción exclusiva es que su
valor de verdad es verdadero sólo cuando las proposiciones que la
componen tienen valores de verdad contrarios.
Sean p y q dos proposiciones simples arbitrarias, la tabla de verdad
de la disyunción exclusiva está dada por:
p q pYq
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 24 / 38
Tabla de Verdad de la Condicional
La caracterı́stica fundamental de la condicional es que su valor de
verdad es falso sólo cuando el consecuente es falso y el antecedente
es verdadero.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 25 / 38
Tabla de Verdad de la Condicional
La caracterı́stica fundamental de la condicional es que su valor de
verdad es falso sólo cuando el consecuente es falso y el antecedente
es verdadero.
Sean p y q dos proposiciones simples arbitrarias, la tabla de verdad
de la condicional está dada por:
p q p→q
V V V
V F F
F V V
F F V
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 25 / 38
Tabla de Verdad de la Bicondicional
La caracterı́stica fundamental de la bicondicional es que su valor de
verdad es verdadero sólo en los casos en que ambas proposiciones
simples tienen iguales valores de verdad.
Sean p y q dos proposiciones simples arbitrarias, la tabla de verdad
de la bicondicional está dada por:
p q p↔q
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 26 / 38
Ejemplo:
1. Determine la tabla de verdad de la proposición (p ∧ q) ∧ r.
Luego, contesta las siguientes preguntas:
a. ¿En qué caso la proposición es verdadera?
b. ¿Qué sucede con el valor de verdad de la proposición
compuesta cuando cada una de las proposiciones simples
tienen diferentes valores de verdad?
2. Considere verdaderas cada una de las siguientes afirmaciones:
a. Pedro va al cine, o bien Lucia va al parque.
b. Pedro no va a ir al cine.
c. Lucia va al cine y Andrés está cursando Álgebra y
Trigonometrı́a.
d. Si Andrés no está cursando Álgebra y Trigonometrı́a, entonces
está en primer año.
¿Andrés está en primer año?
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 27 / 38
Ejercicios
1. Construya la tabla de verdad de cada una de las proposiciones
dadas.
a. ∼ (p ∧ q)
b. ∼ p ∨ ∼ q
c. (p → q) → [(p ∨ ∼ q) → (p ∧ q)]
2. Considere la siguiente proposición:
[(∼ p ∧ q) ∨ (p ∨ r)] → [(p ∨ ∼ q) ∨ (p ∨ ∼ r)]
Indique cuál es el valor de verdad de esta proposición para
cada uno de los casos dados:
a. p es falso, q es falso y r es falso.
b. p es falso, q es falso y r es verdadero.
c. p es verdadero, q es verdadero y r es falso.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 28 / 38
Implicancias y Equivalencias Lógicas
Definición: Una tautologı́a es una proposición cuyo valor de
verdad es verdadero, independientemente de los valores de verdad
de las proposiciones que la componen.
Ejemplo: Considere la proposición compuesta (p ∧ q) ↔ (q ∧ p)
p q p∧q q∧p (p ∧ q) ↔ (q ∧ p)
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 29 / 38
Implicancias y Equivalencias Lógicas
Definición: Una contradicción es una proposición cuyo valor de
verdad es falso, independientemente de los valores de verdad de las
proposiciones que la forman.
Ejemplo: Considere la proposición compuesta (p∧q)∧(∼ p∧ ∼ q)
p q p∧q ∼p∧∼q (p ∧ q) ∧ (∼ p ∧ ∼ q)
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 30 / 38
Implicancias y Equivalencias Lógicas
Definición: Una contingencia es una proposición que toma valores
de verdad verdaderos en unos casos y falsos en otros, según los
valores de verdad de las proposiciones que la forman.
Ejemplo: Considere la proposición compuesta ∼ p ∨ q
p q ∼p ∼p∨q
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 31 / 38
Implicancias y Equivalencias Lógicas
Sean p y q dos proposiciones cualesquiera,
I Diremos que p implica lógicamente q si la condicional p → q
es una tautologı́a y escribiremos p ⇒ q.
I Diremos que p y q son lógicamente equivalentes si la
bicondicional p ↔ q es una tautologı́a y escribiremos p ⇔ q.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 32 / 38
Propiedades
1. Doble negación: ∼ (∼ p) ⇔ p
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 33 / 38
Propiedades
1. Doble negación: ∼ (∼ p) ⇔ p
2. Conmutatividad de la conjunción: p ∧ q ⇔ q ∧ p
3. Conmutatividad de la disyunción: p ∨ q ⇔ q ∨ p
4. Asociatividad de la conjunción: (p ∧ q) ∧ t ⇔ p ∧ (q ∧ t)
5. Asociatividad de la disyunción: (p ∨ q) ∨ t ⇔ p ∨ (q ∨ t)
6. Asociatividad del bicondicional: (p ↔ q) ↔ t ⇔ p ↔ (q ↔ t)
7. Distributividad de la conjunción con respecto a la disyunción:
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
8. Distributividad de la disyunción con respecto a la conjunción:
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 33 / 38
Propiedades
9.1. ∼ (p ∧ q) ⇔ ∼ p ∨ ∼ q
9. Leyes de De Morgan:
9.2. ∼ (p ∨ q) ⇔ ∼ p ∧ ∼ q
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 34 / 38
Propiedades
9.1. ∼ (p ∧ q) ⇔ ∼ p ∨ ∼ q
9. Leyes de De Morgan:
9.2. ∼ (p ∨ q) ⇔ ∼ p ∧ ∼ q
10.1. p ∨ p ⇔ p
10. Idempotencia:
10.2. p ∧ p ⇔ p
11. p → q ⇔ ∼ p ∨ q
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 34 / 38
Propiedades
9.1. ∼ (p ∧ q) ⇔ ∼ p ∨ ∼ q
9. Leyes de De Morgan:
9.2. ∼ (p ∨ q) ⇔ ∼ p ∧ ∼ q
10.1. p ∨ p ⇔ p
10. Idempotencia:
10.2. p ∧ p ⇔ p
11. p → q ⇔ ∼ p ∨ q
12. p ↔ q ⇔ (p → q) ∧ (q → p)
13. p → q ⇔ ∼ q → ∼ p
14. p ⇒ p ∨ q
15. q ⇒ p ∨ q
16. p ∧ q ⇒ p
17. p ∧ q ⇒ q
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 34 / 38
Ejercicios
Demuestre utilizando las propiedades las siguientes equivalencias
lógicas
a. ∼ (p → q) ⇔ p ∧ ∼ q
b. ∼ (p ↔ q) ⇔ (p ∧ ∼ q) ∨ (q ∧ ∼ p)
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 35 / 38
Observación:
Si consideramos dos proposiciones p y q cualesquiera y hacemos
la condicional p → q podemos escribir tres condicionales más, las
cuales se denominan como sigue:
. Recı́proca: q → p
. Contrarrecı́proca: ∼ q → ∼ p
. Contraria: ∼ p → ∼ q
Podemos notar que la condicional original es lógicamente
equivalente a condicional contrarrecı́proca. Además, ocurre lo
mismo con las condicionales recı́proca y contraria.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 36 / 38
Función Proposicional y Cuantificadores
Definición: Una función proposicional es una expresión descrita
en función de algún o algunas variables que satisfacen lo siguiente:
cada vez que se reemplazan valores de las variables en la función
esta se transforma en una proposición.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 37 / 38
Función Proposicional y Cuantificadores
Definición: El conjunto de validez de una función proposicional
al conjunto de todos los valores de las variables para los cuales la
función es verdadera. Este se denota por:
Vp = {x, y, ... ∈ U : p(x, y, ..)}
donde U es el conjunto al cual pertenecen la o las variables.
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 38 / 38
