LOGICA MATEMATICA

TRABAJO COLABORATIVO 1

Presentado por:
ANDRES FELIPE RIOS LOSADA
CODIGO: 1075297470

Presentado a: Yeimy Julieth Moreno

NEIVA
MARZO DE 2016
 OBJETIVOS

Los objetivos de esta actividad son aprender sobre la teoría de conjuntos y los diferentes
tipos de conjuntos que hay también aprenderemos sobre las proposiciones y tablas de
verdad que son una manera de verificar la veracidad de las oraciones o frases que
utilizamos.
 INTRODUCCION

Aprenderemos a diferenciar los diferentes tipos de conjuntos que hay y la forma de

hallar datos faltantes en los problemas donde nos den conjuntos incompletos, también
veremos las premisas en donde aprenderemos los tipos de premisas que hay que se
pueden identificar por sus conectores lógicos y verificaremos sus valores de verdad
mediante las tablas de verdad.
 DESARROLLO DE LA ACTIVIDAD

Tarea 1: Teoría de Conjuntos

Para cada situación enumerada a continuación es necesario presentar lo siguiente:
*identificación de los conjuntos
*elaboración de diagramas de ven
*descripción de la solución del problema
*argumentación de la validez de su respuesta

1. de los 168 alumnos de la UNAD Sahagún, 110 estudian informática, 90 ingles, y 20

ni lo uno ni lo otro ¿Cuántos estudian ambas materias?

U: estudiantes de la UNAD
A: estudiantes informática
B: estudiantes ingles
N: ni lo uno ni lo otro
A∪B: estudiantes de inglés e informática

Diagrama de Venn

Unión

A: 110 B: 90
A∪B: 52

110+90+20=220
220-168=52
A∪B=52
110 + 90 – 52 + 20=168

Descripción de la solución

Para hallar cuantos estudiantes están inscritos en ambas materia lo que debemos hacer
es sumar la cantidad de estudiantes total por cada área y los que no estudian nada y el
resultado restarlo a la cantidad de estudiantes que tiene la UNAD, así obtendremos la
cantidad de estudiantes que estudia ambas materias.
2. De un grupo de 105 alumnos de psicología se encuentra que: 51 no toman el curso de
Lógica y 50 no siguen el curso de informática. Si 29 alumnos no siguen ni lógica ni
informática, ¿Cuántos alumnos toman solo uno de esos cursos?
U= alumnos de psicología
A= alumnos que toman el curso de lógica
B= alumnos que toman el curso de informática
C= alumnos que no toman ninguno de los dos cursos
D= alumnos que solo toman el curso de lógica
E= alumnos que solo toman el curso de informática
F= total de alumnos que solo están en uno de los dos cursos

105 - 51= 54 estudiantes de lógica

105 - 50= 55 estudiantes de informática
105 - 54 - 29= 22 estudiantes que solo están inscritos en el curso de lógica
55 - 22= 33 estudiantes que están en los cursos de lógica e informática
105 – 55 - 29= 21 estudiantes que solo están inscritos en el curso de informática
22 + 21= 43 estudiantes que solo están en uno de los cursos

21 + 33 + 22 + 29=105
 A= 54 Intersección B= 55
U= 105

D: 21 F: 43 E: 22

C=29

3. En una encuesta realizada a un grupo de 300 docentes de la UNAD, se conoció que

210 habla inglés, 110 hablan francés y 12 ninguno de los dos idiomas ¿Cuántos
docentes no hablan los 2 idiomas?
210 + 110 + 12= 332
332 – 300= 32 docentes que hablan los dos idiomas
210 – 32= 178 docentes que solo hablan ingles
110 – 32= 78 docentes que solo hablan francés
178 + 78= 256 docentes que solo hablan uno de los dos idiomas

Diferencia Simétrica

A: 210 C: 256 B: 110

4. De los docentes de la facultad de Administración se encuentra que el 40% tiene

