Vous êtes sur la page 1sur 25

LOGICA MATEMATICA

90004B_611)

Tarea 3 – Sustentación Unidades 1 o 2


ESTUDIANTE: JOSE ORLANDO RAMOS SEPULVEDA

Tutor: ANGELICA CABRA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


DUITAMA-BOYACA
2019
INTRODUCCIÓN
El siguiente trabajo se da a la solución a los ejercicios propuestos en las unidades uno y 2
Lógica proposicional, tablas de verdad en proposiciones compuestas, álgebra de
proposiciones, teoría de conjuntos, operaciones entre conjuntos, razonamientos lógicos,
inferencia lógica y argumentos lógicos.
Por otra parte nos permite aprender sobre el tema mediante el análisis, la comprensión de las
lecturas y videos tutoriales recomendados por nuestro tutor
OBJETIVOS

GENERAL

Aprender y aplicar los temas de Conectivos lógicos y teoría de conjuntos, a través del
desarrollo de algunos ejercicios de lógica proposicional, tablas de verdad en proposiciones
compuestas, álgebra de proposiciones, teoría de conjuntos, operaciones entre conjuntos,
razonamientos lógicos, inferencia lógica y argumentos lógicos.

ESPECÍFICOS
1. Interpretar problemas contextualizados, aplicando los conceptos propios del cálculo
proposicional y la teoría de conjuntos.
2. Identificar las reglas de inferencia y razonamientos deductivos e inductivos, para probar
la validez de argumentos en situaciones problemáticas.
Descripción del ejercicio:

A continuación, encontrará una serie de situaciones en contextos reales,


las cuales deberán ser analizadas por el estudiante para el desarrollo del
ejercicio 1

Realizamos.

a. Se realizó una encuentra a 37 jóvenes respecto a sus preferencias


deportivas encontrándose la siguiente información:
 A 2 de ellos les apasiona el futbol, la natación y el ciclismo
 En total 5 de ellos les gusta el futbol y la natación
 En total a 7 de ellos les gusta la natación y el ciclismo
 Un total de 6 jóvenes manifestaron su gusto por el futbol y
el ciclismo
 Solo 8 se apasionan por el futbol
 Solo 6 practican la natación
 A 9 de ellos solo les gusta el ciclismo.
 En total a 17 les gusta el futbol
 En total a 16 les gusta la natación.
Diagrama

A partir de la situación planteada dar respuesta las siguientes preguntas:

 ¿A cuántos jóvenes solo les gusta de manera simultánea el


futbol y la natación?
 Respuesta: En total 5 de ellos les gusta el futbol y la
natación

 ¿A cuántos jóvenes solo les gusta de manera simultánea el


futbol y el ciclismo?
 Respuesta: Un total de 6 jóvenes manifestaron su gusto
por el futbol y el ciclismo

 ¿A cuántos jóvenes solo les gusta de manera simultánea la


natación y el ciclismo?
 Respuesta: Un total de 7 jóvenes manifestaron su gusto
por el natación y el ciclismo

 ¿En total a cuantos jóvenes les gusta el ciclismo?


 Respuesta: A 9 de ellos solo les gusta el ciclismo.
b. Se realizó una encuesta los estudiantes de Lógica Matemática, a
acerca de sus preferencias en el uso de las redes sociales y se
obtuvieron los siguientes resultados:
 60 prefieren Facebook,
 25 prefieren twitter,
 10 prefieren Instagram,
 2 prefieren las tres redes sociales,
 10 prefieren Facebook y twitter,
 2 prefieren Facebook y Instagram
 4 prefieren twitter y Instagram,
 4 no tiene preferencia por ninguna red social

Diagrama

A partir de la situación planteada dar respuesta las siguientes


preguntas:

 ¿Cuántos estudiantes prefieren únicamente Instagram?


 Respuesta: 10 prefieren nstagran

 ¿Cuántos estudiantes prefieren únicamente twitter?


 Respuesta: 25 prefieren twitter
 ¿Cuántos estudiantes prefieren Facebook y Instagran
