Docsity
Docsity

Prepara tus exámenes
Prepara tus exámenes

Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity


Consigue puntos base para descargar
Consigue puntos base para descargar

Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium


Orientación Universidad
Orientación Universidad

lógica matemática tablas, Ejercicios de Lógica Matemática

lógica matemática tablas de verdad

Tipo: Ejercicios

2022/2023

Subido el 13/05/2023

fernando-castellanos-8
fernando-castellanos-8 🇨🇴

1 documento

1 / 11

Toggle sidebar

Esta página no es visible en la vista previa

¡No te pierdas las partes importantes!

bg1
1
Unidad 2 – Tarea 2 Métodos para probar la validez de argumentos
Autor: Fernando Castellanos Castillo
Tutor: Andres Gonzalo Hernández
Curso: Pensamiento Lógico Y Matemático
Grupo: 200611_3271
Institución: UNAD
Escuela: CEAD YOPAL
Programa: Ingeniería Electrónica
Año: 2023
pf3
pf4
pf5
pf8
pf9
pfa

Vista previa parcial del texto

¡Descarga lógica matemática tablas y más Ejercicios en PDF de Lógica Matemática solo en Docsity!

Unidad 2 – Tarea 2 Métodos para probar la validez de argumentos Autor: Fernando Castellanos Castillo Tutor: Andres Gonzalo Hernández Curso: Pensamiento Lógico Y Matemático Grupo: 200611_ Institución: UNAD Escuela: CEAD YOPAL Programa: Ingeniería Electrónica Año: 2023

Objetivos General Se interpreta lo mas lógico y adecuadamente las tablas de verdad y reglas de inferencia para probar la validez de argumentos. con esto se interioriza las posibles opciones en la vida real la argumentación entre las conexiones de la verdad o falsedad.

Al examinar la última columna de la tabla, podemos ver que la proposición compuesta "(p ∧ q) ↔ r" tiene valores de verdad diferentes para diferentes combinaciones de verdad de las proposiciones p, q y r. Por lo tanto, no es una tautología ni una contradicción, sino que es una contingencia. En otras palabras, su valor de verdad no se puede determinar simplemente mirando la forma de la proposición, sino que depende de los valores de verdad de sus proposiciones componentes. Link De Video  Generar la tabla de verdad a través del simulador Lógica UNAD. El paso a paso para el uso del simulador lo podrá encontrar en el Anexo 6 - Simulador Lógica UNAD, ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad 2- Tarea 2 - Métodos para probar la validez de argumentos. http://logicaunad.com/jtruth/

Ejercicio 2: Aplicación de las reglas de la inferencia lógica c. Patricia estudia Psicología o Patricia estudia Música. Si Patricia estudia Psicología entonces Patricia matricula epistemología de la Psicología. Si Patricia estudia música entonces Patricia matricula fundamentos de la escritura musical.  Lenguaje simbólico: P: Patricia estudia Psicología. M: Patricia estudia Música. E: Patricia matricula epistemología de la Psicología. F: Patricia matricula fundamentos de la escritura musical. (P ∨ M) ∧ [(P → E) ∧ (M → F)]  Ley de inferencia aplicada: La ley de inferencia que se aplica en este enunciado es la ley del modus ponens  Conclusión: La conclusión que se puede inferir a partir del enunciado que proporcionaste es que, si Patricia estudia Psicología, entonces matricula epistemología de la Psicología, y si Patricia estudia Música, entonces matricula fundamentos de la escritura musical. En términos simbólicos, la conclusión sería: Si P, entonces E (si Patricia estudia Psicología, entonces matricula epistemología de la Psicología). Si M, entonces F (si Patricia estudia Música, entonces matricula fundamentos de la escritura musical).

 Completar la tabla, estableciendo cada la ley de inferencia y las premisas utilizadas para avanzar en la demostración. Premisa o paso Ley de inferencia aplicada Premisas usadas P1: (p v q) P2: ~p Simplificación conjuntiva P1: (p v q) P3: (q→r) Simplificación conjuntiva P4: s

  1. ~p
  2. p v q Simplificación conjuntiva
  1. q Silogismo disyuntivo 2. ~p, 3. p v q
  2. q → r Simplificación conjuntiva
  3. r Modus ponens 4. q, 5. q → r
  4. r ᴧ s Conjunción 6. r, 4. s Ejercicio 4: Problemas de aplicación C. Expresión simbólica: [p∧(p→∼r) ∧ (q v r)]→ (q ᴧ p) P1: p P2: (p→∼r) P3: (q v r) Conclusión: q ᴧ p  Las proposiciones simples:
  5. La profesora de psicología tiene un grado en psicología (p).
  6. Si un estudiante no aprueba el examen, entonces no tiene un conocimiento adecuado del tema (p→∼r).
  7. Los estudiantes pueden tomar una electiva en música o literatura (q v r).
  8. Un estudiante tiene que tomar al menos una electiva (q v r).
  9. Si un estudiante aprueba un curso y asiste a todas las clases, entonces tendrá una buena calificación (q ᴧ p).

Conclusiones Se interpreta lo más lógico y adecuadamente las tablas de verdad y reglas de inferencia para probar la validez de argumentos. con esto se interioriza las posibles opciones en la vida real la argumentación entre las conexiones de la verdad o falsedad.

Referencias Bibliográficas Curo, A. (2015). Matemática básica para administradores. Universidad Peruana de Ciencias Aplicadas (UPC). (pp. 13-27). • Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos. Editorial Tébar Flores. (pp. 19-28). • Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad Abierta para Adultos (UAPA). (pp. 19- 36).