UNIVERSIDAD DIEGO PORTALES

FACULTAD DE ECONOMÍA Y EMPRESA GUÍA DE EJERCICIOS N°1

GUIA Nº1-A : LENGUAJE SIMBÓLICO
PARTE Nº1 : LOGICA

I.- LOGICA de PROPOSICIONES:

1.- Sean los enunciados declarativos representados por las proposiciones p y q:
p: “4 es un número primo” y q: “4 es divisor de 32”
Exprese en español los enunciados representados por:
a) p Ù q b) q Þ p c) p Û q d) p Ú q e) p Þ q f) (q Ù p) Ú
q

2.- Si se sabe que p es falsa, q es verdadera y que r es falsa, determine el valor de verdad de
las siguientes proposiciones :
a) (p Ù q) Þ r b) (p Þ r ) Ù q c) ( p Ù r ) Û q d) (p Þ r ) Ù (r Ú p)

3.- Indique, en cada caso, si la expresión simbólica que corresponde es A: p Þ q ó B: q Þ p,
escribiéndola a su lado.
“p sólo si q” ......................
“p es una condición suficiente para q” ......................
“p es una condición necesaria para q” ......................
“Una condición suficiente para p es q” ......................
“Una condición necesaria para p es q” ......................
“Para que ocurra p es suficiente que ocurra q” ......................
“Para que ocurra p es necesario que ocurra q” ......................

4.- Considere las proposiciones lógicas, p: ‘Él es Ingeniero Civil’, q: ‘Él es Informático’, y, r:
‘Él es empresario’. Escriba en forma simbólica los siguientes enunciados:
a) Él no es Ingeniero Civil ni Informático, pero si Empresario.
b) Él no es Ingeniero Civil y es Informático.
c) Ser Ingeniero Civil o Empresario es lo mismo que ser Informático.
d) Si él es Ingeniero Civil e Informático, entonces es Empresario.
e) Si no es Ingeniero Civil y es Informático, entonces es Empresario.
f) Es Ingeniero Civil sólo si es Informático y Empresario.

5.- Defina proposiciones simples apropiadas y traduzca a metalenguaje los siguientes
enunciados :
a) “Si los limones son caros y el azúcar es barata, entonces es difícil encontrar limonada
amarga.“
b) “Una condición necesaria para que los limones sean baratos es que el azúcar sea cara.“
c) “Se encuentra fácilmente limonada amarga, a menos que el azúcar sea barata.“
d) “La limonada amarga se encuentra difícilmente si el azúcar es barata.“

Verifique si las siguientes proposiciones compuestas tienen carácter de Tautología. a) [(pÞq)Ù(rÚq)]:V b) {[(pÙq)Þ(pÙr)]Ú(pÞr)} :F c) { [ ( p Û q ) Û ( p Ú r ) ] Ù [ p Þ ( q Ù r ) ] } : V d) {[(pÚq)Ù (pÞr)]Þ[(pÙq)Ú(qÞr)]} :F e) { [ p Ù ( q Þ r ) ] Ú [ ( p Ú q ) Þ ( p Ù r ) ] } : F. Sabiendo que p Ù q  C. q y r en cada uno de los siguientes casos. Utilizando el álgebra lógica: a) Demuestre que: ( p Û q ) Ù p  p Ù q b) Si p Ú q  T. Contradicción o Contingencia : a) [ ( p Þ  q ) Û ( p Ú q )] Þ (p Þ q ) b) [ (q Ú p ) Þ q ] Ù [ q Ú ( q Þ p ) ] c) (pÞq)Þ[(pÙr)Þ(qÙr)] d) [ ( p Þ q ) Ù ( q Þ q )] Þ ( p Ù q ) e) [ a Þ ( b Ú c ) ] Ù [ ( a Ú b Ú c ) Þ { ( b Ú c ) Ù a } ] f) [ ( p Þ q ) Ù q ] Þ p g) [ ( a Ú b ) Þ ( a Ù b ) ] Û b h) [ ( p Þ q ) Ù ( q Þ q ) ] Þ ( p Ù q ) 7.. 2 6. 11...Demuestre que los esquemas p Þ ( q Ú r ) y ( p Ù q ) Þ r son lógicamente equivalentes. demuestre que: [ ( p Ú q ) Û ( p Ù q ) ] Ú q  T c) Simplifique al máximo: [ ( p Þ q ) Ù ( q Ú p ) ] Ù ( q Ù p ) d) Demuestre que: { [ p Þ ( q Ú p ) ] Ù q }  ( p Þ q ) e) Simplifique al máximo: i) [p Ú ( q Þ p ) ] Þ p ii) q Û [ p Þ q ] iii) ( p Þ q ) Ù ( q Þ p ) 10. 12. sin recurrir a tablas de verdad: a) { [ ( a Û b ) Ù c ] Ú [ ( a Þ c ) Ù b ] } b) ( p Ù q ) Ú [ ( p Þ q ) Þ ( q Þ p ) ] c) { [ a Þ ( b Ù c ) ] Û b } Þ ( a Ú c ) d) [ ( p Þ q ) Ù ( p Ù q ) ] Û ( p Ù q ) e) [ (q Ú r ) Þ p ] Ú [ ( p Û r ) Ù ( p Þ r ) ] f) { a Û [ c Þ ( a Ù b ) ] } Þ ( c Ù b ) g) [ ( p Û q ) Þ ( r Þ p ) ] Ù ( p Ú r ) 8. sabiendo que el valor de verdad del esquema propuesto es el que se indica. A través de una matriz de valores veritativos. F..Determine el valor de verdad de p . determine si los esquemas son Tautología.Demuestre que si q tiene v. demuestre que [ ( p Ú q ) Û ( p Ù q ) ] Ú p  T 9. de v. Comente su resultado.. Contradicción o Contingencia. entonces la proposición compuesta ( p Þ q ) Û [ ( q Ù r ) Ù ( p Ú q ) ] resulta ser Falsa.. ..

