Está en la página 1de 10

MATEMATICA I (Algebra)

Trabajo Práctico Nº 1 – Fundamentos de Lógica Simbólica y Teoría de Conjuntos.

TRABAJO PRACTICO Nº 1
FUNDAMENTOS DE LOGICA SIMBOLICA Y TEORIA DE CONJUNTOS

FUNDAMENTOS DE LOGICA SIMBOLICA

1) Para describir los diversos restaurantes de la ciudad, denotemos con p “la comida es
buena” ; con q “el servicio es bueno” y con r “es de tres estrellas”. Escribir
simbólicamente las siguientes proposiciones :
a) La comida es buena o el servicio es bueno, o ambas cosas
b) La comida es buena o el servicio es bueno, pero no ambas cosas.
c) La comida es buena y el servicio no.
d) No sucede que tanto la comida sea buena como que el restaurante sea de tres
estrellas
e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de
tres estrellas
f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen
servicio.

2) Denotemos con p “el clima es agradable” y con q “vamos de día de campo”. Traducir las
siguientes proposiciones al lenguaje coloquial y, si es posible, simplificar :

a) p  q b) p  q c) q  p

3) Construir las tablas de verdad de los siguientes esquemas proposicionales :

a) (p  q)  p b) (p  q)  p c) p  (p  q)

d) (q  p)  (p  q) e) (p  q)  ( r) f)  (r  r)

4) Los valores de verdad de las proposiciones p ; q ; r y s son respectivamente V ; F ; F y V.


Obtener los valores de verdad de :

i) [(p  q)  r]  s ii) r  (s  p) iii) (p  r)  (r   s)

5) Determinar en cada caso si la información que se da es suficiente para conocer el valor


de verdad de las siguientes proposiciones compuestas. En caso afirmativo, justificarlo.

i) (p  q)  r ; r es V ii) (p  q)  ( p   q) ; q es V

6) Determinar, si es posible, el valor de verdad de las siguientes proposiciones :

a) (p  q)  q si pq es Falso
1

Licenciatura en Sistemas de Información – Año 2009


Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE
MATEMATICA I (Algebra)
Trabajo Práctico Nº 1 - Fundamentos de Lógica Simbólica y Teoría de Conjuntos.

b) p  (p  q) si pq es Verdad
c) [ (p  q)   q]  q si p es Verdad y q es Verdad

7) Simplificar las siguientes proposiciones :

a)  ( p   q) b)  (p  q)  ( p   q)

8) Determinar si las siguientes proposiciones son leyes lógicas :

i) p  q  r iii) p  [ p  q ]

ii) [ (p  q)  (q  r) ]  (p  r)

9) Negar los siguientes esquemas proposicionales y obtener expresiones equivalentes

i) (p  q)  r iii) q  r
ii) p  q iv) p  (q  r)

SIMBOLOGIA DE LAS TABLAS DE VERDAD


 TODO ENUNCIADO SIMPLES ES O VERDADERO O FALSO, NO AMBAS COSAS A LA VEZ.

 TODO ENUNCIADO QUE RESULTA DE CONECTAR ENTRE SI ENUCIADOS SIMPLES, SE


LLAMARA ENUNCIADO COMPUESTO, Y SU VALOR DE VERDAD SERA UNA FUNCION
(RESULTADO) DE LOS VALORES DE VERDAD COMBINADOS DE LOS ENUNCIADOS
SIMPLES QUE LO FORMAN

 LOS ENUNCIADOS COMPUESTOS SE FORMAN ENLAZANDO ENUNCIADOS SIMPLES POR


MEDIO DE CONECTIVAS LOGICAS.

 LOS SIMBOLOS DE LAS CONECTIVAS SON:

1. NEGACION: , se lee "No es cierto que ..."


2. CONJUNCION: , se lee "... y ..."
3. DISYUNCION: , se lee "... o ...
4. CONDICIONAL: , se lee "si ... entonces ..."
2

Licenciatura en Sistemas de Información – Año 2009


Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE
MATEMATICA I (Algebra)
Trabajo Práctico Nº 1 – Fundamentos de Lógica Simbólica y Teoría de Conjuntos.

5. BICONDICIONAL: , se lee "... si y solo si ..."


FORMAS PRACTICAS DE LAS TABLAS DE VERDAD
1. LA NEGACION ES UNA CONECTIVA LOGICA QUE TRANSFORMA UN ENUNCIADO EN SU
OPUESTO LOGICO Y SE LE LLAMA CONECTIVA SINGULAR PORQUE SE APLICA SOBRE UN
SOLO ENUNCIADO

