Tablas de verdad

1. (p p) (p p)
2. (p q) ( p q)
3. (p q) ( p q)
4. [p ( q r)] [(p r) q]
5. [p ( q p)] (q p)
6. (p q) (p q) (p r)
7. [(p q) r] [(p r) (q r)]
Clculo deductivo
1. t
2. p q
3. r p
4. (r q) (s t) / p s
1. p q
2. ((r s) z) ( t u)
3. (v w) ( t x)
4. (v w) p
5. y t /q y
1. (p q) r
2. (s t) u
3. (v w) (t r) ( x y)
4. z s /u (p q)
Las siguientes deducciones, son correctas?; y si no, qu es lo que se
sigue de las premisas?
1) Si el gato ve a un perro, saca las uas. Saca las uas. Por tanto ve a un perro.
2) Si Isabel es italiana, es europea. Isabel no es italiana. Entonces no es europea.
3) Si 2 x 2 no da 4, entonces la luna es un dado. Pero 2 x 2 = 4. Entonces?
Formalizar (lgica de enunciados)
1. Herodoto no era un msico.
2. Fumar es nocivo para la salud y el chocolate engorda.
3. Si los bomberos llegan a tiempo, entonces el viejo edificio se salvar.
4. Paga los impuestos anticipadamente si y slo si lo multan.
5. Se queda en casa o su mujer no juega al Bridge.
6. Si el perro no se siente bien, entonces no mueve la cola.
Formalizar (lgica de predicados)
1. Todos los caballeros de la mesa redonda son leales a Arturo
2. Arturo est casado con Ginebra
3. Lanzarote es un caballero de la mesa redonda y est enamorado de Ginebra
4. Toda mujer casada que se enamora de otro hombre no es leal a su marido

5. Los caballeros de la mesa redonda que vencen a todos sus enemigos se

convierten en campeones de Arturo