las siguientes equivalencias entre esquemas. Determine el valor veritativo del esquema ( r Ú p ) Þ ( r Ù p )..” Traduzca cada enunciado a metalenguaje y demuestre.Un funcionario bancario hizo tres declaraciones sucesivas.“Si Juan termina de solucionar ese problema y el horario de trabajo terminó. usando álgebra lógica.. a) q Þ [  p Þ  p Ú q ) ]   ( p Ù  p ) b) p Ù [  ( p Ú q ) Ú   q Ú p ) ]   ( p Þ p ) c) p Ú  [ p Ù ( q Ú  p ) ]  T d) [ (  p Ú  q ) Þ  p Ù  q ) ]  p e) [ ( p Ù  q ) Ú   q Ù  p ) ]   q f) q Ù  [ ( p Ù q ) Þ   p Ú  q ) ]  p Ù q 17.. La primera fue: “Si el jefe no se retira temprano. 19.Considere los enunciados : I. 14. q y r de las cuales se sabe que p Ù q es Verdadero. Luego dijo: “El jefe se retirará temprano o llegaré temprano a casa”... Si se supo que sus dos primeras afirmaciones son Falsas. usando álgebra de proposiciones. 18.Demuestre que el valor de verdad de ( p Þ q ) Ù [ ( p Ù r) Þ q Ú  r ) ] es independiente del valor de verdad de la proposición r.Se define el nuevo conectivo  mediante la tabla adjunta. Por último.Usando el álgebra lógica. ¿Qué valor de verdad tiene su última declaración ? 15.” II. entonces se retira muy satisfecho. y que q Ù r es Falso. que los enunciados I y II son equivalentes. o Juan se retira muy satisfecho.“Juan no terminó de solucionar ese problema o el horario de trabajo no terminó. entonces partiremos mañana a la playa o llegaré temprano a casa”. p q p q Exprese p Þ (qÚ r) sólo entérminos de las conectivas  y . V V F V F F F V F F F V ....Considere tres proposiciones p.Demuestre. hoy llegaré tarde a casa y partiremos mañana a la playa”. obtenga un esquema equivalente más sencillo para: a) [ p Ù ( q Ú p ) ] Ù q b) (  q Þ p ) Þ   p Ú  q ) c) ( p Û q ) Ú  q d)  ( p Þ q ) Ú q e)  p Þ [ q Þ ( p Þ  q ) ] f)  [ (  p Þ q ) Ù   p Ú q ) ] Ù p g)  [  ( p Ù q ) Ù   p Ú q ) ] 16. 3 13. declaró: “Si el jefe se retira temprano y partiremos mañana a la playa..

