1 Lógica

Cálculo proposicional
Variables lógicas y tablas de verdad
Equivalencia lógica. Leyes de la lógica

Mat. Discreta (Informática) Matemática Discreta Prof: José Antonio Abia Vian 1 / 14
 Cálculo proposicional

Cálculo proposicional
Definición 1.1.
Una proposición es una frase o sentencia declarativa que es verdadera o
falsa pero no ambas cosas a la vez.
Los valores que puede tomar son verdadero o falso y que simbolizaremos
respectivamente por 1 y 0

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 2 / 14

 Cálculo proposicional

Cálculo proposicional
Definición 1.1.
Una proposición es una frase o sentencia declarativa que es verdadera o
falsa pero no ambas cosas a la vez.
Los valores que puede tomar son verdadero o falso y que simbolizaremos
respectivamente por 1 y 0

Ejemplo.
Las siguientes frases son proposiciones: ¿Verdaderas?
1 La Tierra es plana
2 2+2=4
3 3+2=7
4 3 + 2 = 7 ó 2 + 2 = 4
5 Si la Tierra es plana entonces 3 + 2 = 7
6 Toda matriz real n×n tiene inversa
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 2 / 14
 Cálculo proposicional

Cálculo proposicional
Definición 1.1.
Una proposición es una frase o sentencia declarativa que es verdadera o
falsa pero no ambas cosas a la vez.
Los valores que puede tomar son verdadero o falso y que simbolizaremos
respectivamente por 1 y 0

Ejemplo.
Las siguientes frases son proposiciones: ¿Verdaderas?
1 La Tierra es plana
2 2+2=4
3 3+2=7
4 3 + 2 = 7 ó 2 + 2 = 4
5 Si la Tierra es plana entonces 3 + 2 = 7
6 Toda matriz real n×n tiene inversa
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 2 / 14
 Cálculo proposicional

Cálculo proposicional
Definición 1.1.
Una proposición es una frase o sentencia declarativa que es verdadera o
falsa pero no ambas cosas a la vez.
Los valores que puede tomar son verdadero o falso y que simbolizaremos
respectivamente por 1 y 0

Ejemplo.
Las siguientes frases son proposiciones: ¡Falsas!
1 La Tierra es plana
2 2+2=4
3 3+2=7
4 3 + 2 = 7 ó 2 + 2 = 4
5 Si la Tierra es plana entonces 3 + 2 = 7
6 Toda matriz real n×n tiene inversa
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 2 / 14
 Cálculo proposicional

Cálculo proposicional
Definición 1.1.
Una proposición es una frase o sentencia declarativa que es verdadera o
falsa pero no ambas cosas a la vez.
Los valores que puede tomar son verdadero o falso y que simbolizaremos
respectivamente por 1 y 0

Ejemplo.
Las siguientes no son proposiciones:
7 ¿Por qué no has venido?
8 ¡Qué divertidas son las matemáticas!

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 2 / 14

 Cálculo proposicional

Cálculo proposicional
Definición 1.1.
Una proposición es una frase o sentencia declarativa que es verdadera o
falsa pero no ambas cosas a la vez.
Los valores que puede tomar son verdadero o falso y que simbolizaremos
respectivamente por 1 y 0

Ejemplo.
Las siguientes no son proposiciones:
7 ¿Por qué no has venido?
8 ¡Qué divertidas son las matemáticas!
mientras que las siguientes podrı́an serlo
9 El examen de Junio es más fácil que el de Septiembre
10 Se paga demasiado a los ministros
11 Si A · B = 0 entonces A = 0 ó B = 0
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 2 / 14
 Cálculo proposicional

Definición 1.2.
Las proposiciones se combinan mediante conectivos lógicos para formar
otras proposiciones. Los conectivos lógicos básicos son:
Conectivo Sı́mbolo Expresión Lectura

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 3 / 14

 Cálculo proposicional

Definición 1.2.
Las proposiciones se combinan mediante conectivos lógicos para formar
otras proposiciones. Los conectivos lógicos básicos son:
Conectivo Sı́mbolo Expresión Lectura
Negación ¬ ¬p no p

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 3 / 14

 Cálculo proposicional

Definición 1.2.
Las proposiciones se combinan mediante conectivos lógicos para formar
otras proposiciones. Los conectivos lógicos básicos son:
Conectivo Sı́mbolo Expresión Lectura
Negación ¬ ¬p no p
Conjunción ∧ p∧q pyq

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 3 / 14

 Cálculo proposicional

Definición 1.2.
Las proposiciones se combinan mediante conectivos lógicos para formar
otras proposiciones. Los conectivos lógicos básicos son:
Conectivo Sı́mbolo Expresión Lectura
Negación ¬ ¬p no p
Conjunción ∧ p∧q pyq
Disyunción ∨ p∨q poq

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 3 / 14

 Cálculo proposicional

Definición 1.2.
Las proposiciones se combinan mediante conectivos lógicos para formar
otras proposiciones. Los conectivos lógicos básicos son:
Conectivo Sı́mbolo Expresión Lectura
Negación ¬ ¬p no p
Conjunción ∧ p∧q pyq
Disyunción ∨ p∨q poq
Implicación condicional −→ p −→ q p implica q

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 3 / 14

 Cálculo proposicional

Definición 1.2.
Las proposiciones se combinan mediante conectivos lógicos para formar
otras proposiciones. Los conectivos lógicos básicos son:
Conectivo Sı́mbolo Expresión Lectura
Negación ¬ ¬p no p
Conjunción ∧ p∧q pyq
Disyunción ∨ p∨q poq
Implicación condicional −→ p −→ q p implica q

p −→ q también puede leerse: “si p entonces q”, “p sólo si q” o “q si p”

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 3 / 14

 Cálculo proposicional

