Taller Lógica Básica

Taller lgica bsica
(1) Sea P :Me gusta la fruta, Q:No me gusta el cereal y R: S cocinar un homelete.
Traduzca las siguientes afirmaciones en palabras.
(a) P Q.
(b) R.
(c) P Q.
(d) (R P ) Q.
(e) R (P Q).
(f) (P R) Q.
(g) P (R Q).
(h) (P Q) (Q R).
(2) Sea E:La casa es azul, F :La casa tiene 30 aos y G:La casa es fea. Transcriba las
siguientes frases en afirmaciones del clculo proposicional.
a) Si la casa es azul, entonces es fea o tiene 30 aos.
b) La casa no es fea si y solo si tiene 30 aos.
c) La casa tiene 30 aos si es azul, y no es fea si tiene 30 aos.
d) Para que la casa sea fea, es necesario que sea fea y tenga 30 aos.
(3) Indique cul de las siguientes afirmaciones es tautologa, contradiccin, o ninguna de las
dos.
(a) [(P (Q R)) ((R Q) Z )].
(b) [R (S T )] [R T ].
(c) [(R S) (S T )] [R T ].
(d) (X Y ) ((X Y )).
(e) (A B) (A B).
(f) ((X Z ) (X Y )) X .
(4) Sea T una tautologa y C una contradiccin. Dada una afirmacin P , verifique que las
siguientes afirmaciones son tautologas.
(a) (T P P ) (Eliminacin de una verdad en una conjuncin).
(b) (C P P ) (Eliminaci n de una falsa en una disyuncin).
(c) T P es tautologa.
(d) C P es contradiccin.
(5) Justifique, mediante tautologas, el ejercicio anterior o tablas de verdad, que las
siguientes afirmaciones son tautologas del clculo proposicional.
(a) (P Q) (R S) (P R) (P S) (Q R) (Q S) .
(b) (P Q) (R S) (P R) (P S) (Q R) (Q S) .
(c) (P Q) ((P Q) (P Q)).
(d) ((P Q)) (P Q) (Q P ). (e) ((P Q)) ((P ) Q).
(f) ((P Q)) (P (Q)).
1
(g) P (Q R) (P Q) R .
(6) Mediante las principales tautologas de la lgica proposicional, reglas de inferencia,
mtodo de la deduccin y ejercicios previos, justifique que las siguientes afirmaciones son
tautologas.
(a) ((P Q)) P .
(b) (P Q) ((P R) (Q R))).
(c) ((P Q) (P Q)) P .
(f) P (P (P Q)).
(g) (P (Q R)) ((P Q) (P R)).
(d) ((P R) (Q S)) ((P Q) (R S)).(h) ((Q R) P ) ((Q P ) (R
P )).
(e) P (P (P Q)).
(i) ((P Q) R) (P (Q R)).
(7) Escriba el recproco y el contrarrecproco de las siguientes afirmaciones.
(a) Si es jueves, estoy en Blgica.
(b) Buena fachada hace buenos vecinos. (c) Si x2 + 2x + 1 = 0 entonces x = 1.
(d) Un mltiplo de 3 es impar.
(e) Si x es divisible por 3 entonces es divisible por 6
(f) Si a, b son nmeros impares, entonces ab es impar. (g) Sean a, b, c son
nmeros impares, entonces a(b c)
es un nmero par.
(8) Niegue los siguientes enunciados.
(a) 5 > 0.
(b) 3 < 5 7 8.
(c) sin < 0 tan 0 0.
(d) Si y = 3 entonces y 2 = 7.
(e) w 3 < 0 implica que 2w+ 9 > 6w.
(f) a b = c sii a = b + c.
(12) Considere C el conjunto de los carros. Sea L(x, y) : x es tan rpido como y, M (x, y) :
x es tan caro como
y y N (x, y) : x es tan viejo como y. Traduzca las siguientes afirmaciones al lenguaje
comn.
(a) !xC yC L(x, y).
(b) xC yC M (x, y).
(c) yC xC (L(x, y) N (x, y)).
(d) xC !yC ((M (x, y)) L(x, y)).
(e) xC yC (M (x, y) xC N (x, y)).
(f) yC (xC yC N (x, y)) xC M (x, y) .
(13) Suponga que los posibles valores de p y q son frutas. Sea A(p, q) :p sabe mejor que
q, sea B(p, q) :p est ms maduro que q, y C (p, q) :p es de la misma especie que q.
Escriba las siguientes afirmaciones en smbolos.
a) Hay fruta tal que todas las frutas saben mejor que ella.
b) Para toda fruta, existe otra que est ms madura que ella.
c) Hay una fruta tal que todas las frutas saben mejor que ella y no son ms maduras que
ella.
d) Para toda fruta, hay una fruta de la misma especie que no sabe mejor que ella.
(14) Escriba la negacin de cada afirmacin. No escribir la palabra no aplicada antes de
un cuantificador (Por ejemplo, no escribir No todo chico esta bienpara el inciso (a). Para
solucionar estos problemas, recomiendo traducir la afirmacin a smbolos, aplicar la
negacin y, la frmula resultante, traducirla en palabras.) Recuerde utilizar cuantificadores
acotados (por ejemplo, en (g) utilice el conjunto de las casas en Medelln y el conjunto de
las personas).
a) Todos los chicos estn bien.
b) Hay bates que pesan 50lbs o ms.
c) La ecuacin 10x 2x 0 es cierta para todos los nmeros reales x.
d) Todo padre tiene que cambiar paales.
e) Todo platillo volador esta apuntando a conquistar alguna galaxia.
f ) Existe un entero n tal que n2 es un nmero perfecto.
g) Existe una casa en Medelln tal que todo quien entra va a las persianas.
h) Toda casa tiene una puerta que esta escrita.
i) Al menos una persona en Bogot tiene cada libro publicado en 1990. (17) Justifique o de
un contraejemplo a cada una de las siguientes afirmaciones
a) Para cada real no negativo s, existe un real no negativo t tal que s t.
b) Para cada real no negativo t, existe un real no negativo s tal que s t.
c) Para todo nmero natural n, existe un natural m tal que m < n.
d) Todos los nmeros primos son impares.
e) Para todo nmero racional q existen enteros a, p tal que p es primo y q = a .
f ) Para cada entero a, existe un entero b tal que a divide a b.
g) Existe un entero b tal que para todo entero a, se tiene que a divide a b.
h) Para cada entero b, existe un entero a tal que a divide a b.
i) Existe un entero a tal que para todo entero b, se tiene que a divide a b.
j) Existe un nico entero que divide al 1.
k) El producto de dos irracionales es irracional.

Taller Lógica Básica

Cargado por

Copyright:

Formatos disponibles

Taller Lógica Básica

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Taller Lógica Básica

Cargado por

Copyright:

Formatos disponibles

Taller lgica bsica

También podría gustarte