Lógica Proposicional

Centro de Estudios Preuniversitarios CEPRE - UNI

Los Profesores
c
3 de marzo de 2019

Lógica Proposicional 1 / 28
 ¿Que es la lógica?

Es la ciencia que estudia los razonamientos.

Lógica Proposicional 2 / 28
 Proposición Lógica

Definición
Es toda expresión del lenguaje que tiene la cualidad de ser verda-
dero o falso, solo uno de ellos.
Ejemplos:
√
2 es irracional.
La Odisea fue escrita por Homero.
3 es un número par.
2 6= 6 .
Si hoy es lunes, estudiaré álgebra y trigonometría.

Lógica Proposicional 3 / 28
 Conectores Lógicos

Definición
Los conectores lógicos son términos de enlace entre proposiciones,
estos son:
Conector Nombre lectura
∼ Negación no
∨ Disyunción o
∧ Conjunción y
−→ Condicional entonces
←→ Bicondicional si y sólo si

Observación:

 si p entonces q
p −→ q p es condición suficiente para q
q es condición necesaria para p


Lógica Proposicional 4 / 28
 Proposición simple y compuesta

Definición
Una proposición será llamada simple si no presenta conectores
lógicos en su estructura, caso contrario será llamada compuesta.

√
2 es irracional.(S)
Lima es la capital de Perú y Quito de Ecuador.(C)
Aprenderas matemática si y solo si tienes imaginación. (C)
Cervantes escribio Romeo y Julieta.(S)
Hoy es lunes si y sólo si mañana es martes.(C)

Lógica Proposicional 5 / 28
 Fórmula lógica

Definición
Variable proposicional.
Representan proposiciones, serán denotadas por letras
minusculas p, q, r , s, t, etc.
Fórmula lógica.
Es una expresión que contiene un número finito de variables
proposicionales y conectores lógicos, en una correcta
combinación.

Ejemplo:
(p ∧ q) → r
∼ (p ∨ q) ↔ (∼ p)
(q ∧ p)∨ ∼ (∼ p∨ ∼ q)

Lógica Proposicional 6 / 28
 Tabla de verdad

Tenemos las siguientes tablas

p q p ∨ q p ∧ q p −→ q p ←→ q
p ∼p V V V V V V
V F V F V F F F
F V F V V F V F
F F F F V V

Lógica Proposicional 7 / 28
 Ejemplo 1

Determine la tabla de verdad de la fórmula lógica

((p −→ q)∧ ∼ q) −→ q

Solución:

p q ((p −→ q) ∧ ∼ q) −→ q
V V V F F V V
V F F F V V F
F V V F F V V
F F V V V F F

Lógica Proposicional 8 / 28
 Ejemplo 2

Determine la tabla de verdad de la fórmula lógica

(r ∨ q) −→∼ (r −→ p)

p q r (r ∨ q) −→ ∼ (r −→ p)
V V V V F F V
V V F V F F V
V F V V F F V
V F F F V F V
F V V V V V F
F V F V F F V
F F V V V V F
F F F F V V V
Observación: El número de entradas en la tabla de verdad es:
Lógica Proposicional número de variables 9 / 28
 Tautología, Contradicción, Contingencia.

Definición:
Una fórmula lógica se llama tautología si siempre es VERDAD,
independiente de los valores de verdad de las variables
proposicionales.
Una fórmula lógica se llama contradicción si siempre es FALSA,
independiente de los valores de verdad de las variables
proposicionales.
Una fórmula lógica se llama contingencia si no es tautología ni
contradición.

Lógica Proposicional 10 / 28
 Ejemplo 3

tautología contradicción

(p ∧ q) −→ p (p ∧ q)∧ ∼ p

p q (p ∧ q) −→ p p q (p ∧ q)∧ ∼ p
V V V V V F
V F V V F F
F V V F V F
F F V F F F

Lógica Proposicional 11 / 28
 Equivalencia lógica

Definición
Dos fórmulas lógicas α(p, q, · · · ) y β(p, q, · · · ) son equivalentes,
y se denotan por α(p, q, · · · ) ≡ β(p, q, · · · ), si tienen la misma
tabla de verdad.
Ejemplo:

Las fórmulas p −→ q y ∼ p ∨ q
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
son equivalentes.
p −→ q ≡ ∼ p ∨ q
Lógica Proposicional 12 / 28
 Leyes Lógicas
son equivalencias notables
Idempotencia
p∨p ≡p
p∧p ≡p
Conmutativa
p∨q ≡q∨p
p∧q ≡q∧p
Asociativa
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r )
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r )
Distributiva
p ∨ (q ∧ r ) ≡ (p ∨ q) ∧ (p ∨ r )
p ∧ (q ∨ r ) ≡ (p ∧ q) ∨ (p ∧ r )

Lógica Proposicional 13 / 28
 Leyes Lógicas
Morgan
∼ (p ∨ q) ≡∼ p ∧ ∼ q
∼ (p ∧ q) ≡∼ p ∨ ∼ q

Condicional
p → q ≡∼ p ∨ q

Bicondicional
p ↔ q ≡ (p → q) ∧ (q → p)
p ↔ q ≡ (p ∧ q) ∨ (∼ p ∧ ∼ q)

Complemento
p ∨∼p≡V
p ∧∼p≡F
∼ (∼ p) ≡ p

Lógica Proposicional 14 / 28
 Leyes Lógicas

Identidad
p ∨V ≡V
p ∨F ≡p
p ∧V ≡p
p ∧F ≡F