Definición 1.2.
Las proposiciones se combinan mediante conectivos lógicos para formar
otras proposiciones. Los conectivos lógicos básicos son:
Conectivo Sı́mbolo Expresión Lectura
Negación ¬ ¬p no p
Conjunción ∧ p∧q pyq
Disyunción ∨ p∨q poq
Implicación condicional −→ p −→ q p implica q
Bicondicional ←→ p ←→ q p si y sólo si q

p −→ q también puede leerse: “si p entonces q”, “p sólo si q” o “q si p”

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 3 / 14

 Cálculo proposicional

Definición 1.2.
Las proposiciones se combinan mediante conectivos lógicos para formar
otras proposiciones. Los conectivos lógicos básicos son:
Conectivo Sı́mbolo Expresión Lectura
Negación ¬ ¬p no p
Conjunción ∧ p∧q pyq
Disyunción ∨ p∨q poq
Implicación condicional −→ p −→ q p implica q
Bicondicional ←→ p ←→ q p si y sólo si q

p −→ q también puede leerse: “si p entonces q”, “p sólo si q” o “q si p”

Definición 1.3.
A la proposición q −→ p se la denomina recı́proca de p −→ q y a la
proposición ¬q −→ ¬p, la contrarrecı́proca o contrapositiva de p −→ q.

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 3 / 14

 Cálculo proposicional

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 4 / 14

 Cálculo proposicional

Ejemplo.
Con p =“La Tierra es plana”, q =“2 + 2 = 4” y r =“3 + 2 = 7”, las
siguientes frases son proposiciones compuestas:
1 La Tierra es plana o 2 + 2 = 4
2 2 + 2 6= 4 si y sólo si 3 + 2 = 7
3 3 + 2 6= 7 y 2 + 2 = 4
4 Si la Tierra no es plana entonces 3 + 2 = 7
5 Si 3 + 2 6= 7 entonces la Tierra no es plana
6 La Tierra no es plana sólo si 3 + 2 = 7 y 2 + 2 = 4

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 4 / 14

 Cálculo proposicional

Ejemplo.
Con p =“La Tierra es plana”, q =“2 + 2 = 4” y r =“3 + 2 = 7”, las
siguientes frases son proposiciones compuestas:
1 La Tierra es plana o 2 + 2 = 4
2 2 + 2 6= 4 si y sólo si 3 + 2 = 7
3 3 + 2 6= 7 y 2 + 2 = 4
4 Si la Tierra no es plana entonces 3 + 2 = 7
5 Si 3 + 2 6= 7 entonces la Tierra no es plana
6 La Tierra no es plana sólo si 3 + 2 = 7 y 2 + 2 = 4
¿Como se expresan con los conectivos lógicos?

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 4 / 14

 Cálculo proposicional

Ejemplo.
Con p =“La Tierra es plana”, q =“2 + 2 = 4” y r =“3 + 2 = 7”, las
siguientes frases son proposiciones compuestas:
1 La Tierra es plana o 2 + 2 = 4 p∨q
2 2 + 2 6= 4 si y sólo si 3 + 2 = 7 ¬q ←→ r
3 3 + 2 6= 7 y 2 + 2 = 4 ¬r ∧ q
4 Si la Tierra no es plana entonces 3 + 2 = 7 ¬p −→ r
5 Si 3 + 2 6= 7 entonces la Tierra no es plana ¬r −→ ¬p
6 La Tierra no es plana sólo si 3 + 2 = 7 y 2 + 2 = 4 ¬p −→ (q ∧ r )
¿Como se expresan con los conectivos lógicos?

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 4 / 14

 Cálculo proposicional

Ejemplo.
Con p =“La Tierra es plana”, q =“2 + 2 = 4” y r =“3 + 2 = 7”, las
siguientes frases son proposiciones compuestas:
1 La Tierra es plana o 2 + 2 = 4 p∨q
2 2 + 2 6= 4 si y sólo si 3 + 2 = 7 ¬q ←→ r
3 3 + 2 6= 7 y 2 + 2 = 4 ¬r ∧ q
4 Si la Tierra no es plana entonces 3 + 2 = 7 ¬p −→ r
5 Si 3 + 2 6= 7 entonces la Tierra no es plana ¬r −→ ¬p
6 La Tierra no es plana sólo si 3 + 2 = 7 y 2 + 2 = 4 ¬p −→ (q ∧ r )
¿Son verdaderas?

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 4 / 14

 Cálculo proposicional

Ejemplo.
Con p =“La Tierra es plana”, q =“2 + 2 = 4” y r =“3 + 2 = 7”, las
siguientes frases son proposiciones compuestas:
1 La Tierra es plana o 2 + 2 = 4 p∨q
2 2 + 2 6= 4 si y sólo si 3 + 2 = 7 ¬q ←→ r
3 3 + 2 6= 7 y 2 + 2 = 4 ¬r ∧ q
4 Si la Tierra no es plana entonces 3 + 2 = 7 ¬p −→ r
5 Si 3 + 2 6= 7 entonces la Tierra no es plana ¬r −→ ¬p
6 La Tierra no es plana sólo si 3 + 2 = 7 y 2 + 2 = 4 ¬p −→ (q ∧ r )
¿Son verdaderas?

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 4 / 14

 Cálculo proposicional

Definición 1.4.
Una proposición sin conectivos lógicos diremos que es una proposición
simple y usaremos las letras minúsculas p, q, r ,. . . para simbolizarla. Las
proposiciones compuestas son aquellas que contienen conectivos lógicos
y las simbolizaremos generalmente con letras mayúsculas

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 5 / 14

 Cálculo proposicional

Definición 1.4.
Una proposición sin conectivos lógicos diremos que es una proposición
simple y usaremos las letras minúsculas p, q, r ,. . . para simbolizarla. Las
proposiciones compuestas son aquellas que contienen conectivos lógicos
y las simbolizaremos generalmente con letras mayúsculas

Precedencia de los operadores lógicos 1.5.

