Professional Documents
Culture Documents
22 de Agosto de 2018
1. Logica proposicional
A continuación, se presentan algunos ejercicios de lógica proposicional.
1.1. Ejercicio 1
Expresar las siguientes frases mediante variables proposicionales (p,q,r).
- Si el sol brilla hoy, entonces no brillará mañana.
p ¬q
p (q v r)
- a. Si has leído los apuntes y has hecho los ejercicios, estás preparado para el examen.
b. En caso contrario, tienes un problema.
a. p ^ q r
b. ¬( p ^ q) ¬r
¬p v ¬q ¬r
¬p → q ∨ r.
p ∨ q → r.
(p → q) ∧ (p ∧ r). p
∨¬q → r.
(p ∨ q) ∧ (p → r)
1.3. Ejercicio 3
Sea ◦ una nueva conectiva para las proposiciones, cuya función viene dada por la
siguiente tabla:
p q r ◦ (p,q,r)
1 1 1 1
1 1 0 1
1 0 1 0
1 0 0 0
0 1 1 1
0 1 0 0
0 0 1 1
0 0 0 0
- Expresa la nueva conectiva en función de ∨ y ¬.
p Q r Expresion ◦ (p,q,r)
1 1 1 1v1v1 1
1 1 0 1v1¬0 1
1 0 1 1v0¬0 0
1 0 0 1v0v0 0
0 1 1 0v1v1 1
0 1 0 0v1v0 0
0 0 1 0¬0v1 1
0 0 0 0v0v0 0
p Q r Expresion ◦ (p,q,r)
1 1 1 1v1∧1 1
1 1 0 1∧1¬0 1
1 0 1 1v0v1 0
1 0 0 1v0v0 0
0 1 1 0v1v1 1
0 1 0 Ov1v0 0
0 0 1 0v0v1 1
0 0 0 0∧0∧0 0
- Propón una expresión del lenguaje natural que describa el significado de la conectiva
◦ . Si hace sol o hace frio usare abrigo