Lógica 49

1.30. EJERCICIOS PROPUESTOS.-

© Determinar cuáles de los siguientes enunciado, sonproporciones:

a) 5+ 7=16-4 b) 3 x 6 = 1 5 + 1 y 4 - 2 * 23 x5

c) ¿El silencio es fundamental para estudiar?

d) ¡Estudia lógica simbólica!

e) Nosotros estuuiamos en la Universidad Peruana

f) Los hombres no pueden vivir sin oxígeno.

g) ¡Arriba Callao!

h )5 +x=7 i ) 2 + x*3 + x

© Determine cuáles de los siguientes enunciados son enunciados abiertos:

a) x es hermano de y b) 28 <15

c) x+y+z* 1 d ) 9 x + 3>12

e) Tenga calma, no se impaciente

g) x es ingeniero y Juan es matemático.

h) La UNAC sobresalió en el deporte en el 2000.

© ¿Cuáles de las siguientes proposiciones son verdaderas y cuáles son falsas?

a) Sí 3 + 3 = 6, entonces 4 = 4

b) Si 5(7) = 35, entonces 10 - 3 = 13

c) Si 1 9 - 7 = 3. entonces 4(5 + 3) = 32

d) Si 2 = 3 entonces 8 es un número primo.

e) Si 3(7) es un número natural, ;ntonces17 es un número pr no

f) Si x = 2, entonces 3x = 6
 50 Eduardo Espinoza Ramos

(!) Deten' ¡nar el valor de verdad de las siguientes proposiciones:

a) (3 + 5 = 8) v (5 - 3 = 4) b) (3 + 8 = 11) v (7 - 3 > 1)

c) ( 5 - 3 = 8)------> ( 1 - 7 = 6) d) (4 + 6 = 9) <— > ( 5 - 2 = 4)

(?) Dados las siguientes proposiciones: p: 5 > 10

q: si x 2 +1 = 0, entonces x es un número real

r: “El punto medio de un segmento, equidista de los extremos del segmento”

t: Sí x + 3 = 0, entonces x = -3

Hallar el valor de verdad de las siguientes proposiciones.

a) [ ( pAq) ---- >r] a ~t b) [(p <— > q)--> ~ r A t ] v

(ó ) Si P{ x ) : x 2 -1 6 = 0: qvx): x - 12 = 0, r(x) : x 2 >9 . Hallar el valorde verdad de:

a) [p(2) a ~q(2)] <— >r(4)

b) [~p(4)----- > r(5)] v ~q(4)

c) [(p(l) a p(3)) <— >(r(2) v p(3)]---- > [~(p(2) v q(2))]

( 7) Si P( x) : x 3 =27 \ q{x): x 2 = 9 ; r(x): x < 10. Hallar el valor de verdad de:

a) (p (l)----- > q(12)] [r(-3) v ~r(3)]

b) [p(0) a ~q(-1)] v [r(-5)----- > (r(-6) v r(0)]

c)[(p(3) v p(2)) <— >(r(2) a ~q(3))] <— > [~q(3) v -p(-3)]

© Construir la tabla de verdad de las siguientes proposiciones:

a) (p<— > ~q) <— >(q----- >p) b) (p A -q )-- >(~pvq)

c) [(p v -r) a (p v r)] a [(q----- >p ) A( q v p ) ] d) ~(p v -q ) a (~p v r)

e) [p a (~q------- > p)] a [~(p <— >~q)------ > (q v~p)]

lj)gica 51

® Construir la tabla de vi rrdad de las siguientes, proposiciones:

a) (p a q) v (~p) = > ( p v q ) b) (p q) r

c) (p ^ q) (q p) d/ ((~p) v q) => (~q => ~p)

e) (p a r) => (~q v r) f) (p a q) v r <=> (~p v ~q) a (~r)

(lO) Hallar las tablas de verdad de las siguientes proposiciones:

a) p ----- > ( p v ~q) b) [(p v ~q)------>(q----- > p,]

c) [ p v ( q ------) ~r)] a l(~p v r) <— > ~q] d) ~H p a q )-----» ~q] v p

e) ~{[(p-----> q ) v ( q ----->r)]----- » (r----- >p)}

Deducir el valor de verdad de

a) (p ---- >r)----- » l(p v q) a ~q] b) (~ p A ~q )v~ q

c) [(~r v q) a q] <-----> [(~q v r) a s]

(l2) Indicar cuál es la tabla de verdad de cada una de las siguientes proposiciones:

~[(p v q) a (-p v ~q)]

Determinar cuál de las siguientes proposiciones son tautología

a) [(p v -q) a q]----- >p b) [(p a q) v q] t— > q

c) [~p a (q a ~r)J <— >f(~p a q) v ~(p v r)]

(l4) Por medio de una tabla de valores, establecer, si cada una de los siguientes esquemas
moleculares es tautología, contingencia o contradictoria.

a) - [ ~ p ----- » ~(~q a ~p)J v ~( -p v -q) b) [(p v ~q) a ~p] a (~q--------

c) ~(p------ > q) <— >~(~q------» ~p)

d) lp ------ > (q ---->r)]<— > [ ( p A- r ) ---- >~q]

e) lp a (~q------------ >p)]A~l(p-> ~q)---> (q v ~p)]

f) f-p a (q v ~r)] <---- r lf~p a q) v ~(pv r)]

52 Eduardo Espinoza Ramos