Se usan paréntesis para controlar el orden en el que se aplican los
conectivos lógicos, pero en ausencia de paréntesis, se aplican de acuerdo
con su prioridad respectiva:

primero ¬ luego ∧

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 5 / 14

 Cálculo proposicional

Definición 1.4.
Una proposición sin conectivos lógicos diremos que es una proposición
simple y usaremos las letras minúsculas p, q, r ,. . . para simbolizarla. Las
proposiciones compuestas son aquellas que contienen conectivos lógicos
y las simbolizaremos generalmente con letras mayúsculas

Precedencia de los operadores lógicos 1.5.

Se usan paréntesis para controlar el orden en el que se aplican los
conectivos lógicos, pero en ausencia de paréntesis, se aplican de acuerdo
con su prioridad respectiva:

primero ¬ luego ∧ antes que ∨

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 5 / 14

 Cálculo proposicional

Definición 1.4.
Una proposición sin conectivos lógicos diremos que es una proposición
simple y usaremos las letras minúsculas p, q, r ,. . . para simbolizarla. Las
proposiciones compuestas son aquellas que contienen conectivos lógicos
y las simbolizaremos generalmente con letras mayúsculas

Precedencia de los operadores lógicos 1.5.

Se usan paréntesis para controlar el orden en el que se aplican los
conectivos lógicos, pero en ausencia de paréntesis, se aplican de acuerdo
con su prioridad respectiva:

primero ¬ luego ∧ antes que ∨ después −→

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 5 / 14

 Cálculo proposicional

Definición 1.4.
Una proposición sin conectivos lógicos diremos que es una proposición
simple y usaremos las letras minúsculas p, q, r ,. . . para simbolizarla. Las
proposiciones compuestas son aquellas que contienen conectivos lógicos
y las simbolizaremos generalmente con letras mayúsculas

Precedencia de los operadores lógicos 1.5.

Se usan paréntesis para controlar el orden en el que se aplican los
conectivos lógicos, pero en ausencia de paréntesis, se aplican de acuerdo
con su prioridad respectiva:

primero ¬ luego ∧ antes que ∨ después −→ y finalmente ←→

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 5 / 14

 Cálculo proposicional

Definición 1.4.
Una proposición sin conectivos lógicos diremos que es una proposición
simple y usaremos las letras minúsculas p, q, r ,. . . para simbolizarla. Las
proposiciones compuestas son aquellas que contienen conectivos lógicos
y las simbolizaremos generalmente con letras mayúsculas

Precedencia de los operadores lógicos 1.5.

Se usan paréntesis para controlar el orden en el que se aplican los
conectivos lógicos, pero en ausencia de paréntesis, se aplican de acuerdo
con su prioridad respectiva:

primero ¬ luego ∧ antes que ∨ después −→ y finalmente ←→

Ası́, p∧q → r es lo mismo que (p∧q) → r pero distinto de p∧(q → r )

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 5 / 14

 Cálculo proposicional

Definición 1.4.
Una proposición sin conectivos lógicos diremos que es una proposición
simple y usaremos las letras minúsculas p, q, r ,. . . para simbolizarla. Las
proposiciones compuestas son aquellas que contienen conectivos lógicos
y las simbolizaremos generalmente con letras mayúsculas

Precedencia de los operadores lógicos 1.5.

Se usan paréntesis para controlar el orden en el que se aplican los
conectivos lógicos, pero en ausencia de paréntesis, se aplican de acuerdo
con su prioridad respectiva:

primero ¬ luego ∧ antes que ∨ después −→ y finalmente ←→

Ası́, p∧q → r es lo mismo que (p∧q) → r pero distinto de p∧(q → r )

y p∧q∨r es lo mismo que (p∧q)∨r pero distinto de p∧(q∨r ),
aunque con ∧ y ∨ sı́ que suelen ponerse los paréntesis

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 5 / 14

 Cálculo proposicional Variables lógicas y tablas de verdad

Definición 1.6.
Las variables que sólo pueden tomar los valores 0 y 1 las llamaremos
variables lógicas

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 6 / 14

 Cálculo proposicional Variables lógicas y tablas de verdad

Definición 1.6.
Las variables que sólo pueden tomar los valores 0 y 1 las llamaremos
variables lógicas

Ası́, las proposiciones simples son variables lógicas de las compuestas

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 6 / 14

 Cálculo proposicional Variables lógicas y tablas de verdad

Definición 1.6.
Las variables que sólo pueden tomar los valores 0 y 1 las llamaremos
variables lógicas

Ası́, las proposiciones simples son variables lógicas de las compuestas

Valores de verdad de los conectivos lógicos 1.7.
p q p ∧ q p ∨ q p −→ q p ←→ q
p ¬p 0 0 0 0 1 1
0 1 0 1 0 1 1 0
1 0 1 0 0 1 0 0
1 1 1 1 1 1

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 6 / 14

 Cálculo proposicional Variables lógicas y tablas de verdad

Definición 1.6.
Las variables que sólo pueden tomar los valores 0 y 1 las llamaremos
variables lógicas

Ası́, las proposiciones simples son variables lógicas de las compuestas

Valores de verdad de los conectivos lógicos 1.7.
p q p ∧ q p ∨ q p −→ q p ←→ q
p ¬p 0 0 0 0 1 1
0 1 0 1 0 1 1 0
1 0 1 0 0 1 0 0
1 1 1 1 1 1

Definición 1.8.
Para cualquier proposición se puede construir una tabla como éstas, que
describa el valor de verdad para cada combinación de valores de las
variables lógicas. Una tabla de este tipo se llama tabla de verdad
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 6 / 14
 Cálculo proposicional Variables lógicas y tablas de verdad

Ejemplo.
Tabla de verdad de (p ∨ q) ∧ r y de p −→ (p ∨ q)

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 7 / 14

 Cálculo proposicional Variables lógicas y tablas de verdad