Respuesta: 2 prefieren Facebook y instragran

 ¿Cuántos estudiantes fueron encuestados?


Respuesta:fueron encuestados 115

c. Los siguientes son los datos que muestran las preferencias de


algunos aspirantes a ingresar a la Universidad Nacional Abierta y a
Distancia para ciertos programas de Ingeniería:
 50 prefieren Industrial.
 47 prefieren Sistemas.
 35 prefieren Electrónica.
 16 prefieren Sistemas y Electrónica.
 11 prefieren Industrial y Sistemas.
 15 prefieren Industrial y Electrónica.
 9 prefieren las tres.

Diagrama

De acuerdo con lo anterior, responder las siguientes preguntas:

 ¿Cuántos aspirantes fueron encuestados?


Respuesta: fueron encuestados183

 ¿Cuántos aspirantes prefieren únicamente Industrial?

Respuesta: 50 prefieren industrial

 ¿Cuántos aspirantes no prefieren Electrónica?

Respuesta: ninguno

 ¿Cuántos aspirantes prefieren Industrial o Electrónica pero no


Sistemas?

Respuesta:

 ¿Cuántos aspirantes prefieren Industrial o Sistemas?


Respuesta: 11 prefieren
d. Una encuesta realizada a un grupo de estudiantes de la
Universidad Nacional Abierta y a Distancia –UNAD- donde todos
respondieron, reveló que 450 matricularon el curso de Lógica
Matemática; 260 matricularon el curso de Algebra Lineal; 360
matricularon el curso de Calculo Diferencial; 200 matricularon
Lógica Matemática y Algebra Lineal; 250 matricularon Lógica
Matemática y Calculo Diferencial; 150 matricularon Algebra Lineal
y Calculo Diferencia y 100 matricularon Lógica Matemática,
Algebra Lineal y Calculo Diferencial.
Diagrama

Calcular:
 ¿Cuántos fueron los profesores encuestados?
Respueta:
 ¿Cuántas estudiantes tienen solamente matriculado el curso de
Lógica Matemática?
Respuesta:450 estan matriculados
 ¿Cuántas estudiantes tienen solamente matriculado el curso de
Algebra Lineal?
Respuesta:260 estan matriculados
 ¿Cuántas estudiantes tienen matriculados Lógica Matemática y
Algebra Lineal, pero no tienen matriculado Cálculo Diferencial?
Respuesta: 200 estudiantes
 ¿Cuántas estudiantes tienen matriculado el curso de Lógica
Matemática y Cálculo Diferencial pero no Algebra Lineal?
Respuesta:250 estudiantes

e. La UNAD requiere la vinculación de 29 tutores en las siguientes


áreas: 13 tutores de Matemáticas, 13 Tutores de Física, y 15
tutores de Catedra Unadista. Para el cubrimiento de los cargos se
requiere que 6 tutores orienten Matemáticas y Física, 4 profesores
orienten Física y Catedra Unadista y 5 tutores orienten
Matemáticas y Catedra Unadista. 2 tutores deben estar en la
capacidad de orientar los tres cursos.

Determinar:

 ¿Cuántos tutores se requieren para que oriente Matemáticas


únicamente?

Respuesta: 13 tutores

 ¿Cuántos tutores se requieren para que orienten Matemáticas y


Catedra Unadista, pero no física?

Respuesta: 5 tutores

 ¿Cuántos tutores se requieren para que oriente Física únicamente?

Respuesta: 13 tutores

 ¿Cuántos tutores se requieren para que oriente Matemáticas o


Física, pero no cátedra unadista?

Respuesta: 6 tutores

A partir de la situación que el estudiante haya seleccionado, el estudiante


deberá:

 Representar la información dada en un diagrama de Venn Euler


 Solucionar los interrogantes planteados.
Diagrama

Ejercicio 2: Métodos para probar la validez de un argumento


Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la


conclusión de un argumento para el desarrollo del ejercicio 2:

