Introducción a la Lógica Proposicional

I) Utilice un conectivo lógico en cada espacio para enlazar las

siguientes proposiciones, teniendo en cuenta que éstos no se deben
repetir:

a) _si___3x4=17 __entonces_____ 12º =1.

b) 3+2= 5___o____ 7º =1.
c) La casa de gobierno de USA __no_____ es amarilla.
d) 25x5 = 10__si y solo si ________ 3x7 = 21.
e) El número 3 es impar _____y________ el 2 es un número primo.
f) ___o_____ escoge un lápiz __o____ un lapicero.

II) Completa correctamente los siguientes planteamientos:

a) O 9x4=36___ O 4x9=36__________________________________________
b) Si 3x5 es igual a 5_enonce 5x5 es igual a 15_________________

III) Un estudiante de Lógica Matemática observa un mouse y un

teclado en el extremo de un salón. La persona encargada establece
que no puede usar ninguno de los dos. Representa esta situación con
el lenguaje simbólico.

p= puedes usar el mause ˜p ˜q

q= puedes usar el teclado

IV) Utilice el Lenguaje Simbólico para representar las siguientes

proposiciones:

a) Todo número entero es número natural.

b) Si 30+50=2, entonces 2 es un numero primo. p q
c) 10:5 =2, si y solo si el número √2 ekis irracional. p q
d) 15 es un múltiplo de 5 y 6 < 7 p Λq
e) 5 + 7 =12 o 122= 14 pvq

V) Dadas las proposiciones P: El 2 es un número primo par, Q: 9x8= 71,

R: 9-9=0, S: 7x6+2=44 y T: 5-4+3-1+3=6. Determine el valor de verdad
en cada caso:

a) P Λ Q verdadera
b) P v R verdadera
 c) ~P → S verdadero
d) R → ~T falsa
e) P v T verdadera
f) R↔ T verdadera
g) ( P Λ T) V (P V ~ S) verdadera
h) (~ Q V T) Λ (~P V S) verdadera

VI) Complete correctamente las siguientes tablas:

a) b) c)
P Q QVP
V v V
v F V
f v V
f f F

d) e) f)
P Q Q↔P
P Q Q↓P
V v V V v v
v F F v F f
f v F
f v v
f f V
f f V

g)
p Q r ~p ~q (p v q) (~ p ^ ~ q) p→ q (p v q) p↔r
V V V f F V F V F V
V V F f F V F V F V
V F V f V V F F V F
V F F f V V F F V F
F V V V F V F V V F
F V F V F V F V V F
F F V V V F V V F V
F F F V V F V V F V

VII) Piensa un poquito y analiza: Si tú compras una tarjeta de llamada telefónica y se te

borra el último número. ¿Cuántos intentos máximos darías para saber el número
borrado? 10 intentos
VIII) Cuadrado mágico: Utilizando los números del 1 al 9, (sin repetir números)
completa el siguiente cuadro de tal manera que sume 15 por todas partes, es decir por
todas las filas, por todas las columnas y por todas las diagonales.

4 9 2

3 5 7

8 1 6

IX) Sean p, q y r proposiciones, tales que: p es V, q es F, r es V. Determine el valor de

verdad de las siguientes proposiciones:
a) p qq r↔p rverdadera 
b) p ↓r ↔q r verdadera
c) p qr pverdadera
x) Completa la siguiente tabla y luego clasifícala en tautología, contingencia o
contradicción:

p q ~p ~q (~p ^ ~q) (p v q) (~p ^ ~q)→ (p v q)

v V F F F V V
v F F V F V V
f V V F F V V
f F V V V F F
 XI) Demuestre por medio de tablas de verdad si la siguientes proposiciones son
Tautología (T) Contingencia o Indeterminación (k) o Contradicción (C)

a) [(p → q) ∧ ~p] →~q tautología

P Q ~p ~q (p → q) (p → q) ∧ [(p → q) ∧
~p ~p] →~q

V V F F V F V

V F F V F V V

F V V F V V V

F F V V V V V

b-) [(p v q) ∧ r] ↔ [(p ↔q) v r ] contingencia

p Q R (p v q) [(p v q) ∧ r] p ↔q [(p ↔q) v r ] [(p v q) ∧ r] ↔ [(p ↔q) v r ]

V V V V V V V V

V V F V F V V F

V F v V V F V V

V F F V F F F V

F V V V V F V V

F V F V F F F V

F F V F F V V F

F F F F F V V F
 c) ~ {[~p ∧ (~q v p)] → q} contingencia

p Q ~p ~q (~q v p) ~p ∧ (~q v p) ~ {[~p ∧ (~q v p)] ~ {[~p ∧ (~q v p)] → q}

V V F F V F V v

V F F V V F V F

F V V F F F V V

F F V V V V F V

d) [(a v b) ∧ (a v c)] ↔ [a v (b ∧ c)] tautología

a b C (a v b) (a v c) [(a v b) ∧ (a v c)] (b ∧ c) [a v (b ∧ c)] [(a v b) ∧ (a v c)] ↔ [a

v (b ∧ c)]

V V V V V V V V V

V V F V V V F V V

V F V V V V F V V

V F F V V V F V V

F V V V V V V V V

F V F V F F F F V

F F V F V F F F V

F F F F F F F F V

e) [(a → b) ∧ (b →c)] ↔(a → c) contingencia

a b c (a → b) (b →c) [(a → b) ∧ (b →c)] (a → c) [(a → b) ∧ (b →c)]

↔(a → c)

V V V V V V V V

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

V F F F V F F V

F V V V V V V V

F V F V F F V F

F F V V V V V V

F F F V V V V V

f) [(p V q) ^ ( p→ r) ^ ¬ r] → q contingencia

P q r (p V q) ( p→ r) (p V q) ^ ( p→ r) [(p V q) ^ ( p→ r) ^ r] [(p V q) ^ ( p→
r) ^ r] → q

V V V V V V V V

V V F V F F f F

V F V V V V V V

V F F V F F F V

F V V V V V V V

F V F V V V F F

F F V F V F F V

F F F F V F F V

g) [ ((p ^ q) ^ ( q → r)) ^ r] → p contingencia

p q r (p ^ q) ( q → r) (p ^ q) ^ ( q → r) (p ^ q) ^ ( q → r)) ^ r [ ((p ^ q) ^ ( q → r)) ^ r]

→p

V V V V V V V V

V V F V f F F F

V F V F V F F F

V F F F V F F F

F V V F V F F V

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

F F F F V F F V

h) [(p ˄ q) ˅ ~r)] ↔(~p ˄ r) contingencia

p q r ~p ~r (p ˄ q) (p ˄ q) ˅ ~r) (~p ˄ r) (p ˄ q) ˅ ~r)] ↔(~p ˄ r)

V V V F F V V f F
V V F F V V V F F
V F V F F F F F V
V F F F V F V F F
F V V V F F F V F
F V F V V F V F F
F F V V F F F V F
F F F V V F V F F