Especialización, el 35% tiene Maestría, además solo los que tienen Maestría o solo los
que tienen Especialización son el 48%, ¿Cuál es el porcentaje de los que no tienen
Especialización ni Maestría?
40%= a + x
35%= a + x A B
75%= a + b + 2x
a + b= 48% A C B
75%= 48% + 2x
27%= 2x X
x= 13.5

5. En la ECBTI somos 150 docentes, de ellos 92 viajaron al “congreso de Ingenierías”,

14 presentaron ponencias, 36 presentaron artículos y 12 participaron en las dos
modalidades. ¿Cuántos docentes no mostraron producción académica?

U: total de docentes
A: docentes que presentaron ponencias
B: docentes que presentaron artículos
C: docentes que participaron en ambas modalidades

Se suman la cantidad de docentes que se presentaron en alguna modalidad y se resta a la

cantidad de docentes para poder obtener el número de docentes que no presentaron alguna
producción académica.
14 + 36 + 12= 62 docentes que presentaron producción académica
62 – 150= 88 docentes que no presentaron producción académica

U: 150

A: 14 C: 12 B: 36
Tarea 2: Aplicación a la teoría de conjuntos
2.1 resuelva el siguiente diagrama de Venn de acuerdo a la información que se requiere:

¿Cuántos estudiantes pertenecen a los cursos Prácticos, Metodológicos y Teóricos a la

vez?
Rta/ 4
¿Cuántos estudiantes pertenecen solo a los cursos Prácticos?
Rta/ 45
¿Cuántos estudiantes pertenecen solo a los cursos Teóricos?
Rta/ 32
¿Cuántos estudiantes pertenecen solo a los cursos prácticos y metodológicos pero no a
los teóricos?
Rta/ 8
¿Cuántos estudiantes no pertenecen a los cursos prácticos?
Rta/ 61
2.2 Con base en el diagrama de Venn del punto anterior represente (coloree) cada caso
de la forma que se propone en la siguiente relación; un diagrama de Venn para cada
ítem.
 a. P ∩ T = P intersección T
P ∩ T = T ∩ P (15, 4)

P∩T

P T

b. T U M = T unión M

T U M = (23, 6, 4, 32, 15, 8)

TUM

c. P Δ M = P diferencia simétrica M

P Δ M = (45, 32, 15, 6)

 PΔM

d. P – B = P diferencia B
No tenemos conocimiento de que es B

e. (T U M) = (T unión M) complemento

T U M = (45, 7)

T M

2.3 Con base en la siguiente información, resuelva:

Colombia se divide geográficamente en 5 regiones, y políticamente en 32
departamentos. El origen de los departamentos en Colombia se da en la Nueva Granada,
cuando se realiza una división político-administrativa por provincias, que más o menos
corresponden con los departamentos actuales. Estas regiones son:
Región Andina: Antioquia, Boyacá, Caldas, Cundinamarca, Huila, Norte de Santander,
Quindío, Risaralda, Santander y Tolima.
Región Caribe: Atlántico, Bolívar, Cesar, Córdoba, La Guajira, Magdalena, San Andrés,
Providencia y Santa Catalina y Sucre.
Región de la Amazonía: Amazonas, Caquetá, Guainía, Guaviare, Putumayo y Vaupés.
Región Pacífica: Cauca, Chocó, Nariño y Valle del Cauca.
Región de la Orinoquía (Llanos Orientales): Arauca, Casanare, Meta y Vichada.

2.3.1 Defina por compresión los siguientes conjuntos:

a. {Cauca, Chocó, Nariño, Valle del Cauca, Arauca, Casanare, Meta, Vichada}
a= {x Є x / x son departamentos de las regiones pacífica y Orinoquia}
b. {Atlántico, Bolívar, Cesar, Córdoba, La Guajira, Magdalena, San Andrés,
Providencia y Santa Catalina, Sucre}
b= {x Є x / x son departamentos de la región caribe}
c. {Amazonas, Caquetá, Guainía, Guaviare, Putumayo, Vaupés}
c= {x Є x/ x son departamento de la amazonia}
2.3.2 Defina por extensión los siguientes conjuntos:
a. A = {x Є x/ x es departamento de la Región Andina}
A= {Antioquia, Boyacá, caldas, Cundinamarca, Huila, norte de Santander, Quindío,
Risaralda, Santander y Tolima}
b. P = {x Є x/ x es departamento de la Región Pacífica}
P= {Cauca, Chocó, Nariño y Valle del Cauca}
c. O = {x Є x/ x es departamento de la Región de la Orinoquía}
O= {Arauca, Casanare, Meta y Vichada}

Tarea 3: Proposiciones y tablas de verdad

3.1. El estudiante revisará individualmente los temas relacionados sobre proposiciones y
conectores lógicos, al terminar debe aplicar los conocimientos adquiridos a las
expresiones enumeradas a:
1. Si quieres progresar debes estudiar y ahorrar para el futuro.
*si quieres progresar → debes estudiar ∧ ahorrar para el futuro
P= si quieres progresar
Q= debes estudiar
R= ahorrar para el futuro
*si estudio y ahorro para el futuro entonces podre progresar
Hipótesis: debo estudiar y ahorrar
Conclusión: podre progresar
*P → (q ∧ r)
*tabla de verdad

p q r P →(q Λ r)

T T T T
T T F F
T F T F
T F F F
F T T T
F T F T
F F T T
F F F T

2. No puedes dañar a un ser humano o permitir que sufra daño si eres un robot.
*¬ puedes dañar a un ser humano o ∨ permitir que sufra daño → si eres un robot
P=puedes dañar a un ser humano
Q= permitir que sufra daño
R= si eres un robot
*si eres un robot entonces no puedes dañar a un ser humano ni permitir que sufra daño
Hipótesis: no puedes dañar a un ser humano ni permitir que sufra daño
Conclusión: eres un robot
*¬ (p ∨ q) → r
*Tabla de verdad

p q r ¬ (p V q) → r

T T T T
T T F T
T F T T
T F F T
F T T T
F T F T
 F F T T
F F F F

3. O viajamos en el día o lo hacemos por la noche.

*Viajamos en el día ∨ lo hacemos por la noche
P= viajamos en el día
Q= hacemos por la noche
*o viajamos en el día o entonces lo hacemos en la noche
Hipótesis: viajaremos en el día o en la noche
Conclusión: viajaremos a alguna hora del día
*P ∨ Q
*tabal de verdad

p q PVq

T T T
T F T
F T T
F F F

4. Es necesario ser responsable y dedicado para estudiar ingeniería.

*Es necesario se responsable ∧ dedicado ↔ para estudiar ingeniería
P= ser responsable
Q= ser dedicado
R= estudiar ingeniería
*si eres responsable y dedicado entonces podrás estudiar ingeniería
Hipótesis: debes ser responsable y dedicado
Conclusión: estudiaras ingeniería
*(p ∧ q) ↔ r
*tabla de verdad

p q r (p Λ q) ↔ r

T T T T
T T F F
 T F T F
T F F T
F T T F
F T F T
F F T F
F F F T

5. Si quieres llegar temprano madruga más.

*Si quieres llegar temprano ← madruga más
P= llegar temprano q= madruga mas
*madruga más entonces podrás llegar temprano
Hipótesis: debes llegar temprano
Conclusión: debes madrugar más
*Q → P
*tabla de verdad

q p Q→p

T T T
T F F
F T T
F F T

6. La lógica es condición necesaria y suficiente para interpretar una lectura.

*La lógica es condición ↔ interpretar una lectura
p= lógica es condición
q= interpretar una lectura
*si la lógica es condición necesaria y suficiente entonces podrá interpretar una lectura
Hipótesis: la lógica es una condición necesaria y suficiente
Conclusión: podrás interpretar una lectura
*p ↔ q
*tabla de verdad