Absorción
p ∨ (p ∧ q) ≡ p
p ∧ (p ∨ q) ≡ p
p ∨ (∼ p ∧ q) ≡ p ∨ q
p ∧ (∼ p ∨ q) ≡ p ∧ q

Lógica Proposicional 15 / 28
 Ejemplo 4

Simplifique

[(∼ p ∧ q) −→ (q −→ p)] ∧ ∼ (∼ p ∧ q)

Solución:
Tenemos
[(∼ p ∧ q) −→ (q −→ p)] ∧ ∼ (∼ p ∧ q)

Lógica Proposicional 16 / 28
 Ejemplo 4

Simplifique

[(∼ p ∧ q) −→ (q −→ p)] ∧ ∼ (∼ p ∧ q)

Solución:
Tenemos
[(∼ p ∧ q) −→ (q −→ p)] ∧ ∼ (∼ p ∧ q)

≡ [∼ (∼ p ∧ q) ∨ (q −→ p)] ∧ ∼ (∼ p ∧ q)

Lógica Proposicional 17 / 28
 Ejemplo 4

Simplifique

[(∼ p ∧ q) −→ (q −→ p)] ∧ ∼ (∼ p ∧ q)

Solución:
Tenemos
[(∼ p ∧ q) −→ (q −→ p)] ∧ ∼ (∼ p ∧ q)

≡ [∼ (∼ p ∧ q) ∨ (q −→ p)] ∧ ∼ (∼ p ∧ q)

≡ [∼ (∼ p ∧ q) ∨ (q −→ p)] ∧ ∼ (∼ p ∧ q)

Lógica Proposicional 18 / 28
 Ejemplo 4

Simplifique

[(∼ p ∧ q) −→ (q −→ p)] ∧ ∼ (∼ p ∧ q)

Solución:
Tenemos
[(∼ p ∧ q) −→ (q −→ p)] ∧ ∼ (∼ p ∧ q)

≡ [∼ (∼ p ∧ q) ∨ (q −→ p)] ∧ ∼ (∼ p ∧ q)

≡ [∼ (∼ p ∧ q) ∨ (q −→ p)] ∧ ∼ (∼ p ∧ q)

≡ ∼ (∼ p ∧ q)

Lógica Proposicional 19 / 28
 Ejemplo 4

Simplifique

[(∼ p ∧ q) −→ (q −→ p)] ∧ ∼ (∼ p ∧ q)

Solución:
Tenemos
[(∼ p ∧ q) −→ (q −→ p)] ∧ ∼ (∼ p ∧ q)

≡ [∼ (∼ p ∧ q) ∨ (q −→ p)] ∧ ∼ (∼ p ∧ q)

≡ [∼ (∼ p ∧ q) ∨ (q −→ p)] ∧ ∼ (∼ p ∧ q)

≡ ∼ (∼ p ∧ q)

Lógica Proposicional
≡ p ∨∼q 20 / 28
 Disyunción Excluyente

Definición
El conector disyunción excluyente 4, se define como

p q p4q
V V F
V F V
F V V
F F F

Propiedades

p4q ≡∼ (p ←→ q) p4F ≡ p
p4q ≡ q4p p4V ≡∼ p
(p4q)4r ≡ p4(q4r ) p4p ≡ F

Lógica Proposicional 21 / 28
 Ejemplo 5

Simplifique:
(p4q)4[(p4q)4p]

Solución:Tenemos

(p4q) 4 [(p4q)4p]

Lógica Proposicional 22 / 28
 Ejemplo 5

Simplifique:
(p4q)4[(p4q)4p]

Solución: Tenemos

(p4q) 4 [(p4q)4p]
≡ p4q 4 p4q4p

Lógica Proposicional 23 / 28
 Ejemplo 5

Simplifique:
(p4q)4[(p4q)4p]

Solución: Tenemos

(p4q) 4 [(p4q)4p]
≡ p4q 4 p4q4p
≡ p4q 4 p4q 4p

Lógica Proposicional 24 / 28
 Ejemplo 5

Simplifique:
(p4q)4[(p4q)4p]

Solución: Tenemos

(p4q) 4 [(p4q)4p]
≡ p4q 4 p4q4p
≡ p4q 4 p4q 4p
≡ p4p 4 q4q 4p

Lógica Proposicional 25 / 28
 Ejemplo 5

Simplifique:
(p4q)4[(p4q)4p]

Solución: Tenemos

(p4q) 4 [(p4q)4p]
≡ p4q 4 p4q4p
≡ p4q 4 p4q 4p
≡ p4p 4 q4q 4p
≡ F 4 F 4p

Lógica Proposicional 26 / 28
 Ejemplo 5

Simplifique:
(p4q)4[(p4q)4p]

Solución: Tenemos

(p4q) 4 [(p4q)4p]
≡ p4q 4 p4q4p
≡ p4q 4 p4q 4p
≡ p4p 4 q4q 4p
≡ F 4 F 4p
≡ F 4F 4 p

Lógica Proposicional 27 / 28
 Ejemplo 5

Simplifique:
(p4q)4[(p4q)4p]

Solución: Tenemos

(p4q) 4 [(p4q)4p]
≡ p4q 4 p4q4p
≡ p4q 4 p4q 4p
≡ p4p 4 q4q 4p
≡ F 4 F 4p
≡ F 4F 4 p
≡ F 4 p
≡ p

Lógica Proposicional 28 / 28