a. Expresión simbólica: {[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)

Preposiciones simples:
P: dinámica es un tema de física

q: la física es importante en ingeniería


r: hay tres materias de la física normalmente
s:la física puede ser compleja

Si la dinámica es un tema de física entonces la física es importante


en ingeneria,o hay tres materias de física normalmente y además si hay
tres materias de física normalmente entonces la dinámica no es un
tema de física y también dinámica es un tema de física y la física puede
ser compleja ,por lo tanto la física es importante en ingeniería y la física
puede ser compleja.
Tabla simulador

pq r s (((p→q)∨r)∧(r→~p)∧(p∧s))→(q∧s)
vv vv V
vv vf V
vv f v V
vv f f V
vf vv V
vf vf V
vf f v V
vf f f V
f v vv V
f v vf V
f v f v V
f v f f V
f f vv V
f f vf V
f f f v V
f f f f V
A. TABLA MANUAL

p q r s (p→q) (p→q) v r ~p r→~p p ∧ s [(p→q) v r]∧[r→~p]∧[p∧s] q ∧ s [(p→q) v r]∧[r→~p]∧[p∧s]→ (q ∧ s)

V V V V V V F F V F V V
V V V F V V F F F F F V
V V F V V V F V V V V V
V V F F V V F V F F F V
V F V V F V F F V F F V
V F V F F V F F F F F V
V F F V F F F V V F F V
V F F F F F F V F F F V
F V V V V V V V F F V V
F V V F V V V V F F F V
F V F V V V V V F F V V
F V F F V V V V F F F V
F F V V V V V V F F F V
F F V F V V V V F F F V
F F F V V V V V F F F V
F F F F V V V V F F F V

Conclusión: 𝑞 ∧ 𝑠

Ahora aplicamos el silogismo disyuntivo a la premisa 1 con base a la


premisa 6 y tenemos

7.𝑝 → 𝑞

Dada la premisa 4 y 7 podemos aplicar modus ponens y se tiene:

8 .q

Finalmente usamos conjunción con premisas 5 y 8 y se llega ala


conclusión basada

9.𝑞 ∧ 𝑠
b. Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑠)] → (𝑟)

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑠

p: cálculo se estudia en ingeniería


q :cálculo hace parte de las ciencias exactas
r: calculo comprende estudio de números
s :cálculo es básico en problemas de física
Si el cálculo se estudia en ingeniería, entonces el cálculo hace parte delas
ciencias exactas y si el cálculo hace parte de las ciencias exactas
entonces el cálculo comprende estudios de números y el cálculo se
estudia en ingeniería y el cálculo básico en problemas de física por lo
tanto el cálculo comprende estudio de números.

TABLA SIMULADOR

p q r s ((p→q)∧(q→r)∧(p∧s))→r
v v vvV
v v vf V
v v f vV
vvf f V
v f vvV
v f vf V
v f f vV
vf f f V
f v vvV
f v vf V
f v f vV
f vf f V
f f vvV
p q r s ((p→q)∧(q→r)∧(p∧s))→r
f f vf V
f f f vV
f f ffV

TABLA MANUAL

p q r s (p→q) (q→r) p ∧ s (p→q)∧(q→r)∧(p∧s) (p→q)∧(q→r)∧(p∧s)→r


V V V V V V V V V
V V V F V V F F V
V V F V V F V F V
V V F F V F F F V
V F V V F V V F V
V F V F F V F F V
V F F V F V V F V
V F F F F V F F V
F V V V V V F F V
F V V F V V F F V
F V F V V F F F V
F V F F V F F F V
F F V V V V F F V
F F V F V V F F V
F F F V V V F F V
F F F F V V F F V

Conclusión: 𝒓

Primero aplicamos simplificación a premisa 3

3 𝑝∧ 𝐬

4p

5s
Luego aplicamos modus ponens a la premisa 1 conciendo la premisa
4

1𝑝→𝑞

6q

Finalmente aplicamos modus ponens a la premisa 2 con base a la premisa


6

2. 𝑞 → 𝑟

7. r

La premisa 7 corresponde a nuestra conclusión y queda demostrado