Ejemplo.
Tabla de verdad de (p ∨ q) ∧ r y de p −→ (p ∨ q)

p q r (p ∨ q) (p ∨ q) ∧ r p −→ (p ∨ q)
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 7 / 14

 Cálculo proposicional Variables lógicas y tablas de verdad

Ejemplo.
Tabla de verdad de (p ∨ q) ∧ r y de p −→ (p ∨ q)

p q r (p ∨ q) (p ∨ q) ∧ r p −→ (p ∨ q)
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 7 / 14

 Cálculo proposicional Variables lógicas y tablas de verdad

Ejemplo.
Tabla de verdad de (p ∨ q) ∧ r y de p −→ (p ∨ q)

p q r (p ∨ q) (p ∨ q) ∧ r p −→ (p ∨ q)
0 0 0 0 0
0 0 1 0 0
0 1 0 1 0
0 1 1 1 1
1 0 0 1 0
1 0 1 1 1
1 1 0 1 0
1 1 1 1 1

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 7 / 14

 Cálculo proposicional Variables lógicas y tablas de verdad

Ejemplo.
Tabla de verdad de (p ∨ q) ∧ r y de p −→ (p ∨ q)

p q r (p ∨ q) (p ∨ q) ∧ r p −→ (p ∨ q)
0 0 0 0 0 1
0 0 1 0 0 1
0 1 0 1 0 1
0 1 1 1 1 1
1 0 0 1 0 1
1 0 1 1 1 1
1 1 0 1 0 1
1 1 1 1 1 1

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 7 / 14

 Cálculo proposicional Variables lógicas y tablas de verdad

Ejemplo.
Tabla de verdad de (p ∨ q) ∧ r y de p −→ (p ∨ q)

p q r (p ∨ q) (p ∨ q) ∧ r p −→ (p ∨ q)
0 = (000)2 0 0 0 0 0 1
1 = (001)2 0 0 1 0 0 1
2 = (010)2 0 1 0 1 0 1
3 = (011)2 0 1 1 1 1 1
4 = (100)2 1 0 0 1 0 1
5 = (101)2 1 0 1 1 1 1
6 = (110)2 1 1 0 1 0 1
7 = (111)2 1 1 1 1 1 1

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 7 / 14

 Cálculo proposicional Variables lógicas y tablas de verdad

Definición 1.9.
Una tautologı́a es una proposición compuesta que toma el valor 1 para
cualesquiera que sean los valores de sus variables. Una contradicción es
una proposición compuesta que siempre es falsa. Utilizaremos 1 para
denotar las tautologı́as y 0 para las contradicciones

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 8 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Equivalencia lógica. Leyes de la lógica

Definición 1.10.
Se dice que dos proposiciones P y Q son lógicamente equivalentes, y
escribimos P ⇐⇒ Q, si P ←→ Q es una tautologı́a. Es decir, si las tablas
de verdad de P y Q son iguales.

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 9 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Equivalencia lógica. Leyes de la lógica

Definición 1.10.
Se dice que dos proposiciones P y Q son lógicamente equivalentes, y
escribimos P ⇐⇒ Q, si P ←→ Q es una tautologı́a. Es decir, si las tablas
de verdad de P y Q son iguales.
Cuando P y Q no son lógicamente equivalentes escribimos P ⇐⇒
6 Q

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 9 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Leyes de la lógica 1.11.


p∨q ⇐⇒ q∨p
1 Doble negación: ¬(¬p) ⇐⇒ p Conmutativas: 2
p∧q ⇐⇒ q∧p

(p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r )
3 Asociativas:
(p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r )

p ∨ (q ∧ r ) ⇐⇒ (p ∨ q) ∧ (p ∨ r )
4 Distributivas:
p ∧ (q ∨ r ) ⇐⇒ (p ∧ q) ∨ (p ∧ r )

¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)
5 DeMorgan:
¬(p ∧ q) ⇐⇒ (¬p ∨ ¬q)
 
p ∨ p ⇐⇒ p p ∨ 0 ⇐⇒ p
6 Idempotencia: 7 Identidad:
p ∧ p ⇐⇒ p p ∧ 1 ⇐⇒ p
 
p ∨ 1 ⇐⇒ 1 p ∨ ¬p ⇐⇒ 1
8 Dominación: 9 Inversas:
p ∧ 0 ⇐⇒ 0 p ∧ ¬p ⇐⇒ 0

p ∨ (p ∧ q) ⇐⇒ p
10 Absorción:
p ∧ (p ∨ q) ⇐⇒ p
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 10 / 14
 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Leyes de la lógica 1.11.


p∨q ⇐⇒ q∨p
1 Doble negación: ¬(¬p) ⇐⇒ p Conmutativas: 2
p∧q ⇐⇒ q∧p

(p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r )
3 Asociativas:
(p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r )

p ∨ (q ∧ r ) ⇐⇒ (p ∨ q) ∧ (p ∨ r )
4 Distributivas:
p ∧ (q ∨ r ) ⇐⇒ (p ∧ q) ∨ (p ∧ r )

¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)
5 DeMorgan:
¬(p ∧ q) ⇐⇒ (¬p ∨ ¬q)
 
p ∨ p ⇐⇒ p p ∨ 0 ⇐⇒ p
6 Idempotencia: 7 Identidad:
p ∧ p ⇐⇒ p p ∧ 1 ⇐⇒ p
 
p ∨ 1 ⇐⇒ 1 p ∨ ¬p ⇐⇒ 1
8 Dominación: 9 Inversas:
p ∧ 0 ⇐⇒ 0 p ∧ ¬p ⇐⇒ 0

p ∨ (p ∧ q) ⇐⇒ p
10 Absorción:
p ∧ (p ∨ q) ⇐⇒ p
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 10 / 14
 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Leyes de la lógica 1.11.