CUANTIFICADORES: 1. b) Niéguelo y simplifíquelo. de v.. 4 II. d)  a. entonces dos no es primo. Dadas las siguientes proposiciones: a)  x N: x es par o impar. c) Vuelva a escribirlo en español. Halle el valor de verdad de las siguientes proposiciones: a)  ! xA / x + 3 = 10 b)  x A: x + 3  10 c)  x A / x + 3 < 5 d)  x A: x + 3  7 2. Dado el conjunto A = {1. 5 }. 5} h)  x N: (x2 = 2 ) Þ (x es par). d) Existe al menos una empresa que hace pernos pero no tuercas. 3. a) Tradúzcalo a lenguaje lógico. 4. . e) Existe por lo menos un hombre que es rico y no es feliz.. Se pide: i) Determine el valor de verdad (V ó F) de cada proposición. a) { [ x en U/ p(x) ] Þ [ x en U/ q(x) ] } b) { x en U/ [ p(x) Ù q(x) ] } c) { [ x en U/ p(x) ] Ù [ x en U/ q(x) ] } d) { [ x en U/ p(x) ] Þ [ x en U/ q(x) ] } e) { [ x en U/ p(x) ] Þ [ x en U/ q(x) ] } 5.. a) Todos los números son racionales y existen números que no son enteros. c) Si todo número primo es impar. 6. determine el v.. donde A = {1. 3. ii) Escriba la negación de las proposiciones que usted identificó como falsas. Dada las siguientes proposiciones. Cada una de los siguientes enunciados. entonces cinco no es primo. 7}. 2. f) Es falso que todos los alumnos estudiosos aprobaron el ramo y/o se irán de vacaciones. j) Todo número impar es primo.. n e) f)  x R:  n N/ x < n. obteniendo una proposición de tipo afirmativo. c) Algunos hombres cantan y no son felices. g) x A: y A / x2 + y2  25. 4. b R: ab  a b  n N: [(n0 = 1) Ù (0n = 0)] Þ ( n0 = 1). 4. b) Algunas leyes no son legítimas pero deben ser respetadas. de las siguientes proposiciones: a) (  xA / 4x2 – 19x – 5 = 0 ) Ú (  xA / x2 = x ) b) (  xA / 2x + 3y = 5x ) Ù (  xA / 2x = x ) 3. Simplifique.. iii) vuelva a traducirlas al español. b) ( a R/ a2 = 1) Þ 00 = 1. 5. 2. i)  x Z – {0}: x es positivo y negativo.. 3. i) tradúzcalas a lenguaje simbólico ii) niéguelas o simplifíquelas. Dado A = { 1.

.a) (p Ù q) Þ r. B.a) V b) F c) V d) F e) V f) V g) F h) V i) F j) V 4. K.a) F b) V c) V d) F. 6. entonces todos los supermercados estarán compitiendo y prolongarán sus horarios de cierre”.. q:V... r:V.El esquema resulta F 14. q:V. q:F. f) (q Ù r) Þ p 5. e) ”Si hoy no llueve. 9.Su última declaración es V 15. C. e) (p Ù q) Þ r. r:V b) p:V. K. b) p Ù q. Algunas respuestas: I.A.. C. 1. T....K.a) (p Ù q) Ù r.. b) ”Si algunos de los libros de contabilidad de un monopolio de empresas son revisados. r:F e) p:V. c) ”Todas las empresas si no pagan sus impuestos en la fecha correspondiente. A. K.. A.T..a) V b) V c) F d) V 3. B.a) [  x en U/ p(x) ] Ù [  x en U/ q(x) ] } b)  x en U/ [ p(x) Þ q(x) ] } c) [ x en U/ p(x) ] Ú [  x en U/ q(x) ] } d) [x en U/ p(x) ] Ù [ x en U/ q(x) ] } e) [ x en U/ p(x) ] Ù [  x en U/ q(x) ] } . T. q:V. c) (p Ú r) Û q. B. entonces todos los contadores tendrán que justificar los gastos y/o no podrán salir de vacaciones”. A. d) ”Si algunas empresas mayoristas reducen sus stocks. K.. entonces todos los alumnos de álgebra podrán asistir a la “Softel” en Cerrillos y/o al seminario de “Mercosur” en el Edificio Diego Portales”. K. d) q Þ r. 2. 4. c) q Þ r. 5 a) ”Si todos los Ingenieros Civiles tuviesen una segunda fuente de ingreso podrían proyectarse profesionalmente y/o aumentar sus rentas”. K. q:libre 13. [ p { (q r)}] II. r:F d) p:F. T.a) V b) F 3.. K. deberán pagar multa y/o solicitar una prórroga”... r:F c) p:V..a) q b) (p Ù q) c) (p Ù q) d) p Ù q e) T f) p g) p 19. d) (p Ù q) Þ r. b) p Þ  q.a) p:V.c) p e) i) p ii) p Þ q iii) p 11.. 7.. 2. K.