LÓGICA PROPOSICIONAL

No vendré a cenar esta noche p : ¬p

Es imposible que pueda olvidar lo sucedido q : ¬q
No es cierto que no se lo dijera r : ¬¬r

Viene cansado p y deprimido q : p  q

Ana quiere a Luís p pero no es tonta q : p ¬q
No es cierto que sea viuda p y no tenga hecha la cirugía q : ¬ (p ¬q)

O vamos al cine p o nos aburrimos soberanamente q : p v q

Es imposible que pueda volver p o olvidar lo sucedido q : ¬ (p v q)
O no es cierto que le gusten los niños p o tiene muy mala leche q : ¬p v q

Si hubiera venido en coche p aun estaría buscando aparcamiento q : p  q

Cuando traigas el taladro p, te arreglaré la cortina q : p  q
Si no cambias de hábitos p entonces se acabará cansando de ti q : ¬p  q
Sería sumamente feliz q si os callarais p : p  q
Escribiría un libro q si tuviera tiempo p : p  q

Un pueblo es democrático p si y sólo si hay elecciones libres q : p  q

Sólo si cambias de actitud p, estaré dispuesto a ir tus quejas q : p  q
Serás feliz p sólo si buscas el placer q y no te dejas esclavizar por los deseos r : p  (q  ¬r)

Sacó más de cinco puntos en el examen p : p

Aprobó el examen p : p
Aprobaré p : p
Suspenderé p : ¬p

La comida no le supo bien p : ¬ p

Mañana es sábado p y nos iremos a la playa q : p  q
Aunque tú no me quieras p, yo te amo q : ¬p  q
O bien te lo comes p o no verás la tele q : p ∨ ¬ q
O lo recoges todo p o no vas de excursión q y no te regalo el vestido r : p ∨ ( ¬ q ∧ ¬ r )
Si vienes p, no te lo olvides en casa q : p →¬ q
Si no estuvo aquí el asesino p, entonces no llegó a verle q o lo supo tarde r : ¬ p →( ¬ q ∨ r )
No por mucho madrugar p amanece más temprano q : ¬ ( p→q )
Sólo si baja la Bolsa 15 puntos p, deberás vender el 10% de las acciones de la empresa q y no
comunicarlo al Consejo r : p ↔( q ∧ ¬ r )
Sólo en el caso de que no sepas hacer el dibujo p y haya dos preguntas en la 2ª casilla del examen q,
deberás contestar únicamente a la primera de ellas r : ( ¬ p ∧ q )↔r
Si Pedro sabe hablar inglés p, entonces no habla francés q, aunque si no supiese hablar inglés p,
tampoco hablaría francés q : ( p →¬ q ) ∧ ( ¬ p→¬ q )
Si llegas después de las 10 p, estará la puerta cerrada q y no podrás cenar r : p →( q ∧ ¬ r )
Juan abrirá la puerta p y saldrá a la calle q, sólo en el caso de que, si viene María con el coche r, no
venga con ella Pedro s : ( p ∧ q )↔( r→¬ s )
No es verdad que si Antonio estudia p, entonces María no trabaje q : ¬ ( p → ¬ q )
Sólo si tú no lo has matado p, te dejaremos libre q : ¬ p ↔q

1
Si me abandona p me sentiré muy solo q. Si continúa conmigo ¬p seguiremos peleándonos sin parar r.
Si me siento solo q o nos seguimos peleando continuamente tendré una fuerte depresión s. Es obvio
que tanto si me deja p como si sigue conmigo ¬p entraré en una fuerte depresión s.

P1: p  q
P2: ¬ p  r
P3: ( q v r )  s
_____________
C: ( p v ¬ p)  s

TABLAS DE VERDAD
Negador Conjuntor Disyunción Condicional Bicondicional
p ¬p p q p∧q p q p∨q p q p→q p q p↔q
v f v v v v v v v v v v v v
f v v f f v f v v f f v f f
f v f f v v f v v f v f
f f f f f f f f v f f v

Elabora la tabla de verdad de la siguiente fórmula: (p∧ q) → (r ∨ ¬q)

2
1. Jaime se come el polo o se le derretirá; no se derrite el polo; por tanto, Jaime se come el polo.

[(p v q)  ¬ q]  p

