Académique Documents
Professionnel Documents
Culture Documents
Ejercicio n 1
a) Indicar cuales de los siguientes enunciados son proposiciones
o
o
o
o
o
6 es un nmero impar
3+6=9
x+y9
San Martn es un prcer argentino
Qu bien ests !!!
o
o
o
o
o
o
o
o
o
(pq) (q p)
(p q) q
(q p) q
[p (q r)] [(pq) (p r)]
p (p q)
(p q) p
[(p q) p] (pq)
[(p q) (r s)] [(p r) (q s)]
( p q ) p
Ejercicio n 3
Considerar las proposiciones p, q, r y resolver cada una de las siguientes
cuestiones:
o Usando la contradiccin P P, demostrar que (p q) (p q) es
una contradiccin
o Sin hacer la tabla de verdad mostrar que las siguientes proposiciones
son equivalentes: [p q) r ] y [(p r) (q r)]
o Dar los casos para los cuales la proposicin (q [ ( p r) s ])
[s ( r q)] es verdadera
o Demostrar que p (qr) y ( p q) r son equivalentes
Ejercicio n 4
Para la siguiente proposicin: No puedo entender el tema si no me ayudas
Se pide:
o Escribirla simblicamente
o Dar los enunciados recproco, contrario y contrarrecproco
Ejercicio n 5
Para las siguientes proposiciones se pide simplificarlas
o
o
o
o
o
o
o
( p q) q
(p q) [( p q) ( ( p r)) q]
[( p q) r] - q
p q [( p q) (p q) ( p q)]
(p (s q)) ( q s )
{[( (p q) r) (( p r ) r)] q}s
(p q) (p q) (p q)
Ejercicio n 6
Probar, sin hacer las tablas de verdad, cada una de las cuestiones planteadas.
T significa tautologa y C: contradiccin
o [(p q) p] T
o ((p q) p) C
o [(q p) (p q) (q q)] p
o [(p p) (p p)] C
Ejercicio n 7
Sin usar tablas de verdad analizar la validez de los siguientes razonamientos.
o
o
o
o
[(p q) (q r)] (p r)
[(p q) p] q
[(p s) ( pq) (q s)] p
[ p ((s r) (s t)) t] p
Ejercicio n 8
Dar la conclusin para cada uno de los siguientes casos. Indicar la regla de
inferencia usada.
o Si estudio aprobar la materia. No estoy estudiando
o Las funciones trigonomtricas son peridicas. Las funciones
peridicas son continuas
o Voy al cine. Si voy al cine me gusta comer nachos.
o El verano me alegra. El invierno me entristece. Es verano o invierno
Ejercicio n 9
Considerar las siguientes proposiciones: p=Estudio mucho, q= Entiendo todo,
r= Apruebo la materia. Escribir simblicamente y analizar la validez de cada uno
de los siguientes razonamientos:
o Si estudio mucho entonces entiendo todo. Si no apruebo la materia
entonces no entiendo todo. Por lo tanto apruebo la materia
o Si estudio mucho o apruebo la materia entonces entiendo todo.
Entiendo todo. Por lo tanto si no estudio mucho entonces apruebo la
materia.
Si y x = 5, entonces x = x 2
Si [(2y = x) y (x:4 = 1)], entonces x = 4y 3
Si x. y 35, entonces x = 3y + 7
Ejercicio n 11
Considerar las siguientes proposiciones definidas en el conjunto de los nmeros
enteros.
p(x; y; z): x. y = z, q(x; y): x = y, r(x; y): x > y. Escribirlas simblicamente y
dar el valor de verdad de las siguientes proposiciones
o
o
o
o
o
o
o
Ejercicio n 12
En el conjunto de los nmeros enteros analizar el valor de verdad de las
siguientes proposiciones:
o x: x < 2 x
o x: x < 2 x
o x: x = 2
o x: x = 2 x
Ejercicio n 13
Identificar las variables libres y ligadas para cada uno de los siguientes casos
o x [p(x) y : (t(x; y) r(y))]
o x [p(x; z) x (t(y; z) ]
Ejercicio n 14
Sean los predicados: p(x; y; z): x +z = y, q(x; y; z): x .y = 2z definidos en el
conjunto de los nmeros naturales. Escribir simblicamente y dar su valor de
verdad
o
o
o
o
o
Ejercicio n 15
Dar el valor de verdad de las siguientes proposiciones con dominio en el
conjunto indicado
a) En el conjunto de los nmeros reales
o
o
o
o
x y: x y = 4
y x: x y = 4
x y: x y = 4
y x: x y = 4
b) A= {1, 3, 5, 15}.
x y: x es mltiplo de y
c)
Ejercicio n 16
Negar cada uno de los siguientes predicado con dominio en D
o x: [y (z: ( t: p(x; y; z; t))]
o x[y ( z: p(x; y; z) )]
o Para p( x; y; z) = x z y con el enunciado anterior en Z
Ejercicio n 17
Escribir simblicamente e indicar la validez de los siguientes razonamientos: