Tarea 3 – Sustentación Unidades 1 o 2

Alicia Daniela Figueroa Rojas _706

Cód.: 1.006.788.689

Tutor

Luis Enrique Leiva Morantes

Código del curso: 90004

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA –UNAD

Escuela de ciencias agrícolas, pecuarias y del medio ambiente –ECAPMA

Competencias comunicativas

Programa zootecnia

09/05/2019
 INTRODUCCION

En el presente trabajo profundizaremos algunos conceptos correspondientes a la tarea 2

Aplicación de la Teoría de Conjuntos, Métodos para probar la validez de argumentos,

Podremos ver el planteamiento y formulación de expresiones del lenguaje simbólico y
el lenguaje natural, haciendo un análisis en la aplicación de conectores lógicos que se
dan para determinadas situaciones que se plantean en el trabajo a presentar.
Argumentar y formular tablas de verdad por medio del análisis de premisas y todos los
conocimientos adquiridos. Se interpreta e identifica en forma clara la estructura y
fundamento conceptual que tipifica los métodos de inferencia lógica por inducción.
Ejercicio 1: Aplicación de la Teoría de Conjuntos

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.

S
I

11
24 20
9
7
6
13

Determinar.

¿Cuántos aspirantes fueron encuestados?

Rta=90 aspirantes fueron encuestados

¿Cuántos aspirantes prefieren únicamente Industrial?

Rta=únicamente industrial 24

¿Cuántos aspirantes no prefieren Electrónica?

Rta=no prefieren electrónica 55

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

Rta=industrial o electrónica pero no sistemas 37

¿Cuántos aspirantes prefieren Industrial o Sistemas?

Rta= industrial o sistemas 44

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

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

Premisas:

P1:𝑝 → (𝑞 → 𝑟)

P2: 𝑟 ∧ 𝑝

P3: 𝑠 ∨ 𝑞

P4: ¬𝑞

Conclusión: 𝑠 ∧ (𝑞 → 𝑟)

Desarrollo:

Premisas simples:

p: El año 2020 será un año bisiesto

q: un año bisiesto febrero tiene 29 días

r. Los años bisiestos se dan cada dos años

s: las personas nacidas el 29 de febrero cumplen años cada dos años.

Razonamiento en lenguaje natural:

El año 2020 será un año bisiesto entonces febrero tendrá 29 días .en consecuencia que
los años bisiestos se dan cada dos años y el año 2020 será un año bisiesto o las personas
nacidas el 29 de febrero cumplen años cada dos años en todo caso un año no bisiesto
febrero tiene 29 días.

Tabla de verdad:
 P q r s ((p→(q→r))∧(r∧p)∧(s∨q)∧(~q))→(s∧(q→r))
V v v v V
V v v f V
V v f v V
V v f f V
V f v v V
V f v f V
V f f v V
V f f f V
F v v v V
F v v f V
F v f v V
F v f f V
F f v v V
F f v f V
F f f v V
F f f f V

Tabla manual:
Leyes de inferencia:

Premisas

p 1: p (qr)

p2: r ∧ p

p3: s ∨ q

p4: ~ q

______________________

p5: s∧ (q→r)) (4)

Conclusión

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

P1:𝑝→(𝑞→𝑟)
P2: 𝑟∧𝑝
P3: 𝑠∨𝑞
P4: ¬𝑞

Conclusión: 𝑠∧(𝑞→𝑟)

P5: p Simplificación P2

P6: (q → r) MPP P1 y P5

P7: s MTP P3 y P4

P8: s ∧ (q→ r) Adjunción P7 y P6

Conclusión: s ∧ ( q → r )
 CONCLUSIONES

 Profundice algunos conceptos correspondientes a la tarea 3

 Realice el planteamiento y formulación de expresiones del lenguaje simbólico y
el lenguaje natural, haciendo un análisis en la aplicación de conectores lógicos.
 Aplique las tablas de verdad por medio del análisis de premisas.
 Identifique el método de razonamiento aplicado para el ejercicio seleccionado.