p∨q ⇐⇒ q∨p
1 Doble negación: ¬(¬p) ⇐⇒ p Conmutativas: 2
p∧q ⇐⇒ q∧p

(p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r )
3 Asociativas:
(p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r )

p ∨ (q ∧ r ) ⇐⇒ (p ∨ q) ∧ (p ∨ r )
4 Distributivas:
p ∧ (q ∨ r ) ⇐⇒ (p ∧ q) ∨ (p ∧ r )

¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)
5 DeMorgan:
¬(p ∧ q) ⇐⇒ (¬p ∨ ¬q)
 
p ∨ p ⇐⇒ p p ∨ 0 ⇐⇒ p
6 Idempotencia: 7 Identidad:
p ∧ p ⇐⇒ p p ∧ 1 ⇐⇒ p
 
p ∨ 1 ⇐⇒ 1 p ∨ ¬p ⇐⇒ 1
8 Dominación: 9 Inversas:
p ∧ 0 ⇐⇒ 0 p ∧ ¬p ⇐⇒ 0

p ∨ (p ∧ q) ⇐⇒ p
10 Absorción:
p ∧ (p ∨ q) ⇐⇒ p
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 10 / 14
 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Leyes de la lógica 1.11.


p∨q ⇐⇒ q∨p
1 Doble negación: ¬(¬p) ⇐⇒ p Conmutativas: 2
p∧q ⇐⇒ q∧p

(p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r )
3 Asociativas:
(p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r )

p ∨ (q ∧ r ) ⇐⇒ (p ∨ q) ∧ (p ∨ r )
4 Distributivas:
p ∧ (q ∨ r ) ⇐⇒ (p ∧ q) ∨ (p ∧ r )

¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)
5 DeMorgan:
¬(p ∧ q) ⇐⇒ (¬p ∨ ¬q)
 
p ∨ p ⇐⇒ p p ∨ 0 ⇐⇒ p
6 Idempotencia: 7 Identidad:
p ∧ p ⇐⇒ p p ∧ 1 ⇐⇒ p
 
p ∨ 1 ⇐⇒ 1 p ∨ ¬p ⇐⇒ 1
8 Dominación: 9 Inversas:
p ∧ 0 ⇐⇒ 0 p ∧ ¬p ⇐⇒ 0

p ∨ (p ∧ q) ⇐⇒ p
10 Absorción:
p ∧ (p ∨ q) ⇐⇒ p
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 10 / 14
 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Leyes de la lógica 1.11.


p∨q ⇐⇒ q∨p
1 Doble negación: ¬(¬p) ⇐⇒ p Conmutativas: 2
p∧q ⇐⇒ q∧p

(p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r )
3 Asociativas:
(p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r )

p ∨ (q ∧ r ) ⇐⇒ (p ∨ q) ∧ (p ∨ r )
4 Distributivas:
p ∧ (q ∨ r ) ⇐⇒ (p ∧ q) ∨ (p ∧ r )

¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)
5 DeMorgan:
¬(p ∧ q) ⇐⇒ (¬p ∨ ¬q)
 
p ∨ p ⇐⇒ p p ∨ 0 ⇐⇒ p
6 Idempotencia: 7 Identidad:
p ∧ p ⇐⇒ p p ∧ 1 ⇐⇒ p
 
p ∨ 1 ⇐⇒ 1 p ∨ ¬p ⇐⇒ 1
8 Dominación: 9 Inversas:
p ∧ 0 ⇐⇒ 0 p ∧ ¬p ⇐⇒ 0

p ∨ (p ∧ q) ⇐⇒ p
10 Absorción:
p ∧ (p ∨ q) ⇐⇒ p
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 10 / 14
 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Leyes de la lógica 1.11.


p∨q ⇐⇒ q∨p
1 Doble negación: ¬(¬p) ⇐⇒ p Conmutativas: 2
p∧q ⇐⇒ q∧p

(p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r )
3 Asociativas:
(p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r )

p ∨ (q ∧ r ) ⇐⇒ (p ∨ q) ∧ (p ∨ r )
4 Distributivas:
p ∧ (q ∨ r ) ⇐⇒ (p ∧ q) ∨ (p ∧ r )

¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)
5 DeMorgan:
¬(p ∧ q) ⇐⇒ (¬p ∨ ¬q)
 
p ∨ p ⇐⇒ p p ∨ 0 ⇐⇒ p
6 Idempotencia: 7 Identidad:
p ∧ p ⇐⇒ p p ∧ 1 ⇐⇒ p
 
p ∨ 1 ⇐⇒ 1 p ∨ ¬p ⇐⇒ 1
8 Dominación: 9 Inversas:
p ∧ 0 ⇐⇒ 0 p ∧ ¬p ⇐⇒ 0

p ∨ (p ∧ q) ⇐⇒ p
10 Absorción:
p ∧ (p ∨ q) ⇐⇒ p
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 10 / 14
 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Leyes de la lógica 1.11.


p∨q ⇐⇒ q∨p
1 Doble negación: ¬(¬p) ⇐⇒ p Conmutativas: 2
p∧q ⇐⇒ q∧p

(p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r )
3 Asociativas:
(p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r )

p ∨ (q ∧ r ) ⇐⇒ (p ∨ q) ∧ (p ∨ r )
4 Distributivas:
p ∧ (q ∨ r ) ⇐⇒ (p ∧ q) ∨ (p ∧ r )

¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)
5 DeMorgan:
¬(p ∧ q) ⇐⇒ (¬p ∨ ¬q)
 
p ∨ p ⇐⇒ p p ∨ 0 ⇐⇒ p
6 Idempotencia: 7 Identidad:
p ∧ p ⇐⇒ p p ∧ 1 ⇐⇒ p
 
p ∨ 1 ⇐⇒ 1 p ∨ ¬p ⇐⇒ 1
8 Dominación: 9 Inversas:
p ∧ 0 ⇐⇒ 0 p ∧ ¬p ⇐⇒ 0

