Escolar Documentos
Profissional Documentos
Cultura Documentos
Lógica proposicional
1 / 24
N
Contenido Teórico
¿Que es la lógica?
Lógica proposicional
2 / 24
N
Contenido Teórico
Proposición Lógica
Definición
Es toda expresión del lenguaje que tiene la cualidad de ser ver-
dadero o falso, solo uno de ellos.
Lógica proposicional
3 / 24
N
Contenido Teórico
Proposición Lógica
Definición
Es toda expresión del lenguaje que tiene la cualidad de ser ver-
dadero 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 Juan miente entonces Marı́a dice la verdad.
Lógica proposicional
3 / 24
N
Contenido Teórico
Conectores Lógicos
Definición
Los conectores lógicos son términos de enlace entre proposicio-
nes, estos son:
Conector Nombre Lectura
∼ Negación no
∨ Disyunción o
∧ Conjunción y
−→ Condicional entonces
←→ Bicondicional si y sólo si
Lógica proposicional
4 / 24
N
Contenido Teórico
Conectores Lógicos
Definición
Los conectores lógicos son términos de enlace entre proposicio-
nes, estos son:
Conector Nombre Lectura
∼ Negación no
∨ Disyunción o
∧ Conjunción y
−→ Condicional entonces
←→ Bicondicional si y sólo si
Observación:
p es condición suficiente para q
p −→ q
q es condición necesaria para p
Lógica proposicional
4 / 24
N
Contenido Teórico
Definición
Una proposición será llamada simple si no presenta conectores
lógicos en su estructura, caso contrario será llamada compuesta.
Lógica proposicional
5 / 24
N
Contenido Teórico
Definición
Una proposición será llamada simple si no presenta conectores
lógicos en su estructura, caso contrario será llamada compuesta.
Ejemplo:
√
2 es irracional.
Lima es la capital de Perú y Quito de Ecuador.
Aprenderas matemática si y solo si tienes imaginación.
Cervantes escribio Romeo y Julieta.
Hoy es lunes si y sólo si mañana es martes.
Lógica proposicional
5 / 24
N
Contenido Teórico
Definición
Una proposición será llamada simple si no presenta conectores
lógicos en su estructura, caso contrario será llamada compuesta.
Ejemplo:
√
2 es irracional.
Lima es la capital de Perú y Quito de Ecuador.
Aprenderas matemática si y solo si tienes imaginación.
Cervantes escribio Romeo y Julieta.
Hoy es lunes si y sólo si mañana es martes.
SCCSC
Lógica proposicional
5 / 24
N
Contenido Teórico
Fórmula lógica
Definición
Variable proposicional.
Representan proposiciones, serán denotadas por letras
minúsculas p, q, r , s, t, etc.
Lógica proposicional
6 / 24
N
Contenido Teórico
Fórmula lógica
Definición
Variable proposicional.
Representan proposiciones, serán denotadas por letras
minúsculas 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.
Lógica proposicional
6 / 24
N
Contenido Teórico
Fórmula lógica
Definición
Variable proposicional.
Representan proposiciones, serán denotadas por letras
minúsculas 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 / 24
N
Contenido Teórico
Tabla de verdad
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 / 24
N
Contenido Teórico
Ejercicio 1
((p −→ q)∧ ∼ q) −→ q
Lógica proposicional
8 / 24
N
Contenido Teórico
Ejercicio 1
((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 / 24
N
Contenido Teórico
Ejercicio 1
((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
Observación: El número de entradas en la tabla de verdad es:
2número de variables
Lógica proposicional
8 / 24
N
Contenido Teórico
Ejercicio 2
(r ∨ q) −→∼ (r −→ p)
Lógica proposicional
9 / 24
N
Contenido Teórico
Ejercicio 2
(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
Lógica proposicional
9 / 24
N
Contenido Teórico
Ejercicio 3
Lógica proposicional
10 / 24
N
Contenido Teórico
Ejercicio 3
Solución:
Luego de la tabla
p≡F
q≡V
por lo tanto la tarjeta 2 es la ganadora.
Lógica proposicional
11 / 24
N
Contenido Teórico
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.
Lógica proposicional
12 / 24
N
Contenido Teórico
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.
Lógica proposicional
12 / 24
N
Contenido Teórico
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
12 / 24
N
Contenido Teórico
Ejemplo:
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
13 / 24
N
Contenido Teórico
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.
Lógica proposicional
14 / 24
N
Contenido Teórico
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
14 / 24
N
Contenido Teórico
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
15 / 24
N
Contenido Teórico
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
16 / 24
N
Contenido Teórico
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
17 / 24
N
Contenido Teórico
Ejercicio 4
Simplifique
[(∼ p ∧ q) −→ (q −→ p)] ∧ ∼ (∼ p ∧ q)
Lógica proposicional
18 / 24
N
Contenido Teórico
Ejercicio 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
18 / 24
N
Contenido Teórico
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
p4q ≡∼ (p ←→ q) p4F ≡ p
p4q ≡ q4p p4V ≡∼ p
(p4q)4r ≡ p4(q4r ) p4p ≡ F Lógica proposicional
19 / 24
N
Contenido Teórico
Ejericio 5
Simplifique:
(p4q)4[(p4q)4p]
Lógica proposicional
20 / 24
N
Contenido Teórico
Ejericio 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
20 / 24
N
Contenido Teórico
Seminario
Problema 1
Sean las proposiciones
p: Las estrellas irradian luz
q: Los cuerpos celestes reflejan la luz
r: Los cuerpos celestes giran.
Representar simbólicamente:
Lógica proposicional
21 / 24
N
Contenido Teórico
Seminario
Problema 5
Simplifique
Lógica proposicional
22 / 24
N
Contenido Teórico
Seminario
Problema 9
Dadas las proposiciones lógicas p, q, r , s; tal que p −→ (q4r ) es
falso, indique el valor de verdad de las siguientes proposiciones
1 (q ←→ r ) −→ p
2 p −→ (q4 ∼ r )
3 p4(s ←→∼ s)
Lógica proposicional
23 / 24
N
Contenido Teórico
Seminario
Problema 18
Se define p ∗ q = (p∧ ∼ q) ∨ (q∨ ∼ p), simplique la expresión
[(∼ p ∗ q) −→ q] ←→ [p −→ (q ∗ p)]
Lógica proposicional
24 / 24
N