Tarea 4 – Sustentación unidades 1, 2 o 3

Temáticas a desarrollar:

Lógica proposicional, tablas de verdad en proposiciones compuestas,

álgebra de proposiciones, tautologías y contradicciones y contingencias,
proposiciones categóricas, cuantificadores.

Teoría de conjuntos, concepto y relación entre conjuntos, elementos,

propiedades y operaciones con conjuntos, silogismos categóricos.

Proposiciones simples y compuestas, proposiciones categóricas,

proposiciones contrarias de contingencia y subcontrarias. Tablas de
verdad, métodos de demostración, razonamientos lógicos, inferencia
lógica y argumentos lógicos.
Ejercicio 1: Aplicación de la Teoría de Conjuntos

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?
 ¿Cuántos tutores se requieren para que orienten
Matemáticas y Catedra Unadista, pero no física?
 ¿Cuántos tutores se requieren para que oriente Física
únicamente?
 ¿Cuántos tutores se requieren para que oriente Matemáticas
o Física, pero no cátedra Unadista?
 DESARROLLO.

U-Tutores= 29

M
F
0 6
1

4
7

RESPUESTA:

M= Matemáticas = 13
F = Física = 13
C=Catedra Unadista = 15

M n F =6, 2,
M n C = 5, 2
F n C=4, 2
MnFnC=2

M= 13-6-2-5= 0
F= 13-6-2-4=1
C= 15-2-5-4=4
 U= 29-22=7

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

únicamente?
Rta: ninguno

 ¿Cuántos tutores se requieren para que orienten

Matemáticas y Catedra Unadista, pero no física?

Rta. Nueve
 ¿Cuántos tutores se requieren para que oriente Física
únicamente?
Rta. Uno.

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

o Física, pero no cátedra Unadista?
Rta. Siete
Ejercicio 2: Métodos para probar la validez de un argumento

Para el desarrollo de esta ejercicio, es necesario que el estudiante revise

en el

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

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

Entorno de Conocimiento (Unidad 3), la siguiente referencia:

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

sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

a. Expresión simbólica:

[(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] ⟶ 𝒑

Premisas:
P1: (~𝒑 → 𝒒)
P2: (𝒒 → 𝒓)
P3: (~𝒓)
Conclusión: 𝒑

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

deberá:

 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, ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría
de cada estudiante, por lo que de encontrar proposiciones iguales
entre estudiantes se considerara como copia y se tomaran las
medidas correctivas estipuladas por la UNAD.
 una tabla de verdad con el simulador Lógica UNAD a Generar
partir del lenguaje simbólico (El estudiante encontrará la Guía
para el uso de recursos educativos Simulador Lógica UNAD, en el
Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso)
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual).
 Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

Desarrollo:
[(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] ⟶ 𝒑
 Premisas:
p Estoy en el curso de PLM
q estudio de noche
r tengo buenas calificaciones.

Conclusión: 𝑝

Lenguaje Natural.
Si no estoy en el curso de PLM entonces estudio de noche y si
estudio de noche entonces tengo buenas calificaciones y por lo
tanto no estudio de noche entonces estoy en el curso de PLM

 Tabla de verdad SIMULADOR LOGICO UNAD.

TABLA DE VERDAD MANUAL

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

[(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] ⟶ 𝒑

 Premisas:
p Estoy en el curso de PLM
q estudio de noche
r tengo buenas calificaciones.

Conclusión: 𝑝

DESARROLLO.
P1: (~𝒑 → 𝒒)
P2: (𝒒 → 𝒓)
P3: (~𝒓)

Conclusión p
P4: q aplicando MPP en P2 y P3
P5: P aplicando MTT en la P1 y P4