Proposiciones

Condicionales y
Equivalencias
lógicas

Eddison Andrés
Gil Pinilla
Proposiciones Condicionales y Equivalencias lógicas Proposiciones
Condicionales

Equivalencias
Lógicas
Eddison Andrés Gil Pinilla Leyes Lógicas

22 de agosto de 2020
 Proposiciones
Proposiciones Condicionales Condicionales y
Equivalencias
lógicas

Eddison Andrés
Proposición Condicional Gil Pinilla

Proposiciones
Si p y q son proposiciones, la proposición Condicionales

Equivalencias
si p entonces q Lógicas
Leyes Lógicas

se llama proposición condicional y se denota por

p→q

La proposición p se llama hipótesis (o antecedente) y la proposición q recibe

el nombre de conclusión (o consecuente).

Algunos autores llaman p → q como una implicación.

 Proposiciones
Proposiciones Condicionales Condicionales y
Equivalencias
lógicas

Ejemplo 1 Eddison Andrés

Gil Pinilla

Considere las siguiente afirmaciones: Proposiciones

Condicionales

"Si yo me levanto a las 5 a.m, yo saldré a caminar". Equivalencias

Lógicas
Leyes Lógicas

"Yo compraré un computador, si hoy me pagan $30000 pesos".

"Si x + 2 > 2, entonces x > 0."

Todos son ejemplos condicionales, ya que se puede evidenciar una acción

que condiciona una conclusión.

Se debe tener en cuenta que la proposición que condiciona es aquella que se le

llama hipótesis, y la proposición condicionada será la tesis.
 Proposiciones
Proposiciones Condicionales Condicionales y
Equivalencias
El valor verdadero de la proposición condicional p → q está definido por la lógicas

siguiente tabla de verdad: Eddison Andrés

Gil Pinilla

Proposiciones
Condicionales

Equivalencias
Lógicas
Leyes Lógicas

En las expresiones que incluyen a los operadores lógicos ∧, ∨, ¬ y →, el operador

condicional → evalúa al final. Por ejemplo

p ∨ q → ¬r

se interpreta
(p ∨ q) → (¬r )
 Proposiciones
Proposiciones Condicionales Condicionales y
Equivalencias
lógicas

Eddison Andrés
Gil Pinilla

Ejemplo 2 Proposiciones
Condicionales

Equivalencias
Suponiendo que p es verdadera, q es falsa y r es verdadera, encuentre el Lógicas
valor de verdad de cada proposición. Leyes Lógicas

a) p ∧ q → r
b) p ∨ q → ¬r
c) p ∧ (q → r )
d) p → (q → r )
 Proposiciones
Proposiciones Condicionales Condicionales y
Equivalencias
lógicas

Eddison Andrés
Gil Pinilla

Proposiciones
Condicionales
Proposición bicondicional
Equivalencias
Lógicas
Si p y q son proposiciones, la proposición Leyes Lógicas

p si y sólo si q

se llama proposición bicondicional y se denota por p ↔ q

 Proposiciones
Proposiciones Condicionales Condicionales y
Equivalencias
lógicas

Eddison Andrés
El valor de verdad de la proposición p ↔ q se define por la siguiente tabla de Gil Pinilla

verdad: Proposiciones
Condicionales

Equivalencias
Lógicas
Leyes Lógicas

Una manera alternativa de establecer “p si y sólo si q” es “p es una condición

necesaria y suficiente para q”. La proposición “p si y sólo si q” algunas veces se
escribe p ssi q.
 Proposiciones
Proposiciones Condicionales Condicionales y
Equivalencias
lógicas

Eddison Andrés
Gil Pinilla
Ejemplo 3
Proposiciones
Condicionales
La proposición Equivalencias
1 < 5 si y sólo si2 < 8 Lógicas
Leyes Lógicas

se escribe en símbolos como

p↔q
si se define
p : 1 < 5, q:2<8
Puesto que ambas, p y q, son verdaderas, la proposición p ↔ q es verdadera.
 Proposiciones
Equivalencias Lógicas Condicionales y
Equivalencias
lógicas

Eddison Andrés
En algunos casos, dos proposiciones diferentes tienen los mismos valores de Gil Pinilla

verdad sin importar qué valores de verdad tengan las proposiciones que las Proposiciones
constituyen. Tales proposiciones se conocen como equivalentes lógicos. Condicionales

Equivalencias
Equivalencia Lógica Lógicas
Leyes Lógicas

Suponga que las proposiciones P y Q están formadas por las proposiciones

p1 , ..., pn . Se dice que P y Q son equivalentes lógicos y se escriben

P≡Q

siempre que, a partir de cualesquiera valores de verdad de p1 , ..., pn , o bien

P y Q son ambas verdaderas o P y Q son ambas falsas.
 Proposiciones
Equivalencias Lógicas Condicionales y
Equivalencias
lógicas
Ejemplo 4
Eddison Andrés
Gil Pinilla
Como resultado de este concepto, vemos que podemos expresar el resultado
Proposiciones
(p ↔ q) ≡ (p → q) ∧ (q → p). Condicionales

