Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LOGICA PROPOSICIONAL
[ ( p (q r )] [( p q) ( p r )]
a) b) c) d) e) f)
[ p q ] [ ( p q )] [( p (q r )] [( p q) ( p r )] [ q p] [p q] [ p q] [( p q) ( p q)] [( p (q r )] [( p q) ( p r )] [( p q) r ] [( p r ) (r q)]
r : [(4 = 3) (3 = 5)] (4 = 5)
6)
Los valores de verdad de las proposiciones p, q, r y s son respectivamente V, F, F, V. Obtener los valores de verdad de:
a)
[( p q) r ]
b) r ( s p )
c)
( p r ) (r s )
7) Escriba en forma simblica las proposiciones compuestas sabiendo que: E: x es par F: x es mltiplo de 4 G: x > 5 H: x < 3
i) Si x es mayor que 5, no es menor que 3. ii) Si x es par, pero no un mltiplo de 4, entonces es o mayor que 5 o menor que 3. iii) Para que x sea un mltiplo de 4, x debe ser par.
8) Traduzca cada una de las siguientes expresiones simblicas a frases en lenguaje comn: Ejemplo : H ~ G (En Castellano: Si x es menor que 3, entonces x no es mayor que 5) i) ii) iii) G E (E H) F (H v F) G
9) En los problemas siguientes, clasifique cada una de las proposiciones dadas como tautologa, contradiccin o contingencia:
a ) [ p ~ ( p q )] c) ( p q) ( p q) e) ( p q ) (~ q ~ p ) g ) [ p (q r )] [( p q ) ( p r )] b) ( p q ) ~ ( p q ) d ) [ p (q r )] [q ( p r )] f ) ( p q ) [( p q ) (q p )] h) [( p q ) ( p r )] (q p )
LOGICA CUANTIFICACIONAL 1) Determine el valor de verdad de cada una de las siguientes proposiciones siendo el universo, el conjunto de los nmeros reales. a) x IR ; x - 1 > x + 1 b) x IR ; x = x c) x IR; x + 1 >2 d) x IR; x + 1 =0 e) x IR; y IR ; x - 2y < 10 f) x IR; y IR ; x + y < 10 g) x IR; y IR; x + 2y < 10 h) x IR; y IR; x + 2y < 10
2) Niegue cada una de las proposiciones anteriores. 3) Determine el valor de verdad de las siguientes proposiciones,considerando que U = {1, 2, 3, 4, 5}
a) x U : x + 3 = 10 d) x U : x 2 + 2 5 e) x U : x 2 1 0 b) x U : x 3 4 d) x U : x 2 2x > 1
4) Elija un universo apropiado y escriba en smbolos, la expresin siguiente: "Si una pera es verde entonces no todas las peras son verdes" Todos los alumnos realizan algunos ejercicios
5) Dadas las proposiciones : i) El cuadrado de todo nmero real es mayor que 2. ii) Existen enteros cuyo cubo aumentado en 1 es igual al cubo del siguiente. iii) Todo el que estudia triunfa. Expresarlas simblicamente, negar las expresiones obtenidas y traducirlas al lenguaje castellano.
6)
Considere la proposicin : ( x IR)( y IR) : x + x = y + y a) Determine el valor de verdad de la proposicin. b) Exprese la negacin de la proposicin. c) Probar que : [(x y) (x + x = y + y)] (x + y = -1)
CONJUNTOS
III Para los conjuntos X y las correspondientes condiciones p(x) que se dan a continuacin , escribir todos los elementos del conjunto A = {x X / p(x)} a) X = IN , p(x) : x + 5 < 12 b) X = Z , p(x) : 0 < x < 1 c) X = IR , p(x) : x 2 = 2x 1
D = {n IN /n es impar} E = {n IN /n es primo} F = {n IN /n tiene dos factores primos distintos} G = {n IN /n es potencia de un nmero primo} Det Derminar cules de las siguientes proposiciones son verdaderas a) E D b) B A c) B E d) B G e) E F f) F C
C = {n IN /n es par}
V Para cada uno de los siguientes conjuntos 1 A 3 = {x IR/0 < x 1} , A 4 = n Z/ Z n Determine cules de los siguientes conjuntos son iguales a l : B1 = {x IR/x es un pltano cosechado en el polo sur} A1 = {0,1} , A 2 = x IR/x 2 + 1 = 0 , B 2 = x IR/x(1 + y 2 ) = 1 B3 B4
2 2
{ = {x IR/x = {x IR/x
} = x}
=1
VI Cules de los siguientes conjuntos contiene un slo elemento?Cules son vacios? a) {x IR/0 x < 0} b) {x IR/0 x 0} c) {7} d) IR g) x IR/x = 2x 1
2
e) h)
{}
{x IR/x
= 1
f) x IR/x 2 = x i)
{{}}
2)
Sean
3) Sean los conjuntos A = {1,2,4,5,7} B = {7,8,9} C = {1,2,3,4} Es verdad que : a) (A - (A - B))c = (Ac Bc ) b) (A C) (A B) A c) (A B) (B Ac ) = A
c) (A C)c B)
d) [A (B C)]c
A = A - (Ac B)