Métodos para probar la validez de argumentos
Enviado por JacoboP • 21 de Junio de 2021 • Prácticas o problemas • 878 Palabras (4 Páginas) • 105 Visitas
Tarea 1 Métodos para probar la validez de argumentos
Juan Jacobo Patiño Marín
Grupo 200611_770
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Ingeniería de sistemas
Risaralda Caldas
Mayo 2021
Introducción
El contenido del siguiente trabajo permite conocer el desarrollo de los ejercicios planteados en la tarea uno del curso de Pensamiento lógico matemático, como también para mostrar el uso de las proposiciones simples y compuestas, los conectores lógicos, las tablas de verdad y las leyes de inferencia.
Objetivos
- Determinar el valor de verdad de las proposiciones compuestas por medio de las tablas verdad.
- Traducir las proposiciones compuestas en lenguaje formal a lenguaje natural o viceversa basándose en los conectores lógicos.
- Aplicar las leyes de inferencia para determinar a qué regla pertenecen las diferentes preposiciones como para demostrar la valides de un argumento
Actividades para desarrollar
La tarea de esta unida se compone de una serie de cuatro ejercicios que se describirán a continuación:
Ejercicio 1: Proposiciones y tabla de verdad ejercicio B
➢ Proposiciones simples
. p: El robot Perseverance aterriza en el planeta rojo (Marte)
q: El robot obtiene muestras de roca
r: Su misión es la búsqueda de signos de vida microbiana
➢ Lenguaje simbólico
[(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)
➢ Lenguaje Natural
El robot Perseverance aterriza en el planeta rojo (Marte) y el robot obtiene muestras de rocas y si el robot Perseverance aterriza en el planeta rojo (Marte) entonces su misión es la búsqueda de signos de vida microbiana entonces su misión es la búsqueda de signos de vida microbiana y el robot obtiene muestras de roca.
➢ Tabla manual
Se aplica la formula para hallar la cantidad de valores de verdad 2n = 23 = 8
p | q | r | 𝒑 ∧ 𝒒 | 𝒑 → 𝒓 | 𝒓 ∧ 𝒒 | (𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓) | [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒) |
v | v | v | v | v | v | v | v |
v | v | f | v | f | f | f | v |
v | f | v | f | v | f | f | v |
v | f | f | f | f | f | f | v |
f | v | v | f | v | v | f | v |
f | v | f | f | v | f | f | v |
f | f | v | f | v | f | f | v |
f | f | f | f | v | f | f | v |
➢Se clasifica como: Tautología
➢ Tabla de verdad Simulador UNAD
[pic 1]
➢ Realizar un vídeo donde explique la forma como fue desarrollado el ejercicio 1 seleccionado. Enlace: https://youtu.be/0LHIDoCXZ8c
Ejercicio 2: Identificación de las reglas de la inferencia lógica ejercicio B
Expresión simbólica
p → q |
q → r |
p → r |
➢ Ley de inferencia de la expresión: Silogismo hipotético
➢ Proposiciones simples:
p: Los estudiantes de la UNAD realizan sus tareas en el computador
q: Los estudiantes tienen internet
r: Los estudiantes suben sus tareas al entorno de evaluación
➢ Lenguaje Natural:
Si los estudiantes de la UNAD realizan sus tareas en el computador entonces los estudiantes tienen internet. Si los estudiantes tienen internet entonces los estudiantes suben sus tareas al entorno de evaluación. Por lo tanto, si los estudiantes de la UNAD realizan sus tareas en el computador entonces los estudiantes suben sus tareas al entorno de evaluación.
...