You are on page 1of 11

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera


Lgica Matemtica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA
Trabajo grupal de calificacin individual No.1

Presenta
Oscar Adolfo Contreras Rodrguez - 91444560

tutor
Adalberto Martnez

Director de curso
Georffrey Acevedo Gonzlez

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

Marzo de 2012

1/11

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Introduccin
Recuerda que una introduccin describe el contenido del trabajo, es decir, introduce al lector
a lo que encontrar y puede esperar encontrar en el trabajo. Paralelamente los comentarios
de cmo fue desarrollado, las dificultades encontradas, las herramientas utilizadas harn que
la introduccin a cada trabajo sea diferente. No se trata de hacer la introduccin al curso de
Lgica Matemtica ni de exponer en este espacio la importancia de la Lgica Matemtica.

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

2/11

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.
P

S
S

1.2. Haga uso de la representacin simblica de las operaciones entre conjuntos, para
representar el rea sombreada en el diagrama del numeral anterior.
(p(x) v q(x))s(x)

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

3/11

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

Oscar Adolfo Contreras


Rodrguez

Son proposiciones
lgicas:
Se obtiene el ttulo de
ingeniero industrial si y
solo si aprueba todos los
cursos del programa.
Si realizo aportes
significativos entonces
podre obtener nota en el
trabajo colaborativo.
Si un crdito acadmico
equivale a 48 horas de
estudio entonces un curso
con 2 crditos equivale a
96 horas de estudio.
Si realizo el curso de
entrenamiento entonces
podre entender el manejo
de las herramientas del
estudio a distancia.
El estudio virtual del
programa en la UNAD es
abierto y a distancia

No son proposiciones
lgicas
Se deben de realizar x
nmero de aportes en un
trabajo colaborativo.
La lgica matemtica es
superior a las competencias
comunicativas

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

4/11

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
Si hay tolerancia,
entonces hay paz
Para aprender
matemticas es
necesario ser ordenado
y constante.
Dos condiciones son
necesarias y suficientes
para que tus hijos
tengan buena vida
sobre la tierra:
ensales a controlar
sus impulsos y a
desarmar su corazn.
Ana tiene
perseverancia, orden y
amor por la tarea.

Premisas
p = hay tolerancia
q = hay paz
p= para aprender
matemticas es necesario
ser ordenado
q= para aprender
matemticas es necesario
ser constante
p= para que tus hijos
tengan buena vida
ensales a controlar sus
impulsos.
q= para que tus hijos
tengan buena vida
ensales a desarmar su
corazn
p=Ana tiene perseverancia
q= orden
r= amor
s= tarea

Lenguaje simblico
pq
pvq

pvq

pqrs

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

5/11

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
A continuacin debes verificar el resultado obtenido, para hacerlo debes pegar en este
espacio el pantallazo obtenido al usar el siguiente simulador:
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
Visita el material de apoyo para la primera unidad, en l encontrars un video para
aprender a usarlo.

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

6/11

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

pq

( pq)

Segunda proposicin:

p q

pq

No son equivalentes ya que los valores de cada una de sus tablas de verdad no son los
mismos.

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

7/11

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

Si el ganado no es Jersey tendr buena carne

Recproca

No tendr buena carne si el ganado es Jersey

Contrarrecpro Tendr buena carne si el ganado no es Jersey


ca

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

8/11

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

9/11

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

10/11

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

11/11