p ∨ (p ∧ q) ⇐⇒ p
10 Absorción:
p ∧ (p ∨ q) ⇐⇒ p
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 10 / 14
 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Leyes de la lógica 1.11.


p∨q ⇐⇒ q∨p
1 Doble negación: ¬(¬p) ⇐⇒ p Conmutativas: 2
p∧q ⇐⇒ q∧p

(p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r )
3 Asociativas:
(p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r )

p ∨ (q ∧ r ) ⇐⇒ (p ∨ q) ∧ (p ∨ r )
4 Distributivas:
p ∧ (q ∨ r ) ⇐⇒ (p ∧ q) ∨ (p ∧ r )

¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)
5 DeMorgan:
¬(p ∧ q) ⇐⇒ (¬p ∨ ¬q)
 
p ∨ p ⇐⇒ p p ∨ 0 ⇐⇒ p
6 Idempotencia: 7 Identidad:
p ∧ p ⇐⇒ p p ∧ 1 ⇐⇒ p
 
p ∨ 1 ⇐⇒ 1 p ∨ ¬p ⇐⇒ 1
8 Dominación: 9 Inversas:
p ∧ 0 ⇐⇒ 0 p ∧ ¬p ⇐⇒ 0

p ∨ (p ∧ q) ⇐⇒ p
10 Absorción:
p ∧ (p ∨ q) ⇐⇒ p
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 10 / 14
 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Leyes de la lógica 1.11.


p∨q ⇐⇒ q∨p
1 Doble negación: ¬(¬p) ⇐⇒ p Conmutativas: 2
p∧q ⇐⇒ q∧p

(p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r )
3 Asociativas:
(p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r )

p ∨ (q ∧ r ) ⇐⇒ (p ∨ q) ∧ (p ∨ r )
4 Distributivas:
p ∧ (q ∨ r ) ⇐⇒ (p ∧ q) ∨ (p ∧ r )

¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)
5 DeMorgan:
¬(p ∧ q) ⇐⇒ (¬p ∨ ¬q)
 
p ∨ p ⇐⇒ p p ∨ 0 ⇐⇒ p
6 Idempotencia: 7 Identidad:
p ∧ p ⇐⇒ p p ∧ 1 ⇐⇒ p
 
p ∨ 1 ⇐⇒ 1 p ∨ ¬p ⇐⇒ 1
8 Dominación: 9 Inversas:
p ∧ 0 ⇐⇒ 0 p ∧ ¬p ⇐⇒ 0

p ∨ (p ∧ q) ⇐⇒ p
10 Absorción:
p ∧ (p ∨ q) ⇐⇒ p
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 10 / 14
 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Leyes de la lógica 1.11.


p∨q ⇐⇒ q∨p
1 Doble negación: ¬(¬p) ⇐⇒ p Conmutativas: 2
p∧q ⇐⇒ q∧p

(p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r )
3 Asociativas:
(p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r )

p ∨ (q ∧ r ) ⇐⇒ (p ∨ q) ∧ (p ∨ r )
4 Distributivas:
p ∧ (q ∨ r ) ⇐⇒ (p ∧ q) ∨ (p ∧ r )

¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)
5 DeMorgan:
¬(p ∧ q) ⇐⇒ (¬p ∨ ¬q)
 
p ∨ p ⇐⇒ p p ∨ 0 ⇐⇒ p
6 Idempotencia: 7 Identidad:
p ∧ p ⇐⇒ p p ∧ 1 ⇐⇒ p
 
p ∨ 1 ⇐⇒ 1 p ∨ ¬p ⇐⇒ 1
8 Dominación: 9 Inversas:
p ∧ 0 ⇐⇒ 0 p ∧ ¬p ⇐⇒ 0

p ∨ (p ∧ q) ⇐⇒ p
10 Absorción:
p ∧ (p ∨ q) ⇐⇒ p
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 10 / 14
 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Leyes de la lógica 1.11.


p∨q ⇐⇒ q∨p
1 Doble negación: ¬(¬p) ⇐⇒ p Conmutativas: 2
p∧q ⇐⇒ q∧p

(p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r )
3 Asociativas:
(p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r )

p ∨ (q ∧ r ) ⇐⇒ (p ∨ q) ∧ (p ∨ r )
4 Distributivas:
p ∧ (q ∨ r ) ⇐⇒ (p ∧ q) ∨ (p ∧ r )

¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)
5 DeMorgan:
¬(p ∧ q) ⇐⇒ (¬p ∨ ¬q)
 
p ∨ p ⇐⇒ p p ∨ 0 ⇐⇒ p
6 Idempotencia: 7 Identidad:
p ∧ p ⇐⇒ p p ∧ 1 ⇐⇒ p
 
p ∨ 1 ⇐⇒ 1 p ∨ ¬p ⇐⇒ 1
8 Dominación: 9 Inversas:
p ∧ 0 ⇐⇒ 0 p ∧ ¬p ⇐⇒ 0

p ∨ (p ∧ q) ⇐⇒ p
10 Absorción:
p ∧ (p ∨ q) ⇐⇒ p
Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 10 / 14
 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

(Identidad) L7 : p 0 p ∨ 0 p ∨ 0 ←→ p
0 0 0 1
1 0 1 1

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 11 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

(Identidad) L7 : p 0 p ∨ 0 p ∨ 0 ←→ p
0 0 0 1
1 0 1 1

cierto pues el bicondicional es una tautologı́a

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 11 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

(Identidad) L7 : p 0 p ∨ 0 p ∨ 0 ←→ p
0 0 0 1
1 0 1 1

cierto pues el bicondicional es una tautologı́a

