Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Proposiciones
Lógica Computacional
1 de marzo de 2007
1. Ejercicio 1.1
De los siguientes enunciados, determina cuáles son proposiciones, y de qué ti-
po (relación, acción o propiedad). Indica también cuáles son proposiciones atómi-
cas y cuáles no.
Madrid es un continente.
2. Ejercicio 1.2
¿Cuales de las siguientes expresiones son FBF en lógica de proposiciones?
∼ a∨ ∼ b
∼ a ∼ ∨b
→a ∨ b
Si a entonces b
((a → b) ∧ a)
a → (b → c → a → c)
(b → c → a → c) ∼ a
1
3. Ejercicio 1.3
Formaliza (con los sı́mbolos de Lógica de Proposiciones) las siguientes pro-
posiciones:
4. Ejercicio 1.4
Formaliza las siguientes proposiciones, usando las letras de proposición si-
guientes:
p: Bebes/Bebas
q: Puedes/Puedas/Poder conducir
2
5. Ejercicio 1.5
Dadas las siguientes frases,
1. Una condición necesaria para que ellos lean es que tú leas.
2. Una condición suficiente para que ellos lean es que tú leas.
3. Una condición necesaria para que tú leas es que ellos lean.
4. Una condición suficiente para que tú leas es que ellos lean.
6. Ejercicio 1.7
Formaliza las siguientes sentencias usando las mismas letras de proposición
para las proposiciones atómicas que sean iguales:
3
7. Ejercicio 1.7
Reescribe las fórmulas siguientes utilizando paréntesis, de modo que se man-
tenga el sentido de la expresión:
p→ ∼ q ∨ r ∧ s ↔ q ∧ r
∼p∧s→q∧r→t→p
p → t∨ ∼ q ∨ s→ ∼ r∧ ∼ s → q
q ∧ t ∨ p→ ∼ s ∧ t ∨ q