2. LA CONJUNCION ES UNA CONECTIVA LOGICA QUE ENLAZA DOS ENUNCIADOS DANDO


COMO RESULTADO UNA FORMULA QUE SERÁ VERDADERA SOLAMENTE CUANDO SUS
ENUNCIADOS COMPONENTES SON VERDADEROS

3. LA DIYUNCION ES UNA CONECTIVA LOGICA QUE ENLAZA DOS ENUNCIADOS DANDO


COMO RESULTADO UNA FORMULA QUE SERÁ VERDADERA SOLAMENTE CUANDO AL

Licenciatura en Sistemas de Información – Año 2009


Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE
MATEMATICA I (Algebra)
Trabajo Práctico Nº 1 - Fundamentos de Lógica Simbólica y Teoría de Conjuntos.

MENOS UNO DE SUS ENUNCIADOS COMPONENTES ES VERDADEROS, SIENDO FALSA


CUANDO AMBOS SON FALSOS

4. LA CONDICIONAL ES UNA CONECTIVA LOGICA QUE ENLAZA DOS ENUNCIADOS DANDO


COMO RESULTADO UNA FORMULA QUE SERÁ VERDADERA CUANDO EL SEGUNDO
ENUNCIADO SEA VERDADERO O TENGA EL MISMO VALOR DE VERDAD QUE EL
PRIMERO. AL PRIMER ENUNCIADO INVOLUCRADO SE LE LLAMA ANTECEDENTE Y AL
SEGUNDO SE LE LLAMA CONSECUENTE

5. LA DOBLE CONDICIONAL O BICONDICIONAL ES UNA CONECTIVA LOGICA QUE ENLAZA


DOS ENUNCIADOS DANDO COMO RESULTADO UNA FORMULA QUE SERÁ VERDADERA
SOLAMENTE CUANDO SUS ENUNCIADOS COMPONENTES TIENEN EL MISMO VALOR DE
VERDAD

Licenciatura en Sistemas de Información – Año 2009


Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE
MATEMATICA I (Algebra)
Trabajo Práctico Nº 1 – Fundamentos de Lógica Simbólica y Teoría de Conjuntos.

TEORIA DE CONJUNTOS

10) Escribir simbólicamente :


a) R es un subconjunto de T d) M no es un subconjunto de S
b) x es un elemento de Y e) z no pertenece a A
c) El conjunto vacío f) R pertenece a A

12) Escribir por extensión los conjuntos :


i) A = { x : x 2  x  2  0 } iii) C = {x : x 2  9  x  3  5 }
ii) B = {x es dígito del número 2324} iv) D = {x : x es vocal}

13) Escribir por comprensión los siguientes conjuntos :

A = { 1, 2, 4, 8, 16,...} B = { 1, 3, 5, 7, 9, .... } D = {1, 4, 9, 16, 25, 36}

14) Escribir por extensión los siguientes conjuntos definidos por comprensión :

A = { x / x  N  3  x  10 } B={ x / x  N  5 / x}

15) Sean A = { 1, 2, . . . . ., 8, 9 } ; B = { 2, 4, 6, 8 } ;

C = {1, 3, 5, 7, 9 } D = { 3, 4, 5 } E = { 3, 5 }

¿Cuáles de estos conjuntos son iguales a X ?, si se da la siguiente información:


5

Licenciatura en Sistemas de Información – Año 2009


Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE
MATEMATICA I (Algebra)
Trabajo Práctico Nº 1 - Fundamentos de Lógica Simbólica y Teoría de Conjuntos.

i) X y B son disyuntos iii) X  A pero A  C

ii) X  D pero X  B iv) X  C pero X  A

16) Indicar en cada caso si la proposición es verdadera o falsa :

i) {1, 4, 3} = {3, 4, 1} iii) 1  {1,2} v) {4}  {{4}}

ii) {3, 1, 2}  {1, 2, 3} iv) {4}  {{4}} vi)   {{4}}

17) Determine si los conjuntos dados son vacíos:

i) X = {x : x 2  9  2x  4 } ii) Y = { x : x  x } iii) Z = { x : x + 8 = 8 }

18) ¿ Cuales de los conjuntos siguientes son finitos ?

i) Los meses del año iv) El conjunto Q de los números racionales


ii) {1, 2, 3, . . . ., 99, 100} v) El conjunto R de los números reales
iii) El número de personas que viven en la tierra.

19) En los siguientes diagramas de Venn, sombree :

i) W - V ii) Vc  W iii) V  Wc iv) Vc – Wc

20) Dados tres conjuntos A, B y C cualesquiera y un conjunto D disjunto con los


anteriores, dibujar su diagrama de Venn y rayar las siguientes zonas :