(DeMorgan) L5 : p q p ∨ q ¬(p ∨ q) ¬p ¬q ¬p ∧ ¬q
0 0 0 1 1 1 1
0 1 1 0 1 0 0
1 0 1 0 0 1 0
1 1 1 0 0 0 0

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 11 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

(Identidad) L7 : p 0 p ∨ 0 p ∨ 0 ←→ p
0 0 0 1
1 0 1 1

cierto pues el bicondicional es una tautologı́a

(DeMorgan) L5 : p q p ∨ q ¬(p ∨ q) ¬p ¬q ¬p ∧ ¬q
0 0 0 1 1 1 1
0 1 1 0 1 0 0
1 0 1 0 0 1 0
1 1 1 0 0 0 0

cierto pues ambas proposiciones tienen la misma tabla de verdad

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 11 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Las leyes sólo involucran a los conectivos ¬, ∧ y ∨ (no es casual), pero eso
no significa que no existan otras equivalencias lógicas con la implicación y
el bicondicional tan importantes como éllas (son casi leyes):
Equivalencias lógicas de la implicación 1.12.

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 12 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Las leyes sólo involucran a los conectivos ¬, ∧ y ∨ (no es casual), pero eso
no significa que no existan otras equivalencias lógicas con la implicación y
el bicondicional tan importantes como éllas (son casi leyes):
Equivalencias lógicas de la implicación 1.12.
11 De la implicación condicional: p −→ q ⇐⇒ ¬p ∨ q

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 12 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Las leyes sólo involucran a los conectivos ¬, ∧ y ∨ (no es casual), pero eso
no significa que no existan otras equivalencias lógicas con la implicación y
el bicondicional tan importantes como éllas (son casi leyes):
Equivalencias lógicas de la implicación 1.12.
11 De la implicación condicional: p −→ q ⇐⇒ ¬p ∨ q
12 De la contrarreciproca: p −→ q ⇐⇒ ¬q −→ ¬p

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 12 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Las leyes sólo involucran a los conectivos ¬, ∧ y ∨ (no es casual), pero eso
no significa que no existan otras equivalencias lógicas con la implicación y
el bicondicional tan importantes como éllas (son casi leyes):
Equivalencias lógicas de la implicación 1.12.
11 De la implicación condicional: p −→ q ⇐⇒ ¬p ∨ q
12 De la contrarreciproca: p −→ q ⇐⇒ ¬q −→ ¬p
13 De la bicondicional: p ←→ q ⇐⇒ (p −→ q) ∧ (q −→ p)

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 12 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Las leyes sólo involucran a los conectivos ¬, ∧ y ∨ (no es casual), pero eso
no significa que no existan otras equivalencias lógicas con la implicación y
el bicondicional tan importantes como éllas (son casi leyes):
Equivalencias lógicas de la implicación 1.12.
11 De la implicación condicional: p −→ q ⇐⇒ ¬p ∨ q
12 De la contrarreciproca: p −→ q ⇐⇒ ¬q −→ ¬p
13 De la bicondicional: p ←→ q ⇐⇒ (p −→ q) ∧ (q −→ p)

La equivalencia lógica nos induce a una identidad lógica entre ambas

expresiones, que son iguales a efectos lógicos, lo que nos lleva a pensar en
la posibilidad de sustituir sin más una por otra. Esto es justamente lo que
nos proponen las siguientes reglas, cómo obtener otras nuevas
equivalencias lógicas de manera sencilla:

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 12 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Reglas de Sustitución 1.13.

S1. Sea P una tautologı́a y q una variable que aparece en P. Si
reemplazamos cada aparición de q por cualquier otra proposición Q,
entonces la proposición resultante es también una tautologı́a.

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 13 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Reglas de Sustitución 1.13.

S1. Sea P una tautologı́a y q una variable que aparece en P. Si
reemplazamos cada aparición de q por cualquier otra proposición Q,
entonces la proposición resultante es también una tautologı́a.
S2. Sea P una proposición y Q una proposición que aparece en P. Si
reemplazamos Q por otra proposición lógicamente equivalente a Q,
obtenemos una nueva proposición lógicamente equivalente a P.

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 13 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Reglas de Sustitución 1.13.

S1. Sea P una tautologı́a y q una variable que aparece en P. Si
reemplazamos cada aparición de q por cualquier otra proposición Q,
entonces la proposición resultante es también una tautologı́a.
S2. Sea P una proposición y Q una proposición que aparece en P. Si
reemplazamos Q por otra proposición lógicamente equivalente a Q,
obtenemos una nueva proposición lógicamente equivalente a P.

Por S1, de p ⇐⇒ ¬¬p y

obtenemos

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 13 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Reglas de Sustitución 1.13.

S1. Sea P una tautologı́a y q una variable que aparece en P. Si
reemplazamos cada aparición de q por cualquier otra proposición Q,
entonces la proposición resultante es también una tautologı́a.
S2. Sea P una proposición y Q una proposición que aparece en P. Si
reemplazamos Q por otra proposición lógicamente equivalente a Q,
obtenemos una nueva proposición lógicamente equivalente a P.

Por S1, de p ⇐⇒ ¬¬p y

obtenemos P ⇐⇒ ¬¬P y

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 13 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Reglas de Sustitución 1.13.

S1. Sea P una tautologı́a y q una variable que aparece en P. Si
reemplazamos cada aparición de q por cualquier otra proposición Q,
entonces la proposición resultante es también una tautologı́a.
S2. Sea P una proposición y Q una proposición que aparece en P. Si
reemplazamos Q por otra proposición lógicamente equivalente a Q,
obtenemos una nueva proposición lógicamente equivalente a P.

Por S1, de p ⇐⇒ ¬¬p y de ¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)

obtenemos P ⇐⇒ ¬¬P y

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 13 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Reglas de Sustitución 1.13.