c. Expresión simbólica:
{[𝑝 → (𝑞 → 𝑟)] ∧ (𝑟 ∧ 𝑝) ∧ (𝑠 ∨ 𝑞) ∧ (¬𝑞)} → [𝑠 ∧ (𝑞 → 𝑟)].
Premisas:
P1:𝑝 → (𝑞 → 𝑟)
P2: 𝑟 ∧ 𝑝
P3: 𝑠 ∨ 𝑞
P3: ¬𝑞

p: un mol es una unidad de cantidad de una sustancia


q: El átomo es la mínima unidad de materia
r: una molécula es la unión de átomos
s: un mol puede expresarse en átomos y moléculas

Si el mol es una unidad de cantidad de una sustancia entonces


dado que el átomo es la mínima unidad de materia entonces una
molécula es la unión de átomos y una molécula es la unión de
átomos y un mol es una unidad de cantidad de materia de una
sustancia y también un mol puede expresarse en átomos y
moléculas o el átomo es la mínima a unidad de materia y además
el átomo es la mínima unidad de materia por lo tanto un mol puede
expresarse en átomos y moléculas si el átomo es la mínima unidad
de materia entonces una molécula es la unión de átomos

TABLA SIMULADOR

p q r s ((p→(q→r))∧(r∧p)∧(s∨q)∧(~q))→(s∧(q→r))
v v vvV
v v vf V
v v f vV
vvf f V
v f vvV
v f vf V
v f f vV
vf f f V
f v vvV
f v vf V
f v f vV
f vf f V
f f vvV
f f vf V
f f f vV
f f ffV

C. TABLA MANUAL

(q r s∧
→r p→( ∧ s v ~ [p→(q→r)]∧(r ∧ (q→r [p→(q→r)]∧(r ∧ p)∧(s v
p q r s ) q→r) p q q p)∧(s v q)∧(~q) ) q)∧(~q)→s ∧ (q→r)
V V V V V V V V F F V V
V V V F V V V V F F F V
V V F V V V F V F F V V
V V F F V V F V F F F V
V F V V F F V V V F F V
V F V F F F V F V F F V
V F F V V V F V V F V V
V F F F V V F F V F F V
F V V V V V F V F F V V
F V V F V V F V F F F V
F V F V F V F V F F F V
F V F F F V F V F F F V
F F V V V V F V V F V V
F F V F V V F F V F F V
F F F V V V F V V F V V
F F F F V V F F V F F V

Conclusión: 𝑠 ∧ (𝑞 → 𝑟)

Primero aplicamos la simplificación de la premisa 2 luego


5 r
6p

Luego usamos modus ponens con premisa 1 con base en la


premisa 6 entonces.

7. 𝑞 → 𝑟
En tercer lugar utilizamos silogismo disyuntivo con base en
premisa 3 y 4 y se concluye .

8. s
Finalmente aplicamos conjunción a premisas 7 y 8 y llegamos a
la conclusión basada

9.𝑠 ∧ (𝑞 → 𝑟)