p q P↔q
 T T T
T F F
F T F
F F T

7. Los habitantes del campo progresan si y solo si tienen servicios públicos y una
vivienda adecuada.
*Los habitantes del campo progresan ↔ tienen servicios públicos ∧ una vivienda
adecuada
P= habitantes del campo progresan
Q= tienen servicios públicos
R= tienen una vivienda adecuada
*si los habitantes del campo progresan entonces podrán tener servicios públicos y una
vivienda adecuada
Hipótesis: podrán tener servicios públicos y una vivienda
Conclusión: los habitantes del campo deben progresar
*P ↔ (q ∧ r)
*tabla de verdad

p q r P ↔ (q Λ r)

T T T T
T T F F
T F T F
T F F F
F T T F
F T F T
F F T T
F F F T

8. El conector lógico “o” es verdadero si y solo si alguna de las proposiciones es

verdadera.
*El conector lógico “o” es verdadero ↔ alguna proposición es verdadera
P= conector lógico “o”
Q= alguna proposición es verdadera
*si el conector lógico “o” es verdadero entonces alguna proposición es verdadera
Hipótesis: si un conector lógico es verdadero puede ser “o”
Conclusión: alguna proposición es verdadera
*P ↔ q
*tabla de verdad

p q p↔q

T T T
T F F
F T F
F F T

9. O trabajas en la obra y eres ingeniero o trabajas en el campo y eres agrónomo.

*Trabajas en la obra ∧ eres ingeniero ∨ trabajas en el campo ∧ eres agrónomo
P= trabajas en la obra
Q= eres ingeniero
R= trabaja en el campo
S= eres agrónomo
*si trabajas en la obra eres ingeniero o entonces trabajasen el campo y eres agrónomo
Hipótesis: eres ingeniero o agrónomo
Conclusión: debes trabajar para tener una profesión
*(p ∧ q) ∨ (r ∧ s)
*tabla de verdad

p q r s (p Λ q) V (r Λ s)

T T T T T
T T T F T
T T F T T
T T F F T
T F T T T
T F T F F
T F F T F
T F F F F
F T T T T
F T T F F
F T F T F
 F T F F F
F F T T T
F F T F F
F F F T F
F F F F F

10. Si te portas bien, el domingo pediremos arroz chino o pizza.

*Si te portas bien → el domingo pediremos arroz chino ∨ pizza
P= si te portas bien
Q= domingo pediremos arroz chino
R= domingo pediremos pizza
*si te portas bien entonces el domingo pediremos arroz chino o pizza
Hipótesis: pediremos arroz chino o pizza
Conclusión: debes portarte bien
*P → (q ∨ r)
*tabla de verdad

p q r p → (q V r)

T T T T
T T F T
T F T T
T F F F
F T T T
F T F T
F F T T
F F F T

Cada solución de los ítems enumerados debe contar con las siguientes etapas:
a. Expresión en lenguaje natural en donde evidencie los conectivos lógicos.
b. Declaración de premisas.
c. Expresión en lenguaje Simbólico.
d. Tabla de verdad
e. Utilizar el simulador truth.

PUNTO 4
1
1 ME T O D O C I E N T I F I C O
N
4 F A L A C I A D E L H O MB R E D E P A J A
U
5 C 2
5 F A L A C I A L O G I C A M
P I E
E O T
L 2 ME T O D O I N D U C T I V O
A C D
C O O
I M D 5
O 6 P E F
N F L 3 D A
D A E F U L 4
E L T A C A C
T S A L T C A
E A A I I U
M B C V A S
O 3 I N D U C C I O N C O MP L E T A
R L A M F
I 7 S O A
D P C L
7 A N F I B O L O G I A I S
D L O A
I N
S A
E L
M
I
6 A MB I G U E D A D
Horizontales

