PRCTICA DOMICILIARIA

1. Sean las proposiciones simples:

p: Maana viene Luca
q: Luca viaja a Lima
r: Luca consigue pasaje

Traducir las siguientes proposiciones moleculares:

a) ~(p q) ~r: Es falso que maana viene lucia, entonces no viaja a lima por lo tanto no
consigue pasaje

b) ~[r (~p ~q)]: Es imposible que luca consiga pasaje o que maana no venga puesto que
luca no viaja a lima

c) ~q [(p r) (~r q)]: Es falso que Lucia viaja a lima. Por lo tanto lucia viene maana y
consigue pasaje, si solamente si lucia no consigue pasaje y viaja a lima.

2. Formalizar las siguientes proposiciones y clasificar de acuerdo al tipo de conector (el de mayor
jerarqua)

a) Puedes ir al cine si terminas de pintar tu cuarto.

Pq
b) Juan debe rendir testimonio y decir la verdad o no tiene que rendir testimonio si dice la verdad.
(p q) ~ (p q)
c) El almuerzo ya est listo a pesar de que no es medio da.
p ~q
d) A la vez el resultado es un nmero primo o Mara est equivocada e igualmente Rafael.
p v ~ (q r)
e) Pedro estuvo en la fiesta si viaj en avin puesto que no lleg a tiempo si no viaj en avin.
P q ~ p r
f) Antonio se marcha maana y yo o Ricardo viajamos con l.
pqvr
g) Es objetable que, el Per tenga crecimiento econmico o en su defecto que se termine con la
recesin, a menos claro est, que no haya inflacin.
~(p v q) ~p
h) Si estudias lgica, entonces amars la ciencia y comprenders mejor a tus semejantes.
Pqr
i) Los nmeros 1,2 y 3 son naturales, sin embargo los nmeros 1 y 5 no son naturales consecutivos.
 P (q r) ~p
j) No rendir examen puesto que no hay clases.
~p q
k) Si la UTC gana el campeonato, entonces Alianza queda en segundo lugar y Cristal no gana todos
los partidos restantes.
p (q~r)

l) Porque consegu asiento libre para Otuzco en semana santa porque el chofer es amigo de mi
padre, no garantiza que no pague mi pasaje en el mnibus.
p
m) Maana viene Juan; luego, si no viene, viaja a Lima si consigue pasaje.

n) Como es hora laborable, entonces en el juzgado hay jueces y testigos. Sin embargo, si es hora
laborable en el juzgado hay jueces y hay testigos si en el juzgado hay jueces. En consecuencia,
en el juzgado ni hay jueces ni testigos.

o) Es imposible que la balanza comercial no arroje un saldo positivo y haya confianza en la

exportacin, no obstante los economistas proyectan correctamente las inversiones a largo plazo.

p) Si Rosa recibi la carta, o bien tomo el avin o bien no recibi el pedido. Rosa no tomo el avin,
entonces y slo entonces, Rosa no recibi el pedido ya que no recibi la carta.

q) Si el vio el partido de futbol, entonces o fue al estadio y pas por la casa de Pedro o lo vio por TV
y llam por telfono a Pedro.

r) Jos ser encontrado culpable si hoy rinde testimonio, puesto que si hoy rinde testimonio dir la
verdad y Jos no ser encontrado culpable si no dice la verdad.

PRCTICA DOMICILIARIA
 VERDAD FORMAL

1. Formaliza la proposicin siguiente y determina su valor de verdad correspondiente:

Si 2+3 = 6 2=3 entonces 2<3, si y solo si 23 y 2<3

p q r [(p v q ) r ] ( ~q ^ r)
v v v v f v v v f f f v
v v f v f v v f f f f f
v f v v v f v v v v v v
v f f v v f f f v v f f
f v v f v v v v f f f v
f v f f v v f f v f f f
f f v f f f v v v v v v
f f f f f f v f f v f f

La proposicin es contingenete.

2. Determinar el valor de verdad del siguiente esquema:

~ [~(p q) ( p v ~q)]
f v v v v v v f
V v f f f v v v
v f v v f f f f
F f v f v f v v
La proposicin es contingente.

3. Dadas las siguientes proposiciones:

A = Jpiter es un planeta
B = La luna no es un satlite
C = Los planetas es falso que son satlites
Encontrar el valor de veracidad de la siguiente frmula:

{[(A ^ B C)] v [(B v C) A]}

[(v ^ f v)] v [(f v v) v]}

( f v) v ( v v)