p q ¬q (p v q) [(p v q)  ¬q] [(p v q)  ¬ q]  p

V V F V F V
V F V V V V
F V F V F V
F F V F F V

Tautología

2. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor que Plutón, si la
Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Júpiter es mayor que
Plutón.

[(p  q)  (q  r)]  (p  r)

p q r (p  q) (q  r) [(p  q)  (q  r)] (p  r)
V V V V V V V
V V F V F F F
V F V F V F V
V F F F V F F
F V V V V V V
F V F V F F V
F F V V V V V
F V F V F F V
[(p  q)  (q  r)]  (p  r)
V
V
V
V
V
V
V
V

Tautología

3
3. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. Así pues, siempre
que me entra un hambre atroz, viajo.

[(p  q)  (q  r)]  (r  p)

(r 
p q r (p  q) (q  r) [(p  q)  (q  r)]
p)
V V V V V V V
V V F V F F V
V F V F V 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 V V V V
[(p  q)  (q  r)]  (r  p)
V
V
V
V
F
V
F
V

Indeterminación

4
4. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el colegio. Si no saca
buenas notas, no lo pasa bien en el colegio. Así pues, Guillermo obtiene buenas notas.

Guillermo estudia: p
Guillermo notas: q
Guillermo colegio: r

((p -> q) & (¬ p -> r)) & (¬ q -> ¬ r) -> q

( ( p -> q ) & ( ¬ p -> r ) ) & ( ¬ q -> ¬ r ) -> q

V V V V F V V V V F V V F V V V
V V V V F V V F V F V V V F V V
V F F F F V V V F V F F F V V F
V F F F F V V F F V F V V F V F
F V V V V F V V V F V V F V V V
F V V F V F F F F F V V V F V V
F V F V V F V V F V F F F V V F
F V F F V F F F F V F V V F V F

TAUTOLOGÍA

5. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al fútbol; no
juega al fútbol. Por tanto, Eduardo juega al baloncesto.

Eduardo baloncesto: p
Eduardo tenis: q
Eduardo fútbol: r

((¬p -> q) & (q ->r)) & ¬r ->p

(( ¬ p -> q ) & ( q -> r )) & ¬ r -> p

F V V V V V V V F F V V V
F V V V F V F F F V F V V
F V V F V F V V F F V V V
F V V F V F V F V V F V V
V F V V V V V V F F V V F
V F V V F V F F F V F V F
V F F F F F V V F F V V F
V F F F F F V F F V F V F

TAUTOLOGÍA

6. Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir; si nos quedamos a cenar
o a dormir no iremos mañana al concierto; por consiguiente, iremos mañana al concierto.

Tormenta continua: p
Anochece: q
Quedamos a cenar: r

5
Quedamos a dormir: s
Iremos concierto: t

(((p v q) -> (r v s)) & ((r v s) -> ¬t)) -> t

((( p v q ) -> ( r v s )) & (( r v s ) -> ¬ t )) -> t

V V V V V V V F V V V F F V V V
V V V V V V V V V V V V V F F F
V V V V V V F F V V F F F V V V
V V V V V V F V V V F V V F F F
V V V V F V V F F V V F F V V V
V V V V F V V V F V V V V F F F
V V V F F F F F F F F V F V V V
V V V F F F F F F F F V V F V F
V V F V V V V F V V V F F V V V
V V F V V V V V V V V V V F F F
V V F V V V F V V V F V F V V V
V V F V V V F V V V F V V F F F
V V F V F V V F F V V F F V V V
V V F V F V V V F V V V V F F F
V V F F F F F F F F F V F V V V
V V F F F F F F F F F V V F V F
F V V V V V V F V V V F F V V V
F V V V V V V V V V V V V F F F
F V V V V V F V V V F V F V V V
F V V V V V F V V V F V V F F F
F V V V F V V F F V V F F V V V
F V V V F V V V F V V V V F F F
F V V F F F F F F F F V F V V V
F V V F F F F F F F F V V F V F
F F F V V V V F V V V F F V V V
F F F V V V V V V V V V V F F F
F F F V V V F V V V F V F V V V
F F F V V V F V V V F V V F F F
F F F V F V V F F V V F F V V V
F F F V F V V V F V V V V F F F
F F F V F F F V F F F V F V V V
F F F V F F F V F F F V V F F F

INDETERMINACIÓN