Pensamiento Lógico Matemático

Tarea4_Unidad3

Sustentación unidades 1, 2, 3

Julián Gallo Cubillos Cód. 16266146 Grupo 200611_361

Abril 2020

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Básicas, Tecnología e Ingeniería

1
Ejercicio 1: Aplicación de la Teoría de Conjuntos, letra A.

Determina el número de estudiantes de un curso, si se sabe

que cada uno participa en al menos una de los tres cursos de verano
español, inglés o filosofía. 48 participan en el de español, 45 en el de
inglés, 49 en el de Filosofía, 28 en el de español e inglés, 26 en el de
español y Filosofía, 28 en el de inglés y filosofía y 18 en los tres
seminarios.

A= x/x = (estudiantes de español) = 48

B= x/x = (estudiantes de inglés) = 45
C= x/x = (estudiantes de filosofía) = 49
D= (x/x  A y x  B) = AB = (estudiantes de español e inglés) = 28
E= (x/x  A y x  C) = AC = (estudiantes de español y filosofía) =
26
F= (x/x  B y x  C) = BC = (estudiantes de inglés y filosofía) = 28
G= (x/x  A y x  B y x  C) = (AB)C = (estudiantes de español,
inglés y filosofía) = 18

A B

10
12 7
22
18
8 10

13

¿Cuántos estudiantes participan en los seminarios de inglés y

español, pero no en el de filosofía?

R/ 19 estudiantes.

¿Cuántos participan sólo en el de filosofía?

R/ 13 estudiantes.

¿Cuántos estudiantes participaron en total?

R/ 68 estudiantes.

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

Argumento para el desarrollo del ejercicio 2.:

Expresión simbólica: {[(p→q)∨r]∧(r→∼p)∧(p∧s)}⟶(q∧s)

Premisas:
P1: (p→q)∨r
P2: r→∼p
P3: p∧s

Conclusión: q∧s

Proposiciones simples.

p: Me matriculo en sociales.
q: Estudio sociología.
r: Estudio ingeniería.
s: Estudio derecho.

Me matriculo en sociales entonces estudio sociología o estudio

ingeniería, y estudio ingeniería entonces no me matriculo en sociales,
y me matriculo en sociales y estudio derecho, entonces estudio
sociología y estudio derecho.

Generar una tabla de verdad con el simulador Lógica UNAD a partir

del lenguaje simbólico.

3
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual).

{[(p→q)∨r]∧(r→∼p)∧(p∧s)}⟶(q∧s)
p q r s p (p→q) (r→p) (p∧s) (q∧s) [(p→q)∨r] {[(p→q)∨r]∧(r→∼p) {[(p→q)∨r]∧(r→∼p)∧(p∧s) {[(p→q)∨r]∧(r→∼p)∧(p∧s)}⟶(q∧s)
}
V V V V F V F V V V F F V
V V V F F V F F F V F F V
V V F V F V V V V V V V V
V V F F F V V F F V V F V
V F V V F F F V F V F F V
V F V F F F F F F V F F V
V F F V F F V V F F F F V
V F F F F F V F F F F F V
F V V V V V V F V V V F V
F V V F V V V F F V V F V
F V F V V V V F V V V F V
F V F F V V V F F V V F V
F F V V V V V F F V V F V
F F V F V V V F F V V F V
F F F V V V V F F V V F V
F F F F V V V F F V V F V

Tautología.

Demostración de la validez del argumento mediante las leyes de la

inferencia lógica

Premisas:
P1: (p→q)∨r
P2: r→∼p
P3: p∧s

Conclusión: q∧s

P4: q modus ponens P1

P5: s simplificación p3
P6: q∧s adjunción p4 y p5

Bibliografía.

Sánchez, H. R. (2014). Álgebra. (pp. 14- 29). México, D.F., México:

Larousse - Grupo Editorial Patria. Recuperado
de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3229101&ppg=15

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.
Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=81

4
5