Prctica No.

1
Introduccin a la lgica
I) Dadas las proposiciones P: El 2 es un nmero 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
El 2 es un numero primo par y 9x8= 71
b) P v R
El 2 es un numero primo par o 9-9= 0
~P S
Si El 2 no es un numero primo par entonces 7x6+2= 44
c) R ~T
Si 9-9 =0 entonces 5-4+3-1+3 no es = 6
d) P v T
O el 2 es un numero primo par o 5-4+3-1+3= 6
e) R
T
5-4+3-1+3= 6 Si y solo si 9-9 =0
f) ( P T) V (P V ~ S)
O el 2 es un numero primo par y 5-4+3-1+3= 6 o el 2 es un numero primo par o
7x6+2= 44
g) (~ Q V T) (~P V S)
9x8 no es = 71 o 0 5-4+3-1+3= 6 y El 2 no es un numero primo par o 7x6+2= 44
II) Complete correctamente las siguientes tablas:
a)
P
V
V
F
F

Q
V
F
V
F

b)

c)
P
V
V
F
F

QVP
V
V
V
F

Q
V
F
V
F

QP
V
V
F
V

d)
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

~p
F
F
F
F
V
V
V
V

~q
F
F
V
V
F
F
V
V

(p v q)
V
V
V
V
V
V
F
F

(~ p ^ ~ q)
F
F
F
F
F
F
V
V

p q
F
F
V
V
F
F
F
F

(p v q)
F
F
V
V
V
V
F
F

pr
V
F
V
F
F
V
F
V

III) Escribe las proposiciones pedidas en cada caso, tomando situaciones de la vida
cotidiana y laboral:
a) 5 que sean bicondicionales
Me voy a baar Si y solo si hay agua
Yo voy Si y solo si me vienes a buscar
Voy al supermercado Si y solo si tengo dinero
Pago la luz Si y solo si me pagan
Voy al parque si y solo si no llueve
b) 6 que sean condicionales.

c)
d)
e)
f)

7 que sean conjunciones.

5 que sean disyunciones exclusivas.
4 que sean disyunciones inclusivas.
5 que indiquen negaciones.

IV) Piensa un poquito y analiza: Si t compras una tarjeta de llamada telefnica y se te

borra el ltimo nmero. Cuntos intentos mximos daras para saber el nmero
borrado?
v) Cuadrado mgico: Utilizando los nmeros del 1 al 9, (sin repetir nmeros) 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.

VI) Completa la siguiente tabla y luego clasifcala en tautologa, contingencia o

contradiccin:

p
V
V
F
F

q
V
F
V
F

~p
F
F
V
V

~q
F
V
F
V

(~p ^ ~q)
F
F
F
V

(p v q)
V
V
V
F

(~p ^ ~q) (p v q)
V
V
V
F