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