Está en la página 1de 5

Tarea 1: Proposiciones

Transcribir en el lenguaje natural la expresión formal que se relaciona y


determinar el valor de verdad de la proposición compuesta, a partir del
valor de verdad de cada proposición simple:

Ejemplo:
𝒑: 𝑻𝒓𝒆𝒔 𝒄𝒐𝒍𝒐𝒎𝒃𝒊𝒂𝒏𝒐𝒔 𝒉𝒂𝒏 𝒈𝒂𝒏𝒂𝒅𝒐 𝒆𝒍 𝒑𝒓𝒆𝒎𝒊𝒐 𝒏𝒐𝒃𝒆𝒍.
𝒒: 𝑮𝒂𝒃𝒓𝒊𝒆𝒍 𝑮𝒂𝒓𝒄í𝒂 𝑴á𝒓𝒒𝒖𝒆𝒛 𝒈𝒂𝒏ó 𝒖𝒏 𝒏𝒐𝒃𝒆𝒍 𝒅𝒆 𝒑𝒂𝒛.

(𝒑 → 𝒒) ↔ (¬𝒑 ∨ 𝒒)
Proposición compuesta en lenguaje Natural:
Si tres colombianos han ganado el premio nobel, entonces Gabriel
García Márquez ganó un nobel de paz. Si y solo si tres colombianos no
han ganado el premio nobel o Gabriel García Márquez ganó un nobel de
paz.

Determinación del valor de verdad:

p: F q: F
(p → q)  (¬p v q)
(F→F)  (V v F)
VV
V
Proposición compuesta en lenguaje Natural:

Si en la unad hay 5 periodos académicos anualmente y la unad no tiene 3


periodos de 8 semanas cada uno entonces no hay 5 periodos académicos
anualmente
E. p: en la UNAD hay 5 periodos académicos anualmente
q: La UNAD tiene 3 periodos de 8 semanas cada uno

(𝑝∧¬𝑞) →(¬ 𝑝)
Determinación del valor de verdad:
P: F q:F

(𝑝∧¬𝑞) →(¬ 𝑝)
(F∧¬F) → (¬F)

Tarea 2: Tablas de verdad

A. Si hoy es lunes y pasado mañana es miércoles entonces mañana


es martes y mañana no es jueves
La solución de los enunciados debe contar con las siguientes etapas:
 Expresión en lenguaje simbólico o 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.

Tarea 3: Problemas de aplicación

[(𝑝⟶𝑞)∧(𝑟∨𝑠)∧(𝑟⟶𝑡)∧(∼𝑞)∧(𝑢⟶𝑡)∧(𝑠⟶𝑝)]⟶𝑡

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

JOHANA
Tabla 1
TABLA 1:PLAN DE ACCION - GRUPO ##
Datos Estudiante Fotografía Ejercicios Ejercicios
seleccionado seleccionado s
sa revisar
desarrollar
Identificación:1098715881 Tarea 1: Tarea 1:
Nombre :JOHANA MENDOZAA
CEAD/CCAV/CERES/ UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Identificación Tarea 1: Tarea 1:


Nombre
CEAD/CCAV/CERES/ UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Identificación Tarea 1: Tarea 1:


Nombre
CEAD/CCAV/CERES/ UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Identificación Tarea 1: Tarea 1:


Nombre
CEAD/CCAV/CERES/ UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Identificación Tarea 1: Tarea 1:


Nombre
CEAD/CCAV/CERES/ Tarea 2: Tarea 2:
UDR
Tarea 3: Tarea 3:

En el entorno de seguimiento y Evaluación paso 2 Proposiciones y


Tablas de Verdad, subir un único archivo en formato PDF el cual debe
nombrarse numerogrupo_paso_2_nombreapellidoestudia nte, y
debe contener:
 Portada.
 Introducción al trabajo que van entregar, no la introducción del
curso
 Objetivos.
 Desarrollo de las 3 tareas.
 Conclusiones del trabajo desarrollado
 Referencias Bibliográficas teniendo en cuenta las normas APA

Peso Evaluativo: 80 puntos