Vous êtes sur la page 1sur 4

Paso 7

resolución de situaciones matemáticas del mundo real desde la lógica


matemática

Grupo:

Presentado a: Randy Zabaleta

Universidad Nacional Abierta y a Distancia.

Pensamiento lógico y matemático

Ingeniería Electrónica.

2018
Actividades a desarrollar

Tarea 1: Proposiciones y tablas de verdad

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su


escogencia en el foro, de tal forma que no coincida con los compañeros.

D . [(p v q) ^ ((p ^ r) ⟶ s) ^ (r ^ ¬s)] ⟶ q

Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples bajo
una descripción basada en el contexto académico, remplazando las variables
expresadas simbólicamente para llevarlas al lenguaje natural.

La solución de los enunciados debe contar con las siguientes etapas:

 Definición de las proposiciones simples

 Lenguaje natural de la expresión formal

 Generar la tabla de verdad manualmente y a través del simulador Truth


Table.

 Comprobar el resultado de la tabla de verdad manual versus simulador


Truth Table.

 Definir si el argumento es una Tautología, contradicción o contingencia


[(p v q) ^ ((p ^ r) ⟶ s) ^ (r ^ ¬s)] ⟶ q

Juan es personero estudiantil

Juan es estudiante

Si juan es personero estudiantil o consejero académico; y juan es muy popular en su


salón y en toda la escuela, entonces juan es muy conocido y en la escuela hay personero
y juan no es consejero académico entonces juan es estudiante.

Tabla de la verdad del simulador


Tabla manual

p q r s [(p v q)^((p^r)⇾s)^(r^~s)]→q
V V V V V
V V V F V
V V F V V
V V F F V
V F V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F V

Comparación tablas

Podemos comprobar que la tabla manual representa una tautología como la tabla de
verdad del simulador por lo cual la tabla manual y la tabla del simulador son tablas
idénticas.

Argumento tautología

El argumento es una tautología ya que es una fórmula que resulta verdadera en


cualquiera de sus interpretaciones