TRABAJO COLABORATIVO 3

TRABAJO COLABORATIVO 3

PENSAMIENTO LOGICO Y MATEMATICO






Realizado por:
JHON JAMES MENDOZA
C.C 1112759796
ANGEL HORACIO LLANOS
C.C 1112772320





Estudiante De
Cead Dosquebradas
Grupo 203







Presentado A: DORIXY DE ARMAS DUARTE










UNIVERSIDAD ABIERTA A DISTACIA (UNAD)
TECNOLOGÍA EN GESTIÓN INDUSTRIA
Pereira, MAYO 11 – 2015INTRODUCCION


En este trabajo de la unidad 3: Vamos a dar a conocer acerca de la Inferencia Lógica, Tipos de demostración, Las leyes de inferencia, Demostración de la validez de un argumento.


Teniendo en cuenta los problemas plateados y el desarrollo procedimental demostramos la validez de cada argumento para obtener la solución del mismo con las representaciones simbólicas de lasproposiciones simples y compuestas y las tablas de verdad correspondientes y la aplicación de las leyes de inferencia.
















Decidir utilizando las tablas de verdad y la aplicación de las leyes de inferencia si el argumento es o no válido:
1. Los estudiantes del programa de Ingeniería de Alimentos de la UNAD, al matricular el curso de Física General deben asistir al componente práctico. Marcelahace el siguiente análisis de la situación que se le ha presentado al conocer las fechas en que debe asistir. Si las prácticas de laboratorio son el próximo domingo entonces asisto a la universidad. Si realizo los experimentos entonces entrego el informe de laboratorio. Asisto a la universidad y entrego el informe de laboratorio entonces obtengo un puntaje sumativo para la nota. No obtengo unpuntaje sumativo para la nota. Por lo tanto no realizo los experimentos o las prácticas de laboratorio no son el próximo domingo.

Declaración de las proposiciones simples.
p. las prácticas de laboratorio son el próximo domingo
q. asisto a la universidad
r. realizo los experimentos
s. entrego el informe de laboratorio
t. obtengo un puntaje sumativo para la nota

De lo anterior, se establecen lassiguientes premisas:

PREMISA 1: si las prácticas de laboratorio son el próximo domingo entonces asisto a la universidad


PREMISA 2: si realizo los experimentos entonces entrego el informe de laboratorio


PREMISA 3: Asisto a la universidad y entrego el informe de laboratorio entonces obtengo un puntaje sumativo para la nota

PREMISA 4: no obtengo un puntaje sumativo para la nota.


CONCLUSIÓN: norealizo los experimentos o las prácticas de laboratorio no
son el próximo domingo.




Ahora bien en lenguaje simbólico las premisas quedan de la siguiente manera:

PREMISA 1: p → q

PREMISA 2: r→ s

PREMISA 3: (q Λ s)→t

PREMISA 4: ¬ t

CONCLUSIÓN: ¬ r V ¬ p

Declaración de las proposiciones compuestas (lenguaje natural)

las prácticas de laboratorio son el próximo domingo entonces asisto a launiversidad. Si realizo los experimentos entonces entrego el informe de laboratorio. Asisto a la universidad y entrego el informe de laboratorio entonces obtengo un puntaje sumativo para la nota. No obtengo un puntaje sumativo para la nota. Por lo tanto no realizo los experimentos o las prácticas de laboratorio no son el próximo domingo.


Declaración de las proposiciones compuestas (lenguajeformal)
{(p→q)Λ(r→s)Λ[(qΛs)→t]Λ¬t}→(¬rV¬p)
  p  
  q  
  r  
  s  
  t  

  {(p→ q) Λ (r→ s) Λ [(q Λ s)→ t] Λ ¬ t}→ (¬ rV ¬ p) 

  T  
  T  
  T  
  T  
  T  
T
T
T
T
F
T
T
T
F
T
T
T
T
F
F
T
T
F
T
T
T
T
F
T
F
T
T
F
F
T
T
T
F
F
F
T
F
T
T
T
T
F
T
T
F
T
F
T
F
T
T
F
T
F
F
T
F
F
T
T
T
F
F
T
F
T
F
F
F
T
T
F
F
F
F
F
T
T
T
T
F
T
T
T
F
F
T
T
F
T
F
T
T
F
F
F
T
F
T
T
F
T
F
T
F
F
T
F
F
T
F
T
F
F
F
F
F
T
T
T
F
FT
T
F
F
F
T
F
T
F
F
T
F
F
F
F
F
T
T
F
F
F
T
F
F
F
F
F
T
F
F
F
F
F

T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T

La tabla anterior permite evidenciar que es una tautología, por lo cual el razonamiento es válido.



Demostración por leyes de inferencia:


Premisa 1: p → q
Premisa 2: r→ s
Premisa 3: (q Λ s) → t
Premisa 4: ¬ t
Premisa 5: ¬ r V ¬ p...