Pensamiento lógico y matemático
Enviado por ccrojasp03 • 16 de Octubre de 2022 • Trabajo • 756 Palabras (4 Páginas) • 68 Visitas
Unidad 1 - Tarea 1 - Métodos para probar la validez de argumentos
Cristian Camilo Rojas Pérez
Universidad Abierta y A Distancia UNAD
Ingeniería de sistemas
Pensamiento lógico y matemático
Tutor: Alexis Trujillo García
Bogotá, Colombia
30 de sept. de 22
Introducción
Las tablas de verdad son, por una parte, uno de los métodos más sencillos y conocidos de la lógica formal, pero el mismo tiempo también uno de los más poderosos y claros. Entender bien las tablas de verdad es, en gran medida, entender bien a la lógica formal misma. En esta actividad haremos algunas reflexiones alrededor de las tablas de verdad cómo pretexto.
Objetivos
- Distinguir variables lógicas, dependientes e independientes, a partir de una situación o problema específico.
- Representar las funciones lógicas mediante tablas de verdad y expresiones algebraicas.
- Aprender técnicas para simplificar funciones lógicas
- Diseñar circuitos lógicos para resolver problemas.
Desarrollo de los 4 ejercicios
Ejercicio 1: Proposiciones y tablas de verdad
Proposiciones simples:
p: El Modelo Pedagógico Unadista está apoyado en el E-learning
q: El MPU tiene accionar de aprendizaje autónomo
r: El MPU tiene accionar de aprendizaje significativo
s: El MPU tiene accionar de aprendizaje colaborativo.
Lenguaje Simbólico:
[pic 1]
Lenguaje natural:
El MPU tiene accionar de aprendizaje significativo y tiene accionar de aprendizaje autónomo o El MPU tiene accionar de aprendizaje significativo y tiene accionar de aprendizaje colaborativo, entonces, el Modelo Pedagógico Unadista está apoyado en el E-learning
Tabla Manual:
p | q | r | s | [pic 2] | [pic 3] | [pic 4] | [pic 5] |
V | V | V | V | V | V | V | V |
V | V | V | F | V | F | V | V |
V | V | F | V | F | F | F | V |
V | V | F | F | F | F | F | V |
V | F | V | V | F | V | V | V |
V | F | V | F | F | F | F | V |
V | F | F | V | F | F | F | V |
V | F | F | F | F | F | F | V |
F | V | V | V | V | V | V | F |
F | V | V | F | V | F | V | F |
F | V | F | V | F | F | F | V |
F | V | F | F | F | F | F | V |
F | F | V | V | F | V | V | F |
F | F | V | F | F | F | F | V |
F | F | F | V | F | F | F | V |
F | F | F | F | F | F | F | V |
Se clasifica como: contingencia.
Tabla de verdad Simulador UNAD
[pic 6]
Enlace del video explicativo.
https://youtu.be/tKk7af4Fk-w
Ejercicio 2: Identificación de las reglas de la inferencia lógica
[pic 7]
Ley de inferencia de la expresión:
Modus Tollendo Ponens (MTP)
[pic 8]
[pic 9]
________
[pic 10]
Definir las proposiciones simples:
r: Cristian es estudiante de la UNAD
...