Determinar mediante la tabla de verdad, cuales de las siguientes proposiciones son:

tautologías, contradicciones o contingencias

a) (p------> q) a (q -----» p) b) [ ( p v q ) A - q ] ------------ >p

c) ~ [ ( p v p ) ------ >p] d) ~(p v q) a p

e) [p------>(q— r)J a [(q v p)---- » r]

Determinar cuáles de las siguientes proposiciones son tautología, contradicciones y

contingencias.
a) ~(~P)<— > ~H ~p)] b) (~p v q) a (~q---------- >p)

c) (p v q) a r <— >~(p a r) a -(q a r)

d) [(p a q a r)------> s] <— >[(p a q )----------------> (r-------> s)]

(17) Dadas las proposiciones siguientes:

a) ~(p a q) <— > ( p v ~q) b) ~(p------> q) <— > ( p v - q )

c) -(p <— >q) <— >(~p <— > -q)

indicar cuál o cuales es una contradicción

(18) ¿Algunos de las siguientes proposiciones es una tautología?

a) - K p v q ) ------»~q]<— » (p------> q)

b) ~[(~p) <— » q] <

— » (p ------->q)

c) ~[(p a q) v (p a (~p v q))] <— > (p ------------->-q)

Determinar cuál de las siguientes proposiciones son tautologías, contingencias o

contradictorias.
a) [(p a ~q) a (~p----->r)]----- >(p v ~q)

b) {p v (q ----- >-r)] a [(~p v r) <— » -q]

c) [(~p a q )----- »-r] <— » [r a ~(p v ~q)]

d) ~{(p a q) v [p a (~p v q)]} <— > (p -----» -q)

Lógica 53

@ t,Cual de las iguienies esquemas no señalar una tautología?

a) (p a q) <=> (q v p; b) (p a q) <=> (~p a ~q)

c) (p a q) <=> (q a p) d) (p-> q ) « ( - p A - q )

(2^ Determinar la validez del esquema: ~|~(~p a ~q)----- >~( pv q)] «— * [—(—P v q)]

(22) ¿Cuál de las siguientes proposiciones es una tautología,

aj (p a q) v [p a (~p v q)] <— >(p----- > -q)

b) —[—(p v q)----- >~q]<— >(p-----> q) c) ~(~p----- >q) <---» (p <--------->

23) Construir la tabla de verdad y determinar cuáles son tautología, contradicción o

contingencia.

a) (p ----->q)<— M(r ------> q ) A( q ------>p)]

b) (p-----» (q v ~r)] a ~Ip <— >rj

(24) ¿Cuales de las siguientes proposiciones es una tautología?

a) —{(p a q) v [p a (—p vq)]] <---->(p---------------> ~q)

b) ~(-p<— >q)<— >(p<— >q) c) [(p v —q) a q]------>p

d) —[(—p v q)----- > q] «— >(p----- * q)

e) [~p a (q v ~r)] <---- > [(~p a q) v ~(p v r)]

@ Simplificar las siguientes proposiciones:

a) {[(~qj — » ( -q)]--------------------------------------->[(~p)---------- > (~q)]}-* ~(p a q;

b) [(p----> q) v -p] a (~q------- >p) c) ~{[~(~p a q) v ~q]---- > H p v ~ q ) ] }

d) (~p v ~q) a [~p a (q > p)] e) [(p = > q ) ^ ( p A q)] v (p a r)

f) -[-(p a q) -» ~q] v p g) [(—p a q) => (q => p>] a p

'26 Simplificar la» siguientes proposiciones:

54 Eduardo Espinoza Ramos

a) [(~p a q )----- »(r a ~r)] a ~q

b) K~q----- * ~ p)----- * (~p---- > ~q)] a ~(p a q)

c) [(p a q) v (p a ~q)] v (-p a -q) d) (p a q) v (~p a ~q) v p

e) t => [(p => q) => q] a [~p a (q => p)] f)[~(p => q) => ~(q => p>] a (p v q)

g) [(p a -q) a (q p) a r] v p

27) Si ~[(~p v q) v ( r -----> q)] a [(~p v q )----->(q a ~p)] es verdadera, hallar los valores de
verdad de p, q y r.

(S ) Si la proposición (p ----->~q)----- >( r ----->~s) es falsa. Hallar el valor de verdad de las

proposiciones p,q,r,s.

^9) Si la proposición ~(p a q) a (q <— » p) es verdadera; entonces hallar ios valores de verdad
de p y q respectivamente.

30) Si la proposición (p => ~q) v ( ~ r ------ > s) es falsa. Hallar el valor de verdad de los
siguientes esquemas moleculares.

a) (p = > q) => [(p v q) a ~q] b) (~r v q; <=> [(~q v r) a s]

c) (~p a -q ) v -q

(5 ^ Determinar el valor de verdad de las proposiciones p y q si se conoce la información

siguiente:
a) íp a q) <=>(p v q) es verdadero b) ~(pAq) es verdadero

(32) Determinar el valor de verdad de lasproposicionesp y q si se conoce que el valor de

verdad del siguiente esquema [—(~p => q; => ~(p----- >~q;] => (p ----- >q) es falso.

(33) Si p y q son verdaderos ¿para qué valores de r, el esquema siguiente es

verdadero? (r----->p) (~q => r)

34) Si se tiene los siguientes datos: p es verdadero; r => ~p es verdadero y w t es

verdadero, hallar el valor de verdad de ~r y de t.