Equivalencias
Lógicas
Leyes Lógicas

Ejemplo 5

Determinar la equivalencia lógica para la implicación en términos de disyun-

ción p → q ≡ ¬p ∨ q.
 Proposiciones
Equivalencias Lógicas Condicionales y
Equivalencias
lógicas

Eddison Andrés
Ejemplo 6 Gil Pinilla

La siguiente tabla revela que las proposiciones compuestas (p ∧ q) → r y Proposiciones

Condicionales
p → (q → r ) son lógicamentes equivalentes. Equivalencias
Lógicas
Leyes Lógicas
 Proposiciones
Equivalencias Lógicas Condicionales y
Equivalencias
lógicas
Una aplicación inmediata de estas equivalencias lógicas son los algoritmos
Eddison Andrés
Gil Pinilla

Proposiciones
Condicionales

Equivalencias
Lógicas
Leyes Lógicas

en donde se puede concluir que el segundo algoritmo es más eficiente que el

primero, ya que realiza un filtro directo y no una comparación.
 Proposiciones
Leyes Lógicas Condicionales y
Equivalencias
lógicas

Con los conceptos de equivalencia lógica, tautología y falacia, enunciaremos la Eddison Andrés
Gil Pinilla
siguiente lista de propiedades de álgebra de proposiciones.
Proposiciones
Condicionales

Equivalencias
Lógicas
Leyes Lógicas
 Proposiciones
Leyes Lógicas Condicionales y
Equivalencias
lógicas

Eddison Andrés
Gil Pinilla

Proposiciones
Condicionales

Equivalencias
Lógicas
Leyes Lógicas

La utilidad de este trabajo de las leyes lógicas es que sirven como una librería de
álgebra, donde ya no se necesita más tablas de verdad, sino aplicar estos
resultados.
 Proposiciones
Leyes Lógicas Condicionales y
Equivalencias
lógicas

Eddison Andrés
Gil Pinilla

Ejemplo 7 Proposiciones
Condicionales

Equivalencias
Demuestre que en el pseudocódigo, las expresiones Lógicas
Leyes Lógicas

x < 10 or x > 20

y
!(x >= 10 and x <= 20)
son equivalentes.
 Proposiciones
Leyes Lógicas Condicionales y
Equivalencias
Ejemplo 8 lógicas

Eddison Andrés
Gil Pinilla
Si p, q y r son proposiciones primitivas, los resultados de las columnas 5 y
7 nos muestra que Proposiciones
Condicionales
(r ∧ s) → q ⇐⇒ ¬(r ∧ s) ∨ q
Equivalencias
Lógicas
Leyes Lógicas

Pero existe una manera más óptima de verificar este resultado y es con las
leyes lógicas.
 Proposiciones
Leyes Lógicas Condicionales y
Equivalencias
lógicas
Ejemplo 9
Eddison Andrés
Gil Pinilla
Para las proposiciones primitivas p, q, ¿existe una forma más sencilla de
Proposiciones
expresar la proposición compuesta (p ∨ q) ∧ ¬(¬p ∧ q)?. Condicionales

Equivalencias
Lógicas
Aplicando las leyes tenemos Leyes Lógicas

(p ∨ q) ∧ ¬(¬p ∧ q) Razones
⇐⇒ (p ∨ q) ∧ (¬¬p ∨ ¬q) Ley de Morgan
⇐⇒ (p ∨ q) ∧ (p ∨ ¬q) Ley de la doble negación
⇐⇒ (p ∨ (q ∧ ¬q)) Ley distributiva
⇐⇒ (p ∨ F0 Ley de la inversa
⇐⇒ p

En consecuencia tenemos que (p ∨ q) ∧ ¬(¬p ∧ q) ≡ p

 Proposiciones
Leyes Lógicas Condicionales y
Equivalencias
Ejemplo 10 lógicas

Eddison Andrés
Gil Pinilla
Consideremos la proposición compuesta
Proposiciones
¬[¬[(p ∨ q) ∧ r ] ∨ ¬q] Condicionales

Equivalencias
Lógicas
donde p, q, r son proposiciones primitivas. Encuentre una equivalencia lógica Leyes Lógicas

reducida.

Ejemplo 11

Justifica que las proposiciones ¬(p ∨ (¬p ∧ q)) y ¬p ∧ ¬q) son lógicamente
equivalentes.

Ejemplo 13

Muestre que p ∧ q) → (p ∨ q) es una tautología.

 Proposiciones
Bibliografía Condicionales y
Equivalencias
lógicas

Eddison Andrés
Gil Pinilla

Proposiciones
Condicionales

Richard Johnsonbaugh. Equivalencias

Lógicas
Matemáticas discretas. Leyes Lógicas

Pearson Educación, 6 edition, 2005.

Grimaldi Ralph.
Matemáticas Discreta y Combinatoria.
Editorial Addison Wesley Iberoamericana. USA, 3 edition, 1998.