(v) v (v)

V Es verdadera.

4. Si la proposicin (p ~q) v (~r ~s) es falsa, hallar el valor de veracidad de la siguiente frmula:

[(p q)] [(p v q) ^~q]

5. Cules son los conectores lgicos que deben ir en la tabla, para que se hayan determinado los valores de
la matriz principal.

A B ~ (A ^ B) ~ (B A)
V V F v v v F v v v
V F V v f f V f f v
F V V f f v V v f f
F F V f f f F f v f

6. En que frmulas se produce una contradiccin:

a) ~(A B) (~ B ^ A) b) [( A B) ^ A] B

f v v v v f f v v v v v v v v

v v f f v v v v v f f f v v f

f f v v v f v v f v v f f v v

f f v f v v f f f v f f f v f

c) ( A B) ( A v B)

v f v f v v v
v f f f v v f
f f v f f v v
f v f f f f f

Solo la C es contradictorio.

7. Evaluar: (p ~q) (~p v ~q)

(~p v ~q) (~p v ~q)

~pv~q

8. Si p = V; ~q = F y ~r = V, qu frmulas son verdaderas?

a) [(p ~q) r] b) [(p ^ q) ^ ~ r]

v f v ^v

f f v ^ v

v v
 c) [(p ~q) r] d) ~[(p ^ ~q) r] [(~r v ~p) ^ q]

v f v ^ f fv f

f f f f f ^ v

v v f

Todas son Verdaderas.

9. Dadas las siguientes proposiciones:

A = 4 - 5 = -1
B = log 10 = 10
C = -4 5 = 9

De los esquemas siguientes cuales son falsos:

a) ~(A v ~ B) C b) ~[(~A ^ B) (~C A)]

v v v f ^ f v v

v f f f

f f v

c) [~A ~(C v ~B)] C

f ~(f v v) f

f ~(v) f

f f

v f

f Solo C es falso.
10. Dadas las proposiciones: p = 2 es un nmero primo, q y r cualquier proposicin tal que

~[(q v r) (r p)] es verdadera, hallar el valor de verdad del siguiente esquema (~ r v p) ~q

~[(q v r) (r p)]

v f f v p = v, q = v, r = f

v f

v Es verdad.

Hallar el valor de:

(~ r v p) ~q

vvv

f f

v Es verdad.
 PRCTICA DOMICILIARIA

1. Determine si las siguientes proposiciones son equivalentes o no.

a) [p (q v r)] con [(p q) v (q r)]
b) [p (q r)] con [p v (q r)]
c) [ (p v q)] con (p v q)

2. Determina cules de las proposiciones:

A = Si no es cierto que Juan no llegue a tiempo o no participe en el deporte, entonces no
tuvo problemas en el aeropuerto.
B = Juan no tuvo problemas en el aeropuerto, o no participe en el deporte a pesar de que
lleg a tiempo.
Es equivalente a la proposicin:
C = No es posible que Juan no llegue tiempo entonces no participe en el deporte.

A= (p v q) r
B= (p v q) r
C= ~ (~p~q)

A) p q r (~P ~q)~r B) p q r (p v q) r C) p q ~(~p~q)

VVV FF F V F VVV F V F V
VVF F F F V V VVF F V F F V F F F V F
VFV F V V F F VFV F V V V V V F F V V
VFF F V V V V VFF F V V F F F V V F F
FVV V V F F F FVV V F F V F V F V V V
FVF V V F V V FVF V F F F
FFV V V V F F FFV V V V V
FFF V V V V V FFF V V V F

3. Cul de las siguientes expresiones son lgicamente equivalentes a ( p v q ) r

a) p ( q r)
b) (p q) r
c) (p q) r
d) p (q v r)

A) p q r p ( q r) B) p q r (p q) r C) p q r (p q) r
VVV V F F F VVV V V V VV
VVF V F F F V V V F V F F VVF V V V V F
VFV V V V V V V F F V F F V FV VV V V V
 VFF V F V F VF V F V V V V FF V F F F F
FVV F F F F V F F F VV F F VV F V V V V
FVF F V F F F V V V F F F FVF F V V VF
FFV F V V V F V F V F FF FVV F V V V V
FFF F V V F F FV V VVV FVF FF FF F
F F F V V VV

D) pqr p (q v r)

V V V V F F F V

V V F V F F F F

V F V V V V V V

V F F V F V F F

F V V F V F F V

F VF F V F F F

F F V F V V V V

F F F F V V F F