Sie sind auf Seite 1von 8

GUIA

LOGICA PROPOSICIONAL

1) Construir la tabla de verdad de las siguientes proposiciones:


a) b) c) ( p q) ( p q) (( p q) ( p q )

[ ( p (q r )] [( p q) ( p r )]

2) Demuestre sin ayuda de tablas , usando lgebra de proposiciones:

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)]

El smbolo representa la negacin

3) Compruebe si las siguientes proposiciones son : TAUTOLOGIAS ,CONTRADICCIONES O CONTINGENCIAS :


a) ( p q) p b ) ( p q ) q c) p ( p p) d ) [( p (q r )] [( p q ) r ] e) [ p ( q r ) ] [ ( q p ) r ]

4) Determine el valor de verdad de :


a) ( p q) r b) ( p q ) r c) ( p q ) q d ) ( p q) ( p q) e) p ( p q ) f ) [ p (q r )] [( p q ) r ] si p V ; q F r V si p V ; q F si si si si p V; p V; p V; p V; qF qF q F q F r V

5) Dadas las proposiciones : p: 2+2 = 4 , q : (4 4 = 2) (3 3 = 1)

r : [(4 = 3) (3 = 5)] (4 = 5)

Encontrar el valor de verdad de ( p q ) [ p (q r )]

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

Ejemplo : Si x es mltiplo de 4 , entonces no es menor que 3 Respuesta:


F ~H

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

IV Dados los conjuntos : A = {n IN /n < 10} B = {3,7,9}

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)

{{}}

VIII) 1) Sean A y B conjuntos tales que : a) A B = {a, b, c, d} b) A B = {a, c} Hallar A y B c) A B = {b}

2)

Sean

U = {x Z/ 1 < x 7} A = {x U/x > 2} B = {x U/4 x < 7} C = {x U/x 3}

Hallar a) (A B)c C b) (A B)c (C A) c) (A B)c (A B) d) [A (B C)]c

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

4) Sea U = IR y sean : A = {x U : x < 10} B = {x U : 3 x < 3,5} C = {x U : x > 0 x < 3} Determinar : a) Ac B b) (B A) Cc

c) (A C)c B)

d) [A (B C)]c

5) Usando las propiedades dadas , demostrar que :

A = A - (Ac B)