You are on page 1of 12

TABLAS DE VERDAD, PREPOSICIONES Y PROBLEMAS DE

APLICACIÓN

ESTUDIANTE

JAIDER HERRERA DURAN

CÓDIGO: 1064109028

GRUPO: 200611A_471

TUTOR

ARMANDO LÓPEZ SIERRA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA

PROGRAMA DE INGENIERÍA INDUSTRIAL

PENSAMIENTO LÓGICO Y MATEMÁTICO

CEAD DE VALLEDUPAR

2018
INTRODUCCION

El siguiente trabajo tiene como finalidad profundizar y hacer una


transferencia de todos los temas abordados en la primare unidad
de fase 1 de este curso, el trabajo costa de dos fase, con el
principio de la logica y las tablas de verdad teoria de los
conjuntos.
OBJETIVO GENERAL

Fortalecer los conceptos y temas adquiridos en las unidades de


lógica matemática. Desarrollo del pensamiento lógico
Comprender el papel que cumple el Pensamiento Lógico en el
aprendizaje y aplicación de la matemática, regocijarse con su uso
y reconocer el valor del pensamiento lógico, en las tablas de
verdad

OBJETIVO ESPECÍFICOS

 Distinguir la importancia de los conectivos lógicos.


 Explicar el cálculo proposicional.
 Comprender y utilizar los métodos para demostrar la
validez de lógica
 Dar uso a las formas básicas de las tablas de verdad.
Demostrar la validez o no validez de situaciones
problemitas por medio de los principios de lógica.
CONCLUCIONES

En conclusion esta actividad permitio que como estudiante


afianzaramos a un mas nuestros conocimientos, pusieramos en
practica lo comprendido durante la primera unida, todo lo
relacionado con los principios de la logica, representaciones
simbolicas y segun lo comprendido pudieramos representar
haciendo uso del diagrama de venn y poder llevar acabo la
elaboracion de tablas de verdad de proposiciones simbolicas.
Tarea 1. Ejercicio B.
p: El rector de la UNAD es Jaime Alberto Leal Afanador
q: La UNAD es una institución de carácter público
r: En la UNAD se estudia de forma presencial
[(𝒑 → 𝒓) ∧ 𝒒] ↔ (¬ 𝒓 ∨ ¬𝒒)
Solución.
p: El rector de la UNAD es Jaime Alberto Leal Afanador
(VERDADERO)
q: La UNAD es una institución de carácter público (VERDADERO)
r: En la UNAD se estudia de forma presencial (FALSO)
Por lo que tenemos que:
P= V, q= V, r= F
[(𝒑 → 𝒓) ∧ 𝒒] ↔ (¬ 𝒓 ∨ ¬𝒒)
[(V → F) ∧ V] ↔ (¬F ∨ ¬V)
(F ∧ V) ↔ (V ∨ F)
F↔V
(F ∧ V) ↔ (V ∨ F)
F
Tarea 2. Ejercicio B.
El sol es redondo y la luna es un satélite si y solo si la tierra hace
parte de la vía láctea.
Solución.
p: El sol es redondo (VERDADERO)
q: La luna es un satélite (VERDADERO)
r: La tierra hace parte de la vía láctea (VERDADERO)
Esta expresión planteada nos da que:
(𝒑 ∧ 𝒒) ↔ 𝒓
(V ∧ V) ↔ V
V↔V
V

Tabla de la verdad manual.

p q r (𝒑 ∧ 𝒒) ↔ 𝒓
V V V V
V V F F
V F F V
F F F V
V F V F
F V F V
F F V F
F V V F
Tabla de la verdad simulador Truth Table.

Tarea 3. Ejercicio C
[(𝑝⟶𝑞) ∧ (𝑟∨𝑠) ∧ (𝑟⟶𝑡) ∧ (∼𝑞) ∧ (𝑢⟶𝑡) ∧ (𝑠⟶𝑝)]⟶𝑡
Solución.
Supongamos que tenemos el argumento, si estudio en la
universidad de la UNAD entonces seré un profesional y estudiare
administración de empresas o ingeniería de alimentos y por lo
que estudiare administración de empresas entonces alcanzare
mis metas propuestas y sino estudio no seré un profesional y
estudiando con dedicación entonces alcanzare mis metas
propuestas y si estudio ingeniería de alimentos entonces estudio
en la UNAD entonces alcanzare mis metas propuestas.
Dónde:
P: Si estudio en la universidad de la UNAD
q: Seré un profesional
r: esturdiere administración de empresas
s: ingeniería de alimentos
t: alcanzare mis metas propuestas
¬q: No seré profesional
u: Estudiando con dedicación
Tabla de la verdad manual:

p q r s t u [(𝑝⟶𝑞) ∧ (𝑟∨𝑠) ∧ (𝑟⟶𝑡) ∧ (∼𝑞) ∧ (𝑢⟶𝑡)


∧ (𝑠⟶𝑝)]⟶𝑡
V V V V V V V
V V V V V F V
V V V V F V V
V V V V F F V
V V V F V V V
V V V F V F V
V V V F F V V
V V V F F F V
V V F V V V V
V V F V V F V
V V F V F V V
V V F V F F V
V V F F V V V
V V F F V F V
V V F F F V V
V V F F F F V
V F V V V V V
V F V V V F V
V F V V F V V
V F V V F F V
V F V F T T V
V F V F V F V
V F V F F V V
V F V F F F V
V F F V V V V
V F F V V F V
V F F V F V V
V F F V F F V
V F F F V V V
V F F F V F V
V F F F F V V
V F F F F F V
F V V V V V V
F V V V V F V
F V V V F V V
F V V V F F V
F V V F V V V
F V V F V F V
F V V F F V V
F V V F F F V
F V F V V V V
F V F V V F V
F V F V F V V
F V F V F F V
F V F F V V V
F V F F V F V
F V F F F V V
F V F F F F V
F F V V V V V
F F V V V F V
F F V V F V V
F F V V F F V
F F V F V V V
F F V F V F V
F F V F F V V
F F V F F F V
F F F V V V V
F F F V V F V
F F F V F V V
F F F V F F V
F F F F V V V
F F F F V F V
F F F F F V V
F F F F F F V

Tabla de la verdad simulador Truth Table:


El argumento del ejercicio es una Tautología debido a que en
este caso da siempre el valor de verdad V en todos los casos
posibles de los valores de verdad.

Referencias

 Acevedo gonzales g (1995) logica matematica unad


 http://www.slideshare.net/educomunicacion/como-
realizar-una-tablade-verdad
 http://sentros5.mec.es/ies.victori.kent/rincon-
c/alumnos/al-18/al-18.htm
 http://www.slideshare.net/brallis95/la-logica-y-el-
pensamiento-9819987.