S1. Sea P una tautologı́a y q una variable que aparece en P. Si
reemplazamos cada aparición de q por cualquier otra proposición Q,
entonces la proposición resultante es también una tautologı́a.
S2. Sea P una proposición y Q una proposición que aparece en P. Si
reemplazamos Q por otra proposición lógicamente equivalente a Q,
obtenemos una nueva proposición lógicamente equivalente a P.

Por S1, de p ⇐⇒ ¬¬p y de ¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)

obtenemos P ⇐⇒ ¬¬P y ¬([R ∧ S] ∨ [¬T ]) ⇐⇒ (¬[R ∧ S] ∧ ¬[¬T ])
para cualesquiera proposiciones P, R, S y T

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 13 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Reglas de Sustitución 1.13.

S1. Sea P una tautologı́a y q una variable que aparece en P. Si
reemplazamos cada aparición de q por cualquier otra proposición Q,
entonces la proposición resultante es también una tautologı́a.
S2. Sea P una proposición y Q una proposición que aparece en P. Si
reemplazamos Q por otra proposición lógicamente equivalente a Q,
obtenemos una nueva proposición lógicamente equivalente a P.

Por S1, de p ⇐⇒ ¬¬p y de ¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)

obtenemos P ⇐⇒ ¬¬P y ¬([R ∧ S] ∨ [¬T ]) ⇐⇒ (¬[R ∧ S] ∧ ¬[¬T ])
para cualesquiera proposiciones P, R, S y T
Por S2, de p −→ q ⇐⇒ ¬p ∨ q obtenemos que

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 13 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Reglas de Sustitución 1.13.

S1. Sea P una tautologı́a y q una variable que aparece en P. Si
reemplazamos cada aparición de q por cualquier otra proposición Q,
entonces la proposición resultante es también una tautologı́a.
S2. Sea P una proposición y Q una proposición que aparece en P. Si
reemplazamos Q por otra proposición lógicamente equivalente a Q,
obtenemos una nueva proposición lógicamente equivalente a P.

Por S1, de p ⇐⇒ ¬¬p y de ¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)

obtenemos P ⇐⇒ ¬¬P y ¬([R ∧ S] ∨ [¬T ]) ⇐⇒ (¬[R ∧ S] ∧ ¬[¬T ])
para cualesquiera proposiciones P, R, S y T
Por S2, de p −→ q ⇐⇒ ¬p ∨ q obtenemos que
(p −→ q) ∧ (q −→ p) ⇐⇒ (¬p ∨ q) ∧ (¬q ∨ p)

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 13 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Reglas de Sustitución 1.13.

S1. Sea P una tautologı́a y q una variable que aparece en P. Si
reemplazamos cada aparición de q por cualquier otra proposición Q,
entonces la proposición resultante es también una tautologı́a.
S2. Sea P una proposición y Q una proposición que aparece en P. Si
reemplazamos Q por otra proposición lógicamente equivalente a Q,
obtenemos una nueva proposición lógicamente equivalente a P.

Por S1, de p ⇐⇒ ¬¬p y de ¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q)

obtenemos P ⇐⇒ ¬¬P y ¬([R ∧ S] ∨ [¬T ]) ⇐⇒ (¬[R ∧ S] ∧ ¬[¬T ])
para cualesquiera proposiciones P, R, S y T
Por S2, de p −→ q ⇐⇒ ¬p ∨ q obtenemos que
p ←→ q ⇐⇒ (p −→ q) ∧ (q −→ p) ⇐⇒ (¬p ∨ q) ∧ (¬q ∨ p)

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 13 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

luego estamos diciendo que. . .

Cualquier proposición admite una expresión lógicamente equivalente, que
sólo contiene a los conectivos lógicos “¬”, “∧” y “∨”

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 14 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

luego estamos diciendo que. . .

Cualquier proposición admite una expresión lógicamente equivalente, que
sólo contiene a los conectivos lógicos “¬”, “∧” y “∨”

Definición 1.14.
Si P es una proposición que sólo contiene los conectivos lógicos ¬, ∨ y ∧,
llamaremos dual de P a la proposición P d obtenida al sustituir en P cada
aparición de ∨ por ∧, de ∧ por ∨, de 1 por 0 y de 0 por 1

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 14 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

luego estamos diciendo que. . .

Cualquier proposición admite una expresión lógicamente equivalente, que
sólo contiene a los conectivos lógicos “¬”, “∧” y “∨”

Definición 1.14.
Si P es una proposición que sólo contiene los conectivos lógicos ¬, ∨ y ∧,
llamaremos dual de P a la proposición P d obtenida al sustituir en P cada
aparición de ∨ por ∧, de ∧ por ∨, de 1 por 0 y de 0 por 1

Principio de dualidad 1.15.

Si P y Q son proposiciones que contienen sólo los conectivos ¬, ∨ y ∧
entonces, si P ⇐⇒ Q también P d ⇐⇒ Q d (y viceversa pues (P d )d = P)

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 14 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

luego estamos diciendo que. . .

Cualquier proposición admite una expresión lógicamente equivalente, que
sólo contiene a los conectivos lógicos “¬”, “∧” y “∨”

Definición 1.14.
Si P es una proposición que sólo contiene los conectivos lógicos ¬, ∨ y ∧,
llamaremos dual de P a la proposición P d obtenida al sustituir en P cada
aparición de ∨ por ∧, de ∧ por ∨, de 1 por 0 y de 0 por 1

Principio de dualidad 1.15.

Si P y Q son proposiciones que contienen sólo los conectivos ¬, ∨ y ∧
entonces, si P ⇐⇒ Q también P d ⇐⇒ Q d (y viceversa pues (P d )d = P)

Observación: Por ello en las Leyes de la lógica sólo aparecen

proposiciones con esos conectivos y también están pareadas, una ley y su
dual

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 14 / 14

 Cálculo proposicional Equivalencia lógica. Leyes de la lógica

Mat. Discreta (Informática) Lógica Prof: José Antonio Abia Vian 14 / 14