PENSAMIENTO LOGICO MATEMATICO

UNIDAD 3 PASO 6 METODO PARA PROBAR VALIDEZ DE ARGUMENTOS

ROSA YURELIS AMAYA MENDOZA

CODIGO: 36491149
GRUPO: 45

TUTOR:
ARMAMDO LOPEZ SIERRA

UNIVERSIDAD NACIONAL ABIETA Y A DISTANCIA – UNAD

CEAD VALLEDUPAR.
FECHA: 13-05- 2018
 INTRODUCCION:

Con esta actividad, lo que se busca es adquirir conocimiento sobre proposiciones simple y
compuestas, tablas de verdad, métodos de demostración, razonamiento lógico, inferencia
lógica, y argumentos lógicos. Poner en funcionamiento nuestra mente, tratar de darle
solución a cada uno de los problemas que se nos presenten y no quedarnos en ellos.

OBJETIVOS:

Adquirir conocimiento sobre los métodos para probar validez de argumento.

Adquirir conocimiento en proposiciones simples y compuestas.
Aprende buscar solución a cada problema que se presente.
Tarea 1: Conceptualización de las reglas de inferencia.

Rrealizar una pequeña presentación en PREZI, de la conceptualización y dos

ejemplos específicos de un grupo de las Reglas de Inferencia Lógica.
Nota: En caso de ser extraído de alguna fuente bibliográfica, se debe citar empleando
normas APA.

D. Modus Tollendo Ponens, Contraposición y Doble Negación

LINK
https://prezi.com/p/ebvwy6wobtby/
TAREA 2: PROBLEMAS DE APLICACIÓN I   SELECCIÓN (C)

Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través
de:

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
 Aplicación de las reglas de inferencia.

c. dedicación
Los estudiantes del programa de Ingeniería de Alimentos de la UNAD, al matricular el
curso de Química General como electivo deben asistir al componente práctico. Raul hace 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 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.”
DESARROLLO

 DECLARACION DE PREPOSISIONES 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.

 DECLARACIÓN DE PREPOSICIONES COMPUESTAS

Premisa 1: Las prácticas de laboratorio son el próximo domingo ENTONCES asisto a la
universidad.
Premisa 2: 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: NO realizo los experimentos O las prácticas de laboratorio NO son el próximo
domingo.

 DECLARACION DE PROPOSISIONES COMPUESTAS EN LENGUAJE

SIMBOLICO:
P1: P →Q
P2: R → S
P3: ( Q S ) → T
P4: ∼ T
Conclusión: R P

 DECLARACIÓN DE RAZONAMIENTO EN LENGUAJE FORMAL

[ ( P →Q ) ⋀ ( R → S)] ⋀ [ ( Q ⋀ S ) →T ] ⋀ ∼ T →( R ⋁ P)
  TABLA DE VERDAD
(P → Q) ⋀ [ ( P →Q ) ⋀ ( R → S ) ] ⋀ [ ( P →Q ) ⋀ ( R → S ) ] ⋀¬ [ ( P →Q ) ⋀ ( R → S ) ] ⋀
P Q R S T P →Q R → S [ ( R → S) ]
Q ⋀ S ( Q ⋀ S ) →T
[ ( Q ⋀ S ) →T ]
¬T
[ ( Q ⋀ S ) →T ] ⋀ ¬T R
¬P R⋁ P
[ ( Q ⋀ S ) →T ] ⋀ ¬T →( R ⋁ P)
V V V V V V V V V V V F F F F F V
V V V V F V V V V F F V F F F F V
V V V F V V F F F V F F F F F F V
V V V F F V F F F V F V F F F V V
V V F V V V V V V V V F F V F V V
V V F V F V V V V F F V F V F V V
V V F F V V V V F V V F F V F V V
V V F F F V V V F V V V V V F V V
V F V V V F V F F V F F F F F F V
V F V V F F V F F V F V F F F F V
V F V F V F F F F V F F F F F F V
V F V F F F F F F V F V F F F F V
V F F V V F V F F V F F F V F V V
V F F V F F V F F V F V F V F V V
V F F F V F V F F V F F F V F V V
V F F F F F V F F V F V F V F V V
F V V V V V V V V V V F F F V V V
F V V V F V V V V F F V F F V V V
F V V F V V F F F V F F F F V V V
F V V F F V F F F V F V F F V V V
F V F V V V V V V V F F F V V V V
F V F V F V V V V F F V F V V V V
F V F F V V V V F V V F F V V V V
F V F F F V V V F V V V V V V V V
F F V V V V V V F V V F F F V V V
F F V V F V V V F V V V V F V V V
F F V F V V F F F V F F F F V V V
F F V F F V F F F V F V F F V V V
F F F V V V V V F V V F F V V V V
F F F V F V V V F V V V V V V V V
F F F F V V V V F V V F F V V V V
F F F F F V V V F V V V V V V V V
Es una tautología, por lo tanto el enunciado es verdadero

 TABLA GENERADA POR EL SIMULADOR

 REGLAS DE INFERENCIA:
5 MPP (3-4) : {[ ( Q S ) ⟶T ] ⋀ T }→ ( Q ⋀ S )
6 SIMP (5) : Q
7 SIMP (5): S
8 MPP (1-6) : [ ( P →Q ) Q ] → P
9 MPP (2-7) : [ ( R → S ) S ] → R
10 ADICI (8-9) : ( R P )
 TAREA 3: RAZONAMIENTO DEDUCTIVO E INDUCTIVO

Identifique de los siguientes casos si el razonamiento es deductivo o inductivo,

argumentado la respuesta con sus propias palabras

d.

El método inductivo parte de algo específico para llegar a una conclusión general,
mientras que el método deductivo toma conceptos generalizados para llegar a una
conclusión específica.

El razonamiento es deductivo porque el joven al generalizar diciendo que, así como hay
mucha gente que a él no le gusta, llega a una conclusión específica diciendo que
también debe existir un montón de gente que no gusta de él
 CONCLUSION:
Puedo concluir que fue una actividad de muchos retos y responsabilidad, pensé no
poder hacerla, pero con la ayuda de Dios pude sacarla adelante, esta actividad me dejo
mucho conocimiento que siempre los tendré presente, adquirí responsabilidad, aprendí
no rendirme ante los problemas que se me presenten, gracias respetado Tutor por su
ayuda y por todo el apoyo brindado.

REFERENCIA BIBLIOGRAFICAS.

http://hdl.handle.net/10596/13869
https://drive.google.com/open?id=1p5LDykgBP9nf_lgUT034-
4AfKtQYbxlg.
https://es.wikipedia.org/wiki/Contraposici%C3%B3n_l%C3%B3gica
https://youtu.be/FMz4ewwxj1Q
Zazueta B. L. Cálix L. C. (2008). "¿Qué es una tabla de verdad?" Lógica
II. Primera Edición. (pp. 91 – 197). México D.F., México:
Universidad Autónoma de Sinaloa.  Recuperado de
http://uaprepasemi.uas.edu.mx/libros/1er_SEMESTRE/8_Logica_I.
pdf