LOGICA MATEMATICA

PASO 2: CONECTIVOS LÓGICOS

TUTOR.
CARLOS FERNANDO VARELA
EVELIN JULIETH HERAZO PEDRAZA
COD: 1053611168
GRUPO: 200611A_472
INGENIERIA INDUSTRIAL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD
DUITAMA
2018
 INTRODUCCION

El objetivo principal que persigue este trabajo es desarrollar ejercicios de temas específicos que plantea el tutor,
con el fin de tener mayor aprendizaje y conocimiento de los diversos temas planteados con ayuda de herramientas
informáticas que serán de gran provechó para nuestro desarrollo intelectual.
 OBJETIVOS

 Desarrollar los diferentes ejercicios planteados en la actividad.

 Conocer y saber aplicar los métodos y técnicas de las Matemáticas.
 Enriquecer nuestros conocimientos en esta área mediante los diferentes procesos que debemos realizar.
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:

d) p: El año 2020 será un año bisiesto

q: En un año bisiesto febrero tiene 29 días
r: Los años bisiestos se dan cada dos años

El año 2020 será un año bisiesto ENTONCESE en un año bisiesto febrero tiene 29 días ENTONCES Los años
bisiestos se dan cada dos años SI Y SOLO SI, NO ES CIERTO que en un año bisiesto febrero tiene 29 días O Los
años bisiestos se dan cada dos años.

[ ( p→ q )→r ] ↔( ¬q∨ r )

[(p→q)→r]↔
p q r ¬q (p→q) (p→q)→r (¬qvr) (¬qvr)
V V V F V V V V
V V F F V F F V
V F V V F V V V
V F F V F V V V
F V V F V V V V
F V F F V F F V
F F V V V V V V
F F F V V F V F
Tarea 2: Tablas de verdad
Cada solución de los siguientes enunciados debe contar con las siguientes etapas:

 Expresión en lenguaje simbólico.

 Desarrollo mediante tablas de verdad
 Uso del simulador Truth Table.

d) Si hoy es lunes y pasado mañana es miércoles entonces mañana es martes y mañana no es jueves

PROPOSICIONES:

p: Si hoy es lunes
q: Pasado mañana es miércoles
r: Mañana es martes
s: Mañana es jueves
 Expresión en lenguaje simbólico

( p ∧ q) → ( r ∧ ¬s )

Tablas de verdad

p q r s ¬s (pɅq) (rɅ¬s) (pɅq)→ (rɅ¬s)

V V V V F V F F
V V V F V V V V
V V F V F V F F
V V F F V V F F
V F V V F F F V
V F V F V F V V
V F F V F F F V
V F F F V F F V
F V V V F F F V
F V V F V F V V
F V F V F F F V
F V F F V F F V
F F V V F F F V
F F V F V F V V
F F F V F F F V
F F F F V F F V
TAREA 3: PROBLEMAS DE APLICACIÓN

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.

 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

D. {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞
E. P:Daniela sale de casa
F. q:Daniela llega al colegio
G. r:Daniela no entra a clases
H. s:Daniela entra clases en la mañana
I. t: Daniela no sale en la mañana
 Daniela sale de casa ENTONCES daniela llega al colegio O daniela no entra a clases Y daniela entra
a clases en la mañana ENTONCES NO ES CIERTO QUE daniela no llega al colegio Y daniela no
sale en la mañana ENTONCES NO ES CIERTO QUE daniela no entra a clases Y daniela sale de
casa Y daniela no sale en la mañana ENTONCES daniela llega al colegio.
 TABLA DE VERDAD

 CONCLUSIONES

 Este trabajo enriqueció mi conocimiento en el área de Lógica matemática, mediante ejercicios básicos que
ayudaron a crear mejores bases para mi desarrollo intelectual.
 BIBLIOGRAFIA

John Karts. [John Karts]. (1819). [Simulador Truth]. Recuperado

de:http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/