MOMENTO INTERMEDIO PASO 2- USO DE TABLAS DE VERDAD

Lenidas Montenegro Zambrano

Grupo 60

Tutora
Elizabeth Puentes

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO
Bogot
2016

Objetivo
Lograr entender y trabajar conceptos de la lgica matemtica para
poder trabajarlos en las tabas de verdad identificando en situaciones problemas las proposiciones
que van a necesitarse para la solucin as mismo pode entender la relacin entre conjuntos en
contextos reales

Objetivos especficos

Identificar las relaciones entre proposiciones que se pueden presentar en enunciados

problemas, junto con la simbologa que se le atribuye a cada una.
Conceptualizar la definicin de tablas de verdad Tautolgicas, Contradicciones y
Contingencias
Lograr demostrar grficamente la relacin entre proposiciones y conclusin de un enunciado

Introduccin
A continuacin se presenta un trabajo dividido en tres pates, en la
primera se realiza una conceptualizacin de tres trminos importantes del pensamiento lgico
como lo son la Tautologas Contradicciones y Contingencias, en la segunda pate se plantea una
solucin para un problema de tablas de verdad y finalmente se presenta otra solucin para un
problema consecuente con diagramas de venn

Tautologas Contradicciones y Contingencias

Basndonos en una funcin, definimos la Tautologa como la
interpretacin verdadera de todas las proposiciones de dicha funcin, cuando nos referimos a
contradiccin las interpretaciones proposicionales de la funcin van a ser negativas mientras que
en la contingencia no se logra un interpretacin definitiva en algunos casos se es verdadera y en
otras falsas.
Ejemplos
Determinar el tipo (tautologa, contingencia o contradiccin) de cada una de las siguientes
funciones

1) f = p q q p
p

pq

qp

pqqp

V
V
F
F

V
F
V
F

V
V
V
F

V
V
V
F

V
V
V
V

2) f = P P

P
V
F

P
F
V

P P
F
F

3) f = P (q r )

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

qr
V
V
V
F
V
V
V
F

P (q r )
V
V
V
F
F
F
F
F

Mario le escribe al tutor asignado en el curso de

Pensamiento Lgico y Matemtico para consultarle respecto a los puntos opcionales que
reciben quienes han asistido a los eventos de B-Learning, pues l asegura tener derecho a
dichos puntos. El tutor le responde que por favor le enve evidencia de su asistencia; de
manera que Mario enva un nuevo mensaje en el que menciona lo siguiente: Si asist a
los encuentros B-Learning, entonces desarroll los ejercicios de la gua de Trabajo
Colaborativo. Si desarroll los ejercicios de la gua, entonces obtengo buena nota en el
trabajo. Si y slo si desarroll los ejercicios de la gua de Trabajo Colaborativo. Realice la
respectiva tabla de verdad y determinado si es tautologa, contradiccin o contingencia,
establezca si para el tutor hay suficientes criterios para creer que el estudiante s asisti a
los encuentros b-learning.

Declaracin de las proposiciones simples

Si asist a los encuentros B-Learning, entonces desarroll los ejercicios de la gua de
Trabajo Colaborativo. Si desarroll los ejercicios de la gua, entonces obtengo buena nota
en el trabajo. Si y slo si desarroll los ejercicios de la gua de Trabajo Colaborativo
P: asist a los encuentros B-Learning
q: desarroll los ejercicios de la gua
r: obtengo buena nota en el trabajo

Declaracin de las proposiciones compuestas

Si asist a los encuentros B-Learning, entonces desarroll los ejercicios de la gua de

Trabajo Colaborativo. Si desarroll los ejercicios de la gua, entonces obtengo buena nota
en el trabajo. Si y slo si desarroll los ejercicios de la gua de Trabajo Colaborativo

Declaracin de las proposiciones compuestas (lenguaje formal)

Si asist a los encuentros B-Learning, entonces desarroll los ejercicios de la gua de
Trabajo Colaborativo
pq
Si desarroll los ejercicios de la gua, entonces obtengo buena nota en el trabajo. Si y
slo si desarroll los ejercicios de la gua de Trabajo Colaborativo
(q r) q
[(p r ) (r q)] r

(p q)

(r q) r

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
F
V
F
V
V
V
V

V
F
F
F
V
F
F
F

[(p r ) (r q)] r
V
F
V
V
V
F
F
F

Esta frmula la podemos clasificar como contingencia por lo que

podemos afirmar que el tutor no tiene la informacin suficiente para determinar si el estudiante
asisti o no a la reunin
Todo Espacio Vectorial consta de cantidades vectoriales y escalares. El curso de lgebra
Lineal todos los enunciados son de Espacios Vectoriales. El curso de lgebra Lineal
todos los enunciados constan de cantidades vectoriales y escalares.
Proposiciones
Todo Espacio Vectorial consta de cantidades vectoriales y escalares
. El curso de lgebra Lineal todos los enunciados son de Espacios Vectoriales
Conclusin
El curso de lgebra Lineal todos los enunciados constan de cantidades vectoriales y
escalares

Conclusiones
Se logr hacer una correcta conceptualizacin de los trminos
escogidos y una buena utilizacin en la determinacin de la segunda parte
Hubo inconvenientes conceptuales para el desarrollo de las tablas
de verdad, que no permitan identificar muy bien los elementos en el enunciado
Aunque se haba trabajado anteriormente los diagramas de ven falto
informacin en la unidad dos sobre ejercicios como el planteado en este trabajo

Bibliografa
Argoty, L. (2015). Repaso Lgica Matemtica. Recuperado
de https://dcfca35f82f85394a1f6a178935464151320aca5.googledrive.com/host/0By7BIcHpFSD
ON090QVkzdmJOeXc/index.html
Prez, A. R. (2013). Lgica matemtica. Una introduccin a las matemticas discretas y teora
de grafos. (pp. 1-22). Crdoba, AR: El Cid Editor. Recuperado de http://www.ebrary.com

Argoty, L. (2015). Repaso Lgica Matemtica. Recuperado

de https://dcfca35f82f85394a1f6a178935464151320aca5.googledrive.com/host/0By7BIcHpFSD
ON090QVkzdmJOeXc/index.html
Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. : Larousse - Grupo
Editorial Patria. Pginas 19 - 29. Recuperado de: http://hdl.handle.net/10596/6551
Chvez, C. P. (2000). Compendio de lgica. : Larousse - Grupo Editorial Patria. Pginas 151162. Recuperado de: http://hdl.handle.net/10596/6552
Gonzles, T. L., & Saavedra, M. (2009). Aciertos matemticos 11: serie para la educacin media.
Bogot, CO: Educar Editores S.A. Pginas 151 -162 Recuperado
de: http://hdl.handle.net/10596/6541
Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a las lgebras
de Boole. 1. Edicin. Mxico, Editorial Pearson. Pginas 63-81. Recuperado
de: http://hdl.handle.net/10596/7959