a) A  B b) A  B c) (A - C)  B d) (A - C)  B e) (A  B  C)  D

21) Sean U= {1, 2, . . . . , 8, 9} ; A ={1, 2, 3, 4} ; B={2, 4, 6, 8} y C = {3, 4, 5, 6} . Hallar:

i) Ac ii) A  C iii) (A  C)c iv) A  B v) (B - C)

Licenciatura en Sistemas de Información – Año 2009


Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE
MATEMATICA I (Algebra)
Trabajo Práctico Nº 1 – Fundamentos de Lógica Simbólica y Teoría de Conjuntos.

22) Señalar si son verdaderas o falsas las siguientes afirmaciones :

a) A  B  A  ( A  B ) c) C - A = C  A

b) B  A  ( A  B )  A d) A = B  A  B = A

23) De 400 alumnos que estudian en una escuela de idiomas, 120 estudian únicamente
francés; 200 estudian frabcés e inglés y 50 estudian otros idiomas diferentes. ¿ Cuántos
estudian solo inglés ?

24) De 100 estudiantes, 32 estudian matemáticas ; 20 estudian física ; 45 estudian


biología ; 15 estudian matemáticas y biología ; 7 estudian matemáticas y física ; 10
estudian física y biología y 30 no estudian ninguna de estas tres materias.
a) Encuentre el número de estudiantes que estudian las tres materias.
b) Encuentre el número de estudiantes que estudian exactamente una de las tres
materias.

25) Se sabe que en la Universidad el 60% de los profesores juega tenis, el 50% juega
fútbol ; el 70% corre ; el 20% juega tenis y fútbol ; el 30% juega tenis y corre y el 40%
juega fútbol y corre. Si alguien afirma que el 20 % de los profesores corre y juega fútbol y
tenis, ¿ lo creería ?¿ porqué ?

26) Setenta y cinco niños fueron a un parque de diversiones donde subieron a la rueda de
la fortuna, la montaña rusa y al trencito. Se sabe que 20 de ellos subieron a los tres juegos
y que 55 subieron al menos a dos de los tres juegos. Cada juego cuesta $ 0,50 y el costo
total fue de $ 70. Determine el número de niños que no subió a ninguno de los juegos.

EJERCICIOS COMPLEMENTARIOS

FUNDAMENTOS DE LOGICA SIMBOLICA

1) Denotemos con p “el material es interesante” ; con q “los ejercicios son difíciles” y con r
“el curso es agradable”. Escribir las siguientes afirmaciones en forma simbólica :
a) el material es interesante y los ejercicios son difíciles
b) el material no es interesante, los ejercicios no son difíciles y el curso no es
agradable.
c) Si el material no es interesante y los ejercicios no son difíciles entonces el curso
no es agradable.
d) Que el material sea interesante significa que los ejercicios son difíciles y
viceversa
7

Licenciatura en Sistemas de Información – Año 2009


Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE
MATEMATICA I (Algebra)
Trabajo Práctico Nº 1 - Fundamentos de Lógica Simbólica y Teoría de Conjuntos.

e) O el material es interesante o los ejercicios no son difíciles pero no ambas cosas.

2) Escribir las siguientes afirmaciones en forma simbólica :


a) El sol brilla y la humedad no es alta
b) Si termino mi tarea antes de la cena y no llueve, entonces iré al partido de fútbol
c) Si no me ves mañana significa que habré ido a la playa
d) Si el costo de las utilidades crece o se niega la requisición de fondos los
adicionales, entonces compraremos una nueva computadora si y solo si
podemos mostrar que los recursos de cómputo son, en efecto, insuficientes.

3) a) Escribir una afirmación compuesta que sea verdadera cuando exactamente dos de
tres afirmaciones p ; q y r sean verdaderas.
b) Escribir una afirmación compuesta que sea verdadera cuando ninguna, o una, o dos
de las tres afirmaciones p ; q y r sean verdaderas.

4) Determinar en cada caso si la información que se da es suficiente para conocer el valor


de verdad de las siguientes proposiciones compuestas. En caso afirmativo, justificarlo.

i) (p  q)  (p  r) ; p es V y r es F ii) p  (q  r) ; (p  r) es V

5) Simplificar los siguientes esquemas proposicionales :

i)  (p  q) ii)  (p  q)  q

6) Determinar si las siguientes proposiciones son leyes lógicas

i) p  (p  q) ii) p  (p  q)

7) Los valores de verdad de las proposiciones p ; q ; r y s son respectivamente : V ; F ; F y


V. Obtener los valores de verdad de :

a) [ (p  q)  r]  s b) (r  s)  (p  s) c) (s  q)  p