1) método de investigación usado principalmente en la producción del conocimiento de

ciencias.
2) método científico que elabora conclusiones generales a partir de enunciados
observacionales particulares y parte de lo particular a lo general.
3) argumento que parece valido, pero no lo es. Algunas falacias se cometen
intencionalmente, para persuadir o manipular a los demás, mientras que otras se
cometen sin intención debido a descuidos.
4) falacia que consiste en caricaturizar los argumentos o la posición del oponente,
tergiversando, exagerando o cambiando el significado de sus palabras para facilitar un
ataque lingüístico o dialectico.
5) modo de razonamiento que siempre o casi siempre conduce a un argumento
incorrecto.
6) esto se da cuando una palabra o una oración, es susceptible de dos o más significados
o interpretaciones.
7) doble sentido de una palabra o frase que puede provocar dudas o interpretaciones
erróneas.

Vertical
1) método científico mediante el cual la conclusión es sacada del estudio de todos los
elementos que forman el objeto de investigación, es decir que solo es posible si
conocemos con exactitud el número de elementos que forman el objeto de estudio.
2) método científico que considera que la conclusión se halla implícita dentro de las
premisas. Esto quiere decir que las conclusiones son una consecuencia necesaria de las
premisas.
3) argumento que parece valido, pero no lo es. Algunas de estas se cometen
intencionalmente para persuadir o manipular a los demás, mientras que otras se cometen
sin intención.
4) falacia que se usa para referirse a todos los errores en la argumentación casual.
5) falacia que consiste en establecer como causa de un hecho aquello que lo precede
inmediatamente en el tiempo.
6) propiedad que tendrá una proposición universal si existe al menos un enunciado
lógicamente posible que se deduzca de ella que pueda demostrarse falso mediante
observación empírica.
7) tipo de ambigüedad en la cual las palabras suenan igual pero sus significados son
diferentes.
8) falacias las cuales son producidas por factores emotivos que influyen en el pensar.
 CONCLUSIONES

La teoría de conjuntos nos explica los diferentes tipos de conjuntos que existen y como
diferenciarlos y también la forma en la cual podemos averiguar datos faltantes
independiente de que problema nos presenten y que datos tenemos así mismo podremos
averiguar los datos que nos faltan; son todas y cada una de las proposiciones anteriores
a la conclusión de un argumento; las tablas de verdad son una forma de verificar la
veracidad de una oración o frase, hay varios tipos de conectores que nos ayudan a
verificar la verdad o falsedad de una frase.
El inductivismo es un método científico que elabora conclusiones generales a partir de
enunciados observacionales y parte de lo particular a lo general; el método deductivo es
una deducción de consecuencias o proposiciones más elementales que la propia
hipótesis, y verificación o comprobación de la verdad de los enunciados deducidos
comparándolos con la experiencia; una falacia es un argumento que parece valido pero
no lo es algunas de estas se cometen intencionalmente para persuadir o manipular a los
demás, mientras que otras se comenten sin intención; una ambigüedad es una palabra u
oración que es susceptible de dos o más significados o interpretaciones; la falseabilidad
es la propiedad que tendrá una proposición universal si existe al menos un enunciado
lógicamente posible que se deduzca de ella que pueda demostrarse falso mediante
observación empírica. Si ni siquiera es posible imaginar un enunciado empíricamente
comprobable que contradiga la proposición original, entonces tal proposición no será
falseable.
 BIBLIOGRAFIA

* https://es.wikipedia.org/wiki/Inductivismo
* https://es.wikipedia.org/wiki/M%C3%A9todo_hipot%C3%A9tico-deductivo
* https://es.wikipedia.org/wiki/Falacia
* https://es.wikipedia.org/wiki/Ambig%C3%BCedad
* https://es.wikipedia.org/wiki/Falsabilidad
* https://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos
* https://es.wikipedia.org/wiki/Tabla_de_verdad
* https://es.wikipedia.org/wiki/Premisa