1

Unidad 1 y 2: Tarea 3 - Sustentación Unidades 1 o 2

Estudiante

Luis Jair Pastrana Becerra

Instructor

Luis Enrique Leiva

Curso

Lógica Matemática

Grupo

90004_28

Universidad Nacional Abierta y a Distancia - UNAD

Girardot - Cundinamarca

25 - Noviembre - 2019
 2

Ejercicio 1

D. Se realizó una encuesta a personas millonarias respecto a su gusto por súper autos italianos

y se obtuvieron los siguientes resultados: 53 prefieren Lamborghini, 48 prefieren Ferrari, 40

prefieren Pagani, 5 prefieren las tres marcas, 20 prefieren Lamborghini y Ferrari, 12 prefieren

Ferrari y Pagani, 11 prefieren Lamborghini y Pagani y 4 no tiene preferencia por ninguna marca

italiana.

1. ¿Cuántas personas fueron encuestadas?

2. ¿Cuántas personas prefieren sólo Lamborghini?

3. ¿Cuántas personas prefieren sólo Ferrari?

4. ¿Cuántas personas prefieren sólo Pagani?

Representar la información dada en un diagrama de Venn Euler y solucionar los interrogantes

planteados.

Solución

Lamborghini Ferrari

Pagani
Personas millonarias
 3

U= 197 Personas millonarias

A= 89 Personas que prefieren Lamborghini

B= 85 Personas que prefieren Ferrari

C= 68 Personas que prefieren Pagani

A ∩ B= 20

B ∩C= 12

A ∩ C= 11

A ∩ B ∩ C= 5

A= 89 – 20 – 11 – 5 = 53

B= 85 – 20 – 12 – 5= 48

C= 68 – 12 – 11 – 5= 40

U= 193 – 189= 4

Lamborghini Ferrari

1. R= 193 personas fueron encuestadas.

Pagani
Personas millonarias
 Lamborghini Ferrari
4

2. R= 53 personas prefieren solo Lamborghini.

Pagani
Personas millonarias

Lamborghini Ferrari

3. R= 48 personas prefieren solo Ferrari.

Pagani
Personas millonarias

Lamborghini Ferrari

4. R= 40 personas prefieren solo Pagani.

Pagani
Personas millonarias
 5

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:

D. Expresión simbólica: [( p ∨q)∧ ( p →r ) ∧ ( q → s ) ∧ ( s ) ]⟶ p

Premisas:

P1: p ∨q

P2: p →r

P3: q → s

P4: s

Conclusión: p

A partir de la expresión simbólica seleccionada, el estudiante deberá:

1. Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción

basada en un contexto, el que se solicita es un contexto académico.

2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante.

3. Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico.

4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel

o foto del desarrollo manual).

5. Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

 6

Solución

1.

Premisas simples:

p: Los estudiantes de Girardot

q: Los estudiantes de Ibagué

r: Son mejores estudiantes

s: Tienen calificaciones bajas

2.

Razonamiento en lenguaje natural:

Si los estudiantes de Girardot o los estudiantes de Ibagué y los estudiantes de Girardot

entonces son mejores estudiantes y los estudiantes de Ibagué entonces tienen calificaciones

bajas y no tienen calificaciones bajas. Por tanto, los estudiantes de Girardot.

 7

3. Tabla de verdad con el simulador Truth Table.

4. Tabla de verdad manualmente a partir del lenguaje simbólico.

∨ ∨ ∧ ∧ ∨ ∧ ∧ ∧ ∨ ∧ ∧ ∧ ⟶

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

La conclusión es una tautología.

 8

5. Validez del argumento mediante las leyes de la inferencia lógica.

[( p ∨q)∧ ( p →r ) ∧ ( q → s ) ∧ ( s ) ]⟶ p

Premisas:

P1: p ∨q

P2: p →r

P3: q → s

P4: s

P5: q MTT entre 3 y 4

P6: r v s DS entre 2, 3 y 1

P7: p MTP entre 1 y 5

Conclusión: p