logica proposicional

LOGICA PROPOSICIONAL; TABLAS DE VERDAD
EJERCICIO 1.1
1. p → (q ∨ r)
P
q
r
(q v r)
p→(q v r)
v
v
v
vv
f
f
f
f
f
v
f
v
f
f
f
v
f
f
f
v
f
f
v
f
f
v
v
v
f

2. p → q

p
q
p→ q
v
vv
v
f
f
f
f
v
f
v
f

3. ∼ p→ ∼ q
~p
~q
~p→~q
v
v
v
v
f
f
f
f
v
f
v
f

4. p ∨ ∼ qp
~q
P v ~q
v
v
v
f
f
v
f
v
f
v
f
f

5. p ∧ ∼ q
p
~q
P ^~q
v
v
V
f
f
v
f
v
f
v
ff


6. ∼ p ∨ q ↔ q → q
~p
q
~p v q
q→q
∼ p ∨ q ↔ q → q
v
v
v
v
v
v
f
f
v
f
f
v
f
v
f
ff
v
v
v


3. Ejercicio 1.3

1. Juan estudia lógica. Si Juan estudia lógica entonces es inteligente.Por tanto, Juan es inteligente. P→Q si es válida

2. Pepe ve la televisión, si ve determinados programas sumente se degrada,
Si se degrada su mente se vuelve poco inteligente. Pepe es poco inteligente.
P → q ↔ q^ r → r si es válida

3. No juego al futbol a menos que juegue a baloncesto. Además, si juego al
baloncestome dan un premio. Por tanto, juego al fútbol sólo si me dan
Un premio. ~p v q → q ^ r→ p ^q No es válida.