8) Demuestre por tablas de verdad las siguientes leyes :

i) [ (p  q)  q ]  q ii) (p  q)  p  q iii) (p  q)  p  q

Licenciatura en Sistemas de Información – Año 2009


Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE
MATEMATICA I (Algebra)
Trabajo Práctico Nº 1 – Fundamentos de Lógica Simbólica y Teoría de Conjuntos.

9) Antonio, Miguel y Juan perteneces al club Alpino. Cada miembro del club esquía, escala
o ambas cosas. A ningún escalador le gusta la lluvia y a todos los esquiadores les gusta
la nieve. A Miguel le disgusta lo que a Antonio le gusta, y le gusta lo que a Antonio le
disgusta. A Antonio le gusta la lluvia y la nieve. ¿ Hay algún miembro del club Alpino que
sea escalador pero no esquiador ?

10) Cierto país está habitado por personas que siempre dicen la verdad o que siempre
mienten, y que responderán preguntas solo con “si” o “no”. Un turista llega a una
bifurcación en el camino, una de cuyas ramas conduce a la Capital y la otra no. No hay
un letrero que diga qué camino seguir, pero hay un nativo, el señor z, parado en la
bifurcación. ¿ Qué única pregunta deberá hacerle el turista para determinar qué camino
seguir ?.

TEORIA DE CONJUNTOS

11) Describir por extensión los conjuntos :

A = {x / x  N, x  8} D = {x / x  N, x  8  x  2}

B = {x / x2 - 3 x + 1 = 0} E = x / x  Z,  x   3}

C = {x / x  N, x es par}

12) Dados los conjuntos:

A = {1, 3} B = {a, b, c} C = {b} D = {1, 3, b, f}


Hallar:
a) su diagrama de Venn d) (A  B)  D
b) A  B  C  D e) ¿ Está A  B o C  (A  D) ?
c) A  B  C

13) Dados tres conjuntos A, B, C cualesquiera y un conjunto D disjunto con los anteriores,
dibujar su diagrama de Venn y rayar las siguientes zonas :

a) A  B d) (A - C)  B

b) A  B e) (A  B  C)  D

c) (A - C)  B

14) Señalar si son verdaderas o falsas las siguientes afirmaciones :

a) A  B  A  (A  B) b) B  A  (A  B)  A c) A = B  A  B = A

Licenciatura en Sistemas de Información – Año 2009


Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE
MATEMATICA I (Algebra)
Trabajo Práctico Nº 1 - Fundamentos de Lógica Simbólica y Teoría de Conjuntos.

15) El conjunto universal es E = {1, 2, 3, 4, 5, 6, 7, 8, 9, b, f} y los conjuntos A = {1, 3, 4, 5}

B = {2, 3, 5, 6} C = {4, 5, 6, 7} D = {b, f}. Hallar :

a) Su diagrama de Venn d) [(A  C)  D]  B


b) A - (B  C) e) (A  B)  (B  C)
c) (A  B) - C f) ¿ Son disjuntos A y D ?

16) Dados dos conjuntos M y N no disjuntos, representar en un diagrama de Venn las


siguientes zonas :

a) Mc b) M  N c) M  Nc d) Mc  Nc e) M  Nc

17) En un club de esparcimiento de 500 socios se van a celebrar unos campeonatos de


ajedrez, cartas y dominó. Hay 90 personas que no van a participar, y se sabe que hay
un total de 180 apuntados en ajedrez, 200 a cartas y 220 a dominó. Hay 70 apuntados
a ajedrez y cartas, 90 a cartas y dominó y 80 a ajedrez y dominó. Se desea saber el
número de personas apuntadas a un solo campeonato, a solo dos cualesquiera de
ellos y a los tres.

18) Sean V = { d } ; W = {c, d} ; X = {a, b, c} ; Y = {a, b} ; Z = {a, b, d}

Determinar si las proposiciones son verdaderas o falsas :

i) Y  X ii) W  Z iii) Z  V iv) V  X v) X = W vi) W  Y

19) Sea U = {a, b, c, d, e} ; A = {a, b, d} ; B = {b, d, e}. Hallar :

i) A  B iii) Bc v) Ac  B vii) Ac  Bc ix) (A  B)c

ii) B  A iv) A  Bc vi) A  Bc viii) Bc / Ac x) (A  B)c

20) De 150 estudiantes de una clase, 26 obtuvieron A en el primer examen y 21 obtuvieron


A en el segundo examen. Si 17 estudiantes no obtuvieron A en ninguno de los dos
exámenes, ¿ Cuántos estudiantes obtuvieron A en ambos exámenes ?

10

Licenciatura en Sistemas de Información – Año 2009


Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE