Tarea 1 - Metodos para Probar la Validez de Argumentos
Enviado por Luigi Bellucci • 2 de Julio de 2022 • Tarea • 1.617 Palabras (7 Páginas) • 134 Visitas
TAREA 1: MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
LUIS ARMANDO BELLUCCIO ROYERO
SANDRA DOMINGUEZ BONILLA
DIRECTORA DE CURSO
GUIA DE ACTIVIDADES Y RUBRICA DE EVALUACION
PENSAMIENTO LOGICO Y MATEMATICO
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
24 DE ABRIL DE 2022
INTRODUCCION
Con el desarrollo de la siguiente actividad, me he propuesto aprender y profundizar más en el lenguaje lógico, en especial el contenido de esta unidad, que trata sobre los métodos para probar la validez de argumentos. En un contexto informático, enfocado a la carrera que me encuentro estudiando, es un inicio a lo que tiene que ver con el área de programación, dado que usamos lenguaje que simplifica funciones, expresiones y acciones. También es importante mencionar el uso de las tablas de verdad, y de igual forma aplicar las leyes de inferencias que permiten resolver operaciones básicas, analizar la información adquirida, para hacer uso de un método de pensamiento reflexivo y de conocimiento de nuestro alrededor, aplicándolo a la cotidianidad.
Desarrollar la habilidad de pensamiento lógico matemático es crucial para entender los conceptos abstractos, razonar, comprender todo tipo de relaciones de conjuntos y expresiones, y establecer relación intrínseca entre diferentes conceptos para lograr una comprensión más profunda, proporcionando a su vez, orden y sentido a las acciones y/o decisiones.
OBJETIVOS
- Analizar los temas propuestos en la guía de actividades
- Ubicar y hacer uso de los documentos alojados en el entorno de aprendizaje, para una excelente comprensión de los ejercicios y resolución de problemas.
- Aprender a reconocer la importancia de las tablas de verdad para el desarrollo de problemas de lógica aplicada y lectura de ecuaciones.
- Conocer y aprender sobre las leyes de inferencia.
ACTIVIDADES A DESARROLLAR
EJERCICIO 1: PROPOSICIONES Y TABLAS DE VERDAD
Descripción del ejercicio:
A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1;
*Los ejercicios elegidos por mí, corresponden a la letra B:
p: Santiago estudia de noche
q: Santiago obtiene buenas calificaciones
r: Santiago es buen trabajador
¬ {r↔ [(¬q Λ r) →p]}
Escriba la proposición compuesta propuesta en lenguaje natural
¬ {r↔ [(¬q Λ r) →p]}
RESPUESTA
No es cierto que Sí y solo Sí Santiago es buen trabajador, entonces, si no obtiene buenas calificaciones y es buen empleado, entonces estudia de noche.
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el resultado es una tautología, contingencia o contradicción.
No es cierto que Sí y solo Sí Santiago es buen trabajador, entonces, si no obtiene buenas calificaciones y es buen empleado, entonces estudia de noche.
RESPUESTA
*Para elaborar la tabla y determinar el número de filas la fórmula es 2n, donde n es igual al número de proposiciones simples
p: Santiago estudia de noche
q: Santiago obtiene buenas calificaciones
r: Santiago es buen trabajador
¬ {r↔ [(¬q Λ r) →p]}
* Para elaborar la tabla y determinar el número de columnas es necesario determinar:
- Proposiciones simples
- Negaciones
- Parentesis (premisa)
- Enlaces entre paréntesis
Se debe tener en cuenta que se deben desarrollar los siguientes ítems
*Expresion en lenguaje simbolico
*Desarrollo mediante la tabla de verdad
* Uso del simulador
DESARROLLO
No es cierto que Sí y solo Sí Santiago es buen trabajador, entonces, si no obtiene buenas calificaciones y es buen empleado, entonces estudia de noche.
p: Santiago estudia de noche | |
q: Santiago obtiene buenas calificaciones | ¬q: Santiago no obtiene buenas calificaciones |
r: Santiago es buen trabajador | ¬r: Santiago no es buen trabajador |
Premisa 1 (¬qΛr)
Premisa 2 ¿ →r) Conclusion ¬(r→?
Proposiciones simples : p, q, r
Numero de filas 2n = 2 a la 3 = 2*2*2 = 8 filas Numero de columnas de la tabla
*3 proposiciones simples
*2 negaciones
*3 premisas
*2 relaciones entre premisas
TABLA CON VALORES DE VERDAD
¬ {r↔ [(¬q Λ r) →p]}
p | q | r | ¬ q | ¬r | ¬ {r↔ | (¬q Λ r) | (¬q Λ r) →p | ¬ {r↔ [(¬q Λ r) →p]} |
V | V | V | F | F | V | V | V | F |
V | V | F | F | V | V | V | V | V |
V | F | V | V | F | V | V | F | F |
V | F | F | V | V | V | V | F | V |
F | V | V | F | F | V | V | V | F |
F | V | F | F | V | V | F | V | V |
F | F | V | V | F | F | V | F | V |
F | F | F | V | V | F | F | F | V |
...