UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera

Lgica Matemtica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA

Trabajo Colaborativo Aporte No 1

Presenta

FERNANDO GONZALEZ C.C 80.164.445

tutor

Director de curso
Georffrey Acevedo Gonzlez

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ABRIL DE 2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 1/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Introduccin

El presente trabajo nos permitir desarrollar e interiorizar ejercicios de conjuntos y tablas

de verdad los cuales son un inicio bsico para el manejo de la lgica matemtica lo cual
fue realizado en cooperacin entre los ingrantes del grupo colaborativo.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 2/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Fase 1. Saberes previos para la unidad: Teora de conjuntos

1.1. Haciendo uso de los diagramas de Venn, plantea una propuesta para representar
el rea sombreada para la expresin: Juan matricul lgebra o Lgica pero no
Competencias Comunicativas.

ALGEBRA LOGICA

COMPETENCIAS

COMUNICATIVAS

1.2. Haga uso de la representacin simblica de las operaciones entre conjuntos, para
representar el rea sombreada en el diagrama del numeral anterior

((A-B)+(B-A))

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 3/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Fase 2. Principios de lgica

2.1. En su aporte individual, cada estudiante debe plantear diez expresiones

relacionadas con su programa de estudio, tal que cinco de las expresiones
correspondan a proposiciones lgicas y cinco expresiones que no puedan ser
clasificadas como proposiciones. De stas expresiones, el equipo debe elegir una de
las propuestas por cada participante:

Nombre del estudiante Son proposiciones No son proposiciones

lgicas: lgicas
FERNANDO GONZALEZ El caballo de caf Y=1
Maana de miercoles Te vas?
El invierno es helado Pinta cinco azules y tres
rojas
Toda cosa que cae baja X+3=5
Todo nmero elevado a la Trae colores
cero da uno

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 4/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

2.2. A continuacin se propone identificar los conectivos lgicos y proposiciones

simples presentes en cada expresin, posteriormente plantearn una expresin
equivalente en lenguaje simblico:

Expresin premisas Lenguaje simblico

Si hay tolerancia, entonces p = hay tolerancia pq
hay paz q = hay paz
Para aprender p = aprender matemticas Pq
matemticas es necesario q = ordenado y constante
ser ordenado y constante.
Dos condiciones son Pqr
necesarias y suficientes P = Dos condiciones son
para que tus hijos tengan necesarias y suficientes para
buena vida sobre la tierra: que tus hijos tengan buena
ensales a controlar sus vida sobre la tierra
impulsos y a desarmar su Q = ensenarles a controlar sus
corazn. impulsos

R = desarmar su corazon
Ana tiene perseverancia, P = ana tiene
orden y amor por la tarea. perseverancia ,orden y
amor por la tarea

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 5/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

2.3. Las tablas de verdad nos permiten conocer el valor de verdad de una
proposicin compuesta para cada valor posible de las proposiciones simples que la
conforman. A continuacin, el equipo debe elaborar la tabla de verdad de las
siguientes proposiciones lgicas, finalmente, deben clasificar la proposicin como
tautologa, contradiccin o contingente de acuerdo al resultado:

p q q p r q s
p q p q

p q r s [(pVq)q](pr)(pVs)
V V V V V
V V V F V
V V F V V
V V F F V
V F V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F V

ES UNA TAUTOLOGIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 6/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 7/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

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

ES UNA TAUTOLOGIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 8/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

2.4. Mediante una tabla de verdad, evala la equivalencia entre las siguientes dos
proposiciones: Son equivalentes?

Primera proposicin: p q segunda proposicin: p q

Ejercicio No 1

p q (p`q)
V V V
V F F
F V V
F F V

Ejercicio No 2
p q pq
V V F
V F F
F V V
F F F

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 9/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

2.5.Proposiciones contraria, recproca y contrarrecproca. A continuacin el equipo

debe plantear las proposiciones contraria, recproca y contrarrecproca de la
expresin: Si el ganado es Jersey no tendr buena carne:

Directa Si el ganado es Jersey no tendr buena carne

Contraria
Recproca
Contrarrecproca

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 10/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Fase 3. Reflexin grupal

Finalmente, en esta fase, el equipo propondr una reflexin en una pgina sobre la
evolucin histrica de la lgica, el equipo no debe hacer un recuento histrico con
fechas, el propsito es plantear una reflexionar sobre la evolucin del pensamiento,
descubriendo qu necesidades humanas han conducido al desarrollo de la lgica.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 11/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Conclusiones

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 12/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Referencias

En orden alfabtico de acuerdo con las normas APA (tal y como fue propuesto en el
ejemplo de la gua de la fase de reconocimiento:)

En orden alfabtico y a espacio sencillo as:

Primerapellido, Segundoapellido, Iniciadel nombre (aodepublicacin). Ttulo en cursiva.

Universidad. Pas: Editorial. Si la fuente es de internet adicionas: Recuperado el 20 de agosto
de: http:www.direccinelectrnica.nnn.

Ejemplo:

Autor, (ao). Ttulo. Nombre del sitio. Recuperado el 20 de agosto

de :http:www.direccinelectrnica.com.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 13/13