March 18, 2021 1 / 26

Tema Nº1: Lógica Proposicional

Segunda Parte

Prof. Vı́ctor Aros Q. Lógica Proposicional March 18, 2021 2 / 26

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 18, 2021 3 / 26

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 18, 2021 4 / 26

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 18, 2021 4 / 26

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 18, 2021 4 / 26

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 18, 2021 5 / 26

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:
. Contrarrecı́proca:
. Contraria:

Prof. Vı́ctor Aros Q. Lógica Proposicional March 18, 2021 6 / 26

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 18, 2021 7 / 26

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: donde U es el conjunto

al cual pertenecen la o las variables.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 18, 2021 8 / 26

Función Proposicional y Cuantificadores

Cuantificador Universal:
Si consideramos una función proposicional p(x), para indicar que
esta es verdadera para todo elemento de un conjunto A se utiliza
el cuantificador universal, el cual se lee “para todo”, “para cada”
o “cualquiera sea”, y se simboliza por ∀. Se denota por:

Prof. Vı́ctor Aros Q. Lógica Proposicional March 18, 2021 9 / 26

Función Proposicional y Cuantificadores
Cuantificador Existencial:
Si consideramos una función proposicional p(x), para indicar que
esta es verdadera para algún o algunos elementos de un conjunto
A se utiliza el cuantificador universal, el cual se lee “existe un”,
“existe al menos un” o “existe algún”, y se simboliza por ∃. Se
denota por:

Prof. Vı́ctor Aros Q. Lógica Proposicional March 18, 2021 10 / 26

Función Proposicional y Cuantificadores

Cuantificador de Existencia y Unicidad:

Si consideramos una función proposicional p(x), para indicar que
esta es verdadera para un único elemenento de un conjunto A se
utiliza el cuantificador de existencia y unicidad, el cual se lee “existe
un único” y se simboliza por ∃!. Se denota por:

Prof. Vı́ctor Aros Q. Lógica Proposicional March 18, 2021 11 / 26

Negación de Cuantificadores

Recordemos que la caracterı́stica fundamental de la negación de

una proposición es que posee el valor de verdad contrario al de
la proposición dada. Es por esta razón que estudiaremos las
negaciones de los cuantificadores, para poder analizar el valor de
verdad de las proposiciones que los contengan.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 18, 2021 12 / 26

Negación de Cuantificadores

. Negación de una proposición con cuantificador universal

. Negación de una proposición con cuantificador existencial

. Negación de una proposición con cuantificador de existencia

unicidad

Prof. Vı́ctor Aros Q. Lógica Proposicional March 18, 2021 13 / 26

Ejercicios

Determine el valor de valor de verdad y la negación de cada una de

las siguientes proposiciones
1
. p : ∀x ∈ R : x < 3 → x2 <
9
. q : ∃!a ∈ {1, 2, 3} : a − 2 = 2 ∨ a + 2 > 3
. r : ∀u ∈ {1, 2}, ∀v ∈ {0, 1, 2} : u ≥ 0 ∧ u + v ≥ u
. s : ∀m ∈ R, ∃n ∈ R : (m − 1)(n + 2) 6= 0
. t : ∀x ∈ N, ∃!y ∈ N : x + y = 2

Prof. Vı́ctor Aros Q. Lógica Proposicional March 18, 2021 14 / 26

Teoremas y Demostraciones
Un teorema es cualquier proposición que se desprende de otra
proposición o proposiciones dadas por supuestas o previamente
demostradas. Ası́, un teorema es una proposición cuya veracidad
requiere ser demostrada a partir de otras.
La estructura de un teorema puede ser la siguiente:
. Implicancia Lógica: H ⇒ T
. Equivalencia Lógica: H ⇔ T (H ⇒ T ∧ T ⇒ H )
Donde H se denomina hipótesis, la cual está compuesta por una o
varias proposiciones supuestamente verdaderas. Por otro lado, T
es la tesis la cual es una proposición que resulta necesariamente
verdadera al momento de probarla a través de las condiciones
entregadas en la hipótesis.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 18, 2021 15 / 26

Teoremas y Demostraciones

Para demostrar un teorema en forma de implicancia lógica se puede

utilizar alguna de las siguientes técnicas:
. Demostración directa:

. Demostración indirecta:

. Demostración por reducción al absurdo:

Prof. Vı́ctor Aros Q. Lógica Proposicional March 18, 2021 16 / 26

Ejercicios

Utilice alguna de las técnicas de demostración presentadas para

demostrar los siguientes teoremas:
1. Sea a un número natural. Si a2 es impar, entonces a también
lo es.
2. Sean a y b dos números enteros. Si a y b son números pares,
entonces la suma de estos también es par.
3. Si x es un número racional e y un número irracional, entonces
x + y es un número irracional.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 18, 2021 17 / 26