INTRODUCCIN

El presente trabajo buscaremos recopilar lo aprendido en el tema de lgica y

teora de conjuntos vistos en el desarrollo del mdulo, as mismo verificaremos
desde estos conceptos como los enunciados pueden ser validos o cules son
sus valores de verdad dados unos ya preestablecidos. En un orden ms interno,
en este trabajo en primera media haremos un pequeo ejercicio acerca de
cmo es el comportamiento del valor de verdad de una proposicin compuesta
una vez dado el valor de verdad a las proposiciones simples que la conforman
as mismo usaremos la misma lgica ejercida en el primer literal para pasar a
un comprobacin tanto por tablas de verdad como por el software TrueTable
para validad los resultados y verificar si son tautologas, contingencias o
falacias o contradiccin y para finalizar en los tems 3 y 4 analizaremos el
desarrollo de problemas cotidianos usando la teora de conjuntos.

OBJETIVOS

Demostrar que los contenidos explicados en curso fueron entendios

mediante la resolucin de la gua de aprendizaje
Utilizar diversos mtodos para la verificacin de un argumento, estos
mtodos son el uso de tablas de verdad o implementacin del software
en lnea TrueTable
Verificacin y ajuste de una respuesta dada por la resolucin de
problemas usando la teora de conjuntos
Fortalecer el desarrollo de las tablas de verdad para establecer la
veracidad de un argumento
 DESARROLLO GUA

PUNTO 1.

Para desarrollar este punto consideramos que para considerar el valor

de verdad de cada proposicin debamos hacerlo mediante las
posibles opciones y estas corresponden a las mostradas en la tabla de
verdad, como veremos a continuacin estas arrojaran resultados
interesantes. As mismo rellenaremos de azul las casillas de oraciones
compuestas de cierta manera simples y de rojo la proposicin
completa propuesta

Escriba la proposicin compuesta en lenguaje natural y determine su valor de

verdad, a partir del valor de verdad de cada proposicin simple:

a) P: la UNAD es una universidad

Q: las materias en laUNAD se cursande manera virtual

( PQ ) ( PVQ )

Suponemos que la UNAD no es una universidad y que las materias no se hacen de forma virtual
si y slo si seguimos suponiendo que la UNAD no es unauniversidad o que las materias se
hacen de forma virtual .

P Q P (PQ ) ( PQ ) ( PVQ) ( PQ )( PVQ )

V V F V F V F

PUNTO 2.

Para desarrollar este ejercicios usamos la misma lgica ejercida en el

literal anterior, aqu usaremos como programa de comprobacin el
explicado en el aula de aprendizaje, as mismo primero realizaremos la
tabla de verdad correspondiente a cada ejercicio y luego su
verificacin con el software online

a. Si estamos en el ao 2017 o faltan dos aos para el mundial y no

faltan dos aos para el mundial de ftbol, entonces estamos en el
ao 2017.
 Solucin:
Considere las siguientes proposiciones:
p: Estamos en el ao 2017
q: faltan dos aos para el mundial de ftbol

Proposicin:
(( p v q) q)= p

p q q pv q (( pvq) q) q (( pvq) q)= p

V V F V F F V
V F V V V V V
F V F V F F V
F F V F F V V

Con el programa visto

PUNTO 3.

Con base al ejemplo mostrado resolveremos los enunciados

propuestos, las indicaciones proporcionadas son las siguientes:

Consideremos eventos que se pueden representar por medio de un conjunto:

U={Estudiantes del curso de Lgica Matemtica}

C={Estudiantes que desarrollaron el problema de conjuntos}
T={Estudiantes que desarrollaron el problema de tablas de verdad}
V={Estudiantes que desarrollaron el problema de la validez de un
razonamiento}

El diagrama que nos describe la situacin es el siguiente:

a) Los estudiantes que realizaron los tres problemas

b) Los estudiantes que solo hicieron los problemas de validez de un

razonamiento

c) Todos los estudiantes que resolvieron el problema de conjuntos

 d) Los estudiantes que solo resolvieron la tabla de verdad y la validez de un
razonamiento

e) Los estudiantes que no resolvieron ningn problema

PUNTO 4.

De las siguientes situaciones representarlas en un diagrama de Venn y

solucionar los interrogantes planteados. Cabe resaltar que para general los
diagramas de Venn se hizo necesario hacer un proceso analtico que es extenso
y de anexarlo en el documento este se hara muy largo por lo tanto lo omitimos
solo en casos donde es estrictamente necesario como el caso del ejercicio a.

a. Se realiz en una empresa de telecomunicaciones una verificacin del

estado de un lote de 130 equipos celulares que presentaban fallas
tcnicas, encontrando los siguiente: A equipos con defecto en la
pantalla, B equipos con defectos en el pin de carga, Se observ que los
equipos con mal funcionamiento de pantalla y pin de carga, son el doble
de los que slo tienen pantalla daada; mientras que los que slo tienen
defecto en pin de carga son 70 equipos.

Diagrama

Donde A representa lo
enunciado en el ejercicio A
equipos con defecto en la
pantalla y B equipos con
defectos en el pin de carga

Luego de acuerdo con el

diagrama se nos forma un
ecuacin con una sola variable
cuya solucin se da de la siguiente manera:

x+ 2 x +70=130
3 x+70=130
3 x=13070
3 x=60
x=20

La solucin de esta ecuacin corresponde al valor x el cual representa la

cantidad de equipos que solo estn con defecto en la pantalla que corresponde
a 20 lo que de inmediato me arroja que los equipos que estn con defecto en la
pantalla y en el pin de carga son 4 (2 x)=2(20)=40