d. Expresión simbólica:
{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞
Premisas:
P1:𝑝 → (𝑞 ∨ 𝑟)
P2: 𝑠 →∼ 𝑞
P3: 𝑡 →∼ 𝑟
P4: 𝑝 ∧ 𝑡

p: el parcial final es el más difícil


q: el parcial final es el más largo
r: los parciales son de pregunta abierta
s: el primer parcial vale menos
t: el parcial final es de opción múltiple
El parcial final es el más difícil entonces el parcial final es el más largo
o los parciales son de pregunta abierta y ademas si el primer parcial vale
menos entonces el parcial final no es el mas largo y también el parcial
final es de opción multiple entonces los parciales no son de pregunta
abierta y adicional el parcial es el mas difícil y elparcial final es de opción
multiple por lo tanto el parcial final es el mas largo

TABLA SIMULADOR

p q r s t ((p→(q∨r))∧(s→~q)∧(t→~r)∧(p∧t))→q
v v vvvV
v v vvf V
v v vf vV
v v vf f V
v v f vvV
v v f vf V
v v f f vV
vvf f f V
v f vvvV
v f vvf V
v f vf vV
v f vf f V
v f f vvV
v f f vf V
p q r s t ((p→(q∨r))∧(s→~q)∧(t→~r)∧(p∧t))→q
v f f f vV
vf f f f V
f v vvvV
f v vvf V
f v vf vV
f v vf f V
f v f vvV
f v f vf V
f v f f vV
f vf f f V
f f vvvV
f f vvf V
f f vf vV
f f vf f V
f f f vvV
f f f vf V
f f f f vV
f f fffV

TABLA MANUAL
p→ [p→(q v [p→(q v
q s→ t→ p
pqr s t (q r)]∧[s→~q]∧[t→~r]∧[ r)]∧[s→~q]∧[t→~r]∧[p
vr ~q ~r ∧ t
v r) p ∧ t] ∧ t]→q
V V V V V V V F F V F V
V V V V F V V F V F F V
V V V F V V V V F V F V
V V V F F V V V V F F V
V V F V V V V F V V F V
V V F V F V V F V F F V
V V F F V V F V V V F V
V V F F F V F V V F F V
V F V V V V V V V V V V
V F V V F V V V F F F V
V F V F V V V V V V V V
V F V F F V V V V F F V
V F F V V F F V V V F V
V F F V F F F V F F F V
V F F F V F F V V V F V
V F F F F F F V V F F V
F V V V V V V F V F F V
F V V V F V V F F F F V
F V V F V V V V V F F V
F V V F F V V V V F F V
F V F V V V V F V F F V
F V F V F V V F F F F V
F V F F V V V V V F F V
F V F F F V V V V F F V
F F V V V V V V V F F V
F F V V F V V V F F F V
F F V F V V V V V F F V
F F V F F V V V V F F V
F F F V V F V V V F F V
F F F V F F V V F F F V
F F F F V F V V V F F V
F F F F F F V V V F F V

Conclusión: 𝑞
Primero aplicamos la simplificación de la premisa 4 por lo cual

5p

67

Ahora modos ponens con premisa 1

Por lo cual teniendo la premisa 5

7: 𝑝𝜈𝑟

Nuevamente podemos usar modos ponens con la premisa 3 y como


base la premisa 6 luego :

8. 𝑝¬𝑟

Entonces utilice el silogismos disyuntivo con base a la premisa 7 y 8 y


como resultado tenemos la conclusión

9. q

e. Expresión simbólica:
[(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] → 𝒑

Premisas:
P1: ~𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: ~𝒓

P: la máxima nota es 5.0

q: un parcial se aprueba con 3.0 o más


r: un promedio de notas es 4.0

si la nota máxima no es de 5.0 entonces un parcial se aprueba con


3.0 o mas y si un parcial se aprueba con 3.0 o mas entonces un
buen promedio es 4.0 y además un buen promedio de notas no es 4.0
por lo tanto la máxima nota es 5.0

TABLA SIMULADOR

p q r ((~p→q)∧(q→r)∧(~r))→p
v v vV
vvf V
v f vV
vf f V
f v vV
f vf V
f f vV
f f fV
TABLA MANUAL

p q r ~p ~p→q q→r ~r [~p→q]∧[q→r]∧[~r] [~p→q]∧[q→r]∧[~r]→p


V V V F V V F F V
V V F F V F V F V
V F V F V V F F V
V F F F V V V V V
F V V V V V F F V
F V F V V F V F V
F F V V F V F F V
F F F V F V V F V

Conclusión: 𝑝
Primero podemos realizar un silogismo hipotético usando premisas 1 y
2 luego

4.¬𝑝 → 𝑟

Luego utilizamos modus tollens en 4 con base ala premisa 3 entonces


se obtiene :

5.¬¬𝑝 = 𝑃

Y la premisa 5 es la conclusión buscada

CONCLUSIONES
1. Con el desarrollo de este trabajo logre cumplir con los objetivos antes mencionados,
2. Me permitió practicar para poder analizar e interpretar a futuro temas desde la lógica
matemática.
3. Esta actividad me contribuyó a fortalecer y aprender conceptos básicos y prácticos
de la unidad de estudio, asimismo, el simulador que aporta la universidad me aportó
facilidades para la verificación de los ejercicios de la tabla de la verdad.