TAREA LOGICA MATEMATICA.pdf - mmlopez

Lógica
1.30.
©
49
EJERCICIOS PROPUESTOS.Determinar cuáles de los siguientes enunciado, sonproporciones:
a)
5+ 7=16-4
c)
¿El silencio es fundamental para estudiar?
d)
b) 3 x 6 = 1 5 + 1 y
¡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)
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)
©
4 - 2 * 23 x5
28 <15
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
f)
Si x = 2, entonces 3x = 6
número pr no
lj)gica
®
(lO)
51
Construir la tabla de vi rrdad de las siguientes, proposiciones:
a)
(p a q)
c)
(p ^ q)
e)
(p a r) => (~q v r)
v
(~p) = > ( p v q )
(q
p)
b)
(p
q)
r
d/
((~p) v q) => (~q => ~p)
f)
(p a q) v r <=> (~p v ~q) a (~r)
Hallar las tablas de verdad de las siguientes proposiciones:
a)
p ----- > ( p v ~q)
c)
[ p v ( q ------) ~r)]
e)
~{[(p-----> q ) v ( q ----->r)]----- » (r----- >p)}
a
l(~p v r) <— > ~q]
b)
[(p v ~q)------>(q----- > p,]
d)
~H p
a
q )-----» ~q] v p
Deducir el valor de verdad de
(l2)
a)
(p ---- >r)----- » l(p v q) a ~q]
c)
[(~r v q) a
b)
(~ p A ~q )v~ q
q] <-----> [(~q v r) a s]
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)
c)
(l4)
[(p v -q)
a
q]----- >p
b)
[(p a q) v q] t— > q
[~p a (q a ~r)J <— >f(~p a q) v ~(p v r)]
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)
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)]
b)
[(p v ~q)
a
~p]
a
(~q--------