Documente Academic
Documente Profesional
Documente Cultură
DE ARGUMENTOS
C.C.1074191014
FACULTAD DE INGENIERIA
2018
INTRODUCCIÓN
OBJETIVO GENERAL
En este trabajo se tuvo en cuenta las lecturas de la unidad 3 lo cual nos permitirá tener una
facilidad al momento de realizar el trabajo y los ejercicios, para que también el estudiante pueda
tener conocimiento previo de 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 que podemos
manejar en la lógica matemática.
OBJETIVOS ESPECIFICOS
*Elegir y explicar la letra escogida de los tres ejercicios a presentar por medio de un documento
Word en el cual tendrá que cumplir con unos ítems que aparecen en la guía de actividades de la
tarea.
*problema de aplicación con expresión simbólica en la cual el estudiante debe realizar un lenguaje
natural y sacar una la definición de la proposición en compañía de la tabla de verdad y simulador
de truth.
DESARROLLO DE LOS 3 EJERCICIOS
LETRA :
ESTRUCTURA
clasificación de p:
proposición-tipo-A
ESTRUCTURA
proposición-tipo-O
*De acuerdo con la determinación anterior y teniendo el siguiente esquema, establezca si las
proposiciones son contrarias, de contingencia o subcontrarias. Requisito para este paso las
proposiciones deben tener el mismo término sujeto y predicado.
DESARROLLO:
Premisas:
P1: p → ( q ∨ r )
P2: s →∼ q
P3: t → ∼r
P4: p ∧t
Conclusión: q
DESARRROLLO:
PREMISAS SIMPLES:
q: reprobó el curso
r: pasa el semestre
t: esta distraída
Ana asiste a clases entonces reprueba el curso o pasa el semestre si estudia para aprobar
entonces no reprobó el curso si está distraída entonces no pasa el semestre si Ana asiste a clases
si está distraída por lo tanto reprueba el curso.
Tabla de verdad:
TABLA DE VERDAD CON EL SIMULADOR TRUTH TABLE
DEMOSTRACIÓN DE LA VALIDEZ DEL ARGUMENTO
1) p →(q ∨ r )
2) s →∼ q
3) t → ∼r
4) p ∧t
5) t simplificación: (4)
6) ∼r modus poniendo ponens (3,5)
7) p simplificación: (4)
8) q∨r modus poniendo ponens: (1,7)
9) q modus poniendo ponens: (6,8)
CONCLUSIÓN
El siguiente trabajo nos sirve para tener en cuenta los problemas de aplicación que
también se pueden generar en vida real, el razonamiento que se tiene que manejar a la
hora de realizar un problema o un ejercicio matemático lo cual nos puede ser de gran
ayuda en nuestro proceso académico profesional y personal, al realizar la tarea tres se me
genero un problema con el ejercicio tres no comprendía muy bien como realizar la
definición de este así que me toco buscar ayuda aparte para que me pudiera explicar para
tener el conocimiento de este.
REFERENCIAS
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, país: México,
Editorial: Patria.