1
TAREA 1 METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
DIANA MILENA MELO OLARTE
CODIGO: 200611_316
CURSO: PENSAMIENTO LOGICO Y MATEMATICO
TUTOR: JULY NATALIA MORA ALFONSO
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA, ESCUELA DE CIENCIAS
ADMINISTRATIVAS , CONTABLES, ECONOMICAS Y DE NEGOCIOS
ADMINISTRACION DE EMPRESAS
23 de junio de 2021
2
INTRODUCCION
En el presente trabajo llevaremos acabo la profundización de conceptos de la lógica la cual es la
ciencia que estudia los métodos de razonamiento, proporcionando reglas y técnicas para
determinar si un argumento es valido o no y nos indica la forma correcta de obtener conclusiones
y los métodos para llegar a ellas , veremos la Lógica proposicional que estudia las proposiciones
y símbolos utilizados
en la formación de nuevas proposiciones , que podrán ser verdaderas o
falsas señaladas por reglas formales y por ultimo el enunciado el cual es conjunto organizado
de palabras , que expresan juntas ideas anteriormente mencionadas.
Haremos la formulación de expresiones de lenguaje simbólico y natural, con lo aprendido en las
guías de apoyo y con la inducción recibida , aplicaremos nuestro conocimiento en los Ejercicios
a desarrollar teniendo claro el concepto de las proposiciones y tablas
leyes de inferencias que nos permiten desarrollar operaciones básicas.
de verdad , aplicar las
3
OBJETIVOS
1. Conocer y aprender como se crea una proposición y tabla de verdad y saber diferenciar
las leyes y reglas de inferencia lógica en los diferentes
ejercicios propuestos en el
presente trabajo.
2. Analizar detalladamente la unidad de los contenidos y referentes bibliográficos con el fin
de tener un conocimiento mas amplio y aplicarlo en los ejercicios propuestos en la tarea
No 1.
3. Generar la tabla de verdad aprendiendo a utilizar el simulador lógica UNAD .
4. Definir proposiciones simples ,utilizando una descripción en un contexto académico .
4
ACTIVIDADES A DESARROLLAR “EJERCICIOS B”
EJERCICIO. 1: PROPOSIONES Y TABLAS DE VERDAD
B.
p: La mejor serie de zombies es The walking Dead
q: La mejor serie de zombies es kingdom
r: la ficción coreana es el gran fenómeno de Netflix
(p v q)
(~ p ^ r )
Escriba la preposición compuesta propuesta en lenguaje natural.
La mejor serie de zombies es The walking Dead o la Mejor serie de zombies es kingdom.
entonces no es cierto que la mejor serie de zombies es the walking dead y la ficción coreana es
el gran fenómeno en Netflix.
Generar la tabla de verdad manualmente a partir del lenguaje simbólico y determinar.
Si el resultado es tautología, contingencia o contradicción.
(p v q)
(~ p ^ r )
TABLA MANUAL
p
q
r
p v q
~p
~p ∧ r
(p v q ) ➝ (~p ∧ r )
v
v
v
v
f
f
f
v
v
f
v
f
f
f
v
f
v
v
f
f
f
v
f
f
v
f
f
f
f
v
v
v
v
v
v
f
v
f
v
v
f
f
f
f
v
f
v
v
v
5
f
f
f
f
v
f
v
RTA: se clasifica como: Contingencia.
Se entiende por verdad. Contingente , o verdad de hecho, aquella proposición que puede ser
verdadera o falsa (combinación entre tautología y contradicción) según los valores de las
proposiciones que la integran.
Tabla de verdad simulador Unad.
Link video desarrollo del ejercicio:
https://desk.bigvu.tv/embed/60de8e800beee28df96295a4/60de945d7b6afc92a76ffc5b
6
Ejercicio 2 : Identificación de las reglas de la inferencia lógica.
B. Expresión simbólica
1. Ejercicio # 1
a∧ ¬b
º LEY DE SIMPLIFICACION (S)
___________
a
Definir las Proposiciones simples:
a: estudiar te lleva a ser profesional .
b: Sin estudiar puedes ser profesional.
a ∧ ¬ b : Estudiar te lleva a ser profesional y no es cierto que sin estudiar puedes ser
profesional.
________ : Por lo tanto estudiar te lleva a ser profesional.
a
Lenguaje Natural: Estudiar te lleva a ser profesional y sin estudiar no puedes ser profesional
por lo tanto para ser profesional tienes que estudiar .
2. Ejercicio # 2
p → ¬q
p
___________
¬q
º LEY MODUS PONENDO PONENS (MPP)
7
Definir las proposiciones simples:
P: estudio contaduría
q: no seré profesional
p → ¬q: si estudio contaduría entonces no es cierto que no seré profesional
p: estudio contaduría
_______: por lo tanto no es cierto que no seré profesional.
¬q
Lenguaje Natural: si estudio contaduría seré profesional, no soy profesional porque no estudie.
Contaduría
3. Ejercicio # 3
Expresión simbólica :
r → ¬s
s
_________
¬r
º LEY MODUS TOLLENDO TOLLENS (TT)
Definir las proposiciones simples:
r: estudio lógica
s: no aprobare la materia
r → ¬s: si estudio lógica entonces no es cierto que no aprobare la materia
s: no aprobare la materia por lo tanto no estudio lógica
8
Lenguaje Natural: estudio lógica entonces aprobare. La materia sino aprobé la materia Fue
porque no estudie lógica .
Ejercicio 3 : Aplicación de las reglas de la inferencia lógica
B. Argumento: Contaduría publica es una disciplina con la que es posible interpretar
información financiera de una empresa, entonces, una persona que estudie contaduría publica
debe realizar recomendaciones que permitan una mejor gestión financiera de una empresa.
Contaduría publica es una disciplina con la que es posible interpretar información financiera de
una empresa.
a. Conclusión: una persona que estudie contaduría publica debe realizar recomendaciones
que permitan una mejor gestión financiera de una empresa.
b. Ley de inferencia aplicada: Modus Ponendo Ponens (pp)
C.
Lenguaje simbólico: p → q
p
___________
∴ q
P : Contaduría publica es una disciplina con la que es posible interpretar información
financiera de una empresa.
q: una persona que estudie contaduría publica debe realizar recomendaciones que permitan una
mejor gestión financiera de una empresa.
Ejercicio 4: Problemas. De aplicación
9
B. Expresión simbólica : {[(~p➝r) ∧ (q➝∽p)] ∧ ( ∽ p ∧ q )}➝（q ∧ r )
Premisas:
P1: (~p➝r)
P2: (q➝∽p)
P3: (∽ p ∧ q )
Conclusión: (q ∧ r)
Proposiciones simples:
p: Estudio para el examen de lógica
q: Apruebo el examen
r: salgo de compras
Lenguaje Natural: Si no estudio para el examen de lógica, entonces salgo de compras; Y si
apruebo el examen entonces no estudio para el examen de lógica y si no estudio para el examen
de lógica y apruebo el examen , entonces apruebo el examen y salgo de compras
Tabla de verdad Manual:
10
Tabla de verdad simulador unad.
Demostración de la validez del argumento mediante las Leyes de Inferencia:
Premisas:
P1: (~p➝r)
P2: (q➝∽p)
P3: (∽ p ∧ q )
P4: ∴ ( p ∧ r) conclusión
P5: (~p➝r)
(q➝∽p)
______________ silogismo hipotético Para 1 y 2
q ➝ r
P6: ( ∽ p ∧ q ) ∧（q ➝ r ) ➝ r ∧ q demostración condicional a 3
P7: r ∧ q = q ∧ r
P. Conmutativo
11
CONCLUSIONES
12
Con el desarrollo de
la presente actividad puedo deducir que la inteligencia lógica
matemática nos permite resolver problemas de nuestra vida cotidiana en cualquier acción
que nosotros realizamos , usamos nuestra lógica y las matemáticas están presentes
ayudándonos desarrollar actitudes mas criticas y curiosas.
Los temas tratados en el cipa fueron de gran apoyo para el desarrollo de los ejercicios
planteados dejándonos claro los conceptos básicos del tema en general aprendimos a
realizar tablas de verdad, la Identificación de reglas de inferencia y aplicación de las
mismas .
Finalmente podemos concluir e Identificar diferentes tipos de proposiciones categóricas
para dar solución a situaciones de la vida cotidiana.
REFERENCIAS
13
Ova proposiciones categóricas
https://repository.unad.edu.co/handle/10596/37837
https://youtu.be/t_D-7j1Sbk8
https://youtu.be/n00R0Z5dc08
https://www.youtube.com/watch?v=oc-5RlayUqw
http://logicaunad.com/jtruth/
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:
Grupo Editorial Patria. (pp. 61- 65) https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/40414?page=72
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:
Grupo Editorial Patria. (pp. 80 - 84) https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/40414?page=91
Escudero Trujillo, R. (2016). Matemáticas básicas (4a. ed.). (pp. 37 – 39). Universidad del
Norte. https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/69967?page=45
