438 Tarea1

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 1/14


LGICA MATEMTICA

Trabajo grupal de calificacin individual No.1
Grupo: 90004_438

Presenta:
Jorge Pealver Prez 72.044.453
Belisario Segundo Rodrguez 72.155.907
Javier Antonio Cabarca 72.140.096
Nelson Del Villar- 72.124.293
Elkin Alberto Molina 72.020.281

Tutor

PATRICIA LEGUIZAMON

Director de curso
Geoffrey Acevedo Gonzlez

BARRANQUILLA ABRIL 2012

Lgica Matemtica

Introduccin

El propsito de este trabajo tiene como objetivo demostrar los conocimientos aprendidos en
la unidad 1 como son la teora de conjuntos, su representacin grafica por medio de
diagramas de Venn y la solucin de problemas con los mismos. Se plantearan y formularan
expresiones del lenguaje simblico y el lenguaje natural, haciendo un anlisis en la
aplicacin de conectores lgicos que se dan para determinadas situaciones que se plantean
en el trabajo a presentar. Elaborar tablas de verdad por medio del anlisis de proposiciones
lgicas para luego ser clasificadas como tautologa, contradiccin o contingente de acuerdo
al resultado.

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.

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=Juan matricul lgebra
B= Lgica
C= Competencias Comunicativas.
A B c

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
lgicas:
No son proposiciones
lgicas
JORGE PEALVER
PREZ
Estoy matriculada
en el programa de
psicologa.
La psicologa
estudia el
comportamiento
humano.
Hoy cierra la sexta
actividad de cultura
poltica.
Qu me motiv a
estudiar psicologa?
El programa de
psicologa est
compuesto por
nueve semestres
acadmicos.
Por qu un
psiclogo estudia
lgica matemtica?
Cundo naci la
psicologa?
Qu me motiv a
estudiar psicologa?
Cuntas materias
debo ver en primer
semestre?
Dnde puedo
estudiar?
ELKIN MOLINA
CONSUEGRA
Lgica Matemtica
es un curso que
solo se ve en el
rea de Ingeniera
Hoy es domingo y
tengo que estudiar
el captulo 3 de
lgica o no aprobar
el curso
Un estudiante
puede entrar al aula
virtual de lgica si
Debo hacer la
actividad 2 de lgica.
El estudiante, el tutor
y el Director de
curso.
Estudia algebra
booleana y circuitos
lgicos por favor.
Guardare el modulo
de lgica matemtica
a mi PC
Vamos a entregar el

Lgica Matemtica
tiene su contrasea
u obtiene una para
ingresar al campus
virtual
Elkin molina es
estudiante de Ing.
Industrial y estudia
en la Unad
No ser un Ing.
industrial si no
apruebo psicologa
trabajo de principios
de lgica.

NELSON DEL VILLAR Estudio
administracin de
empresas.
Estudio
administracin
entonces ser un
gran financiero
Est lloviendo y cae
agua.
Hace frio porque
llueve
Si estudio tendr
mejor nivel de vida
Hoy es 16 o 17 de
abril.
Cul es la capital de
Colombia.
Cuando llueve
Quiero maz.
Es alrgico al
acetaminofen.
Belisario Rodrguez Estoy matriculado
en el programa de
Ing. Agronmica de
la UNAD.
La Agronoma
estudia la aplicacin
de varias ciencias
para hacer producir
la tierra.
El prximo mes son
los parciales.
Por qu decid
estudiar Ing.
Agronmica?
El programa de Ing.
Agronmica tiene
Cuantos cursos debo
aprobar en el ltimo
semestre?
En donde naci la
Ing. Agronmica
actual?
Porque la
temperatura est
alta.
Le gusta el pescado
Se acerca el festival
vallenato.
Estamos en navidad
y se acerca octubre.

Lgica Matemtica
un pensum
acadmico basado
en las matemticas.

Javier Cabarcas Ospino Estoy matriculado
en Ing. industrial
luego requiero
estudiar lgica
matemtica.
Puedo presentar
exmenes de lgica
matemtica siempre
y cuando estudie.
Si no participas en
el foro de lgica no
aprenders.
Las lecciones
evaluativas y los
quiz son tiles si y
solo producen
aprendizaje
significativo.
Javier estudia lgica
matemtica en la
UNAD.
Llegar pronto a la
fecha del quiz de
lgica.
la UIS tuvo la primera
facultad de Ing.
industrial.
Somos 5 el equipo
colaborativo.
La unidad uno es la
actividad a evaluar.
La lgica matemtica
es agradable.

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 hay paz
p = hay tolerancia
q = hay paz
p q
Para aprender
matemticas es
necesario ser
ordenado y
constante.

P= Para
aprender matemticas
es necesario
Q= Ser ordenado
R= Constante

p ( q r)
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.
P= Ensea a tus hijos
Q= A controlar sus
impulsos
R= Desarmar su
corazn
S= Tendrn buena vida
en la tierra
( p q ) r
Ana tiene
perseverancia,
orden y amor por la
tarea.
P = Perseverancia
Q = Orden
R = Amor
S = Cualidades de Ana
p ( q r s)

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:
( ) | | ( ) ( ) s q r p q q p v . . . v

( )
p q p q v . (

p q R S pVq q (pVq) ^q pVr
[(pVq)^q] ^
(p^R) qVS [(pVq)^q]^
V V V V V F F V F V V
V V V F V F F V F V V
V V F V V F F F F V V
V V F F V F F F F V V
V F V V V V V V V V V
V F V F V V V V V F F
V F F V V V V F F V V
V F F F V V V F F F V
F V V V V F F F F V V
F V V F V F F F F V V
F V F V V F F F F V V
F V F F V F F F F V V
F F V V F V F F F V V
F F V F F V F F F F V
F F F V F V F F F V V
F F F F F V F F F F V

Lgica Matemtica
TAUTOLOGIA
Q Q (PVQ) P [(PVQ)^P] *(PV9)^P+Q
F V V F F V
V F V F F V
V F F V F V
F V V V V V

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

PRIMERA PROPOSICION:
( )
p q .

SEGUNDA PROPOSICION:
q p .

P Q P P^Q
V V F F
V F F F
F V V V
F F V F

NO SON EQUIVALENTES.

P Q Q (P^Q) (P^Q)
V V F F V
V F V V F
F V F F V
F F V F V

Lgica Matemtica
2.2. Proposiciones contraria, recproca y contra recproca. A continuacin el equipo
debe plantear las proposiciones contraria, recproca y contra recproca de la expresin:
Si el ganado es Jersey no tendr buena carne:
JORGE PEALVER

Directa
SI EL GANADO ES JERSEY TENDRE BUENA
CARNE
Contraria
SI EL GANDO NO ES JERSEY TENDRE
BUENA CARNE
Recproca
SI TENGO BUENA CARNE EL GANADO ES
JERSEY
Contra recproca
SI NO TENGO BUENA CARNE EL GANADO
ES JERSEY

Lgica Matemtica

Fase 3. Reflexin grupal

Lgica matemtica Fue el nombre dado por Giuseppe Peano para esta disciplina. En
esencia, es la lgica de Aristteles, pero desde el punto de vista de una nueva
notacin, ms abstracta, tomada del lgebra. El nacimiento de la lgica propiamente dicho
est directamente relacionado con el n a c i mi e n t o i nt e l e c t ua l d e l s e r h uma no .
L a l gi c a e me r g e c o mo me c a n i s mo espontneo en el enfrentamiento del hombre
con la naturaleza, para comprenderla aprovecharla. Poncair destaca cinco etapas o
revoluciones en ese proceso que se presentan entre dos grandes tpicos: del rigor y la
formalidad, a la creatividad yel caos.
Las et apas se i dent i f i can como: Revol uci n Mat emt i ca, Revol uci n
Cientfica, Revolucin Formal y Revolucin Digital adems de la prxima y prevista
Revolucin Lgica.
La lgica matemtica cuestiona con rigor los conceptos y las reglas de deduccin
u t i l i z a d o s e n ma t e m t i c a s l o q u e c o n v i e r t e l a l g i c a e n u n a e
s p e c i e d e metamatemtica. Una teora matemtica considera objetos definidos enteros,
por ejemplo, y define leyes que relacionan a estos objetos entre s, los axiomas
de lat ear a.

De l os axi omas se deducen nuevas pr oposi ci ones, l os t eor emas y
aveces, nuevos obj et os. La const r ucci n de si st emas f or mal es,
f or mal i zaci n, pi edr a angul ar de l a l gi ca mat emt i ca, per mi t e el i mi nar l a
ar bi t r ar i edad en l a el ecci n de l os axi omas y def i ni r expl ci t a y
exhaust i vament e l as r egl as de l a deduccin matemtica

Lgica Matemtica

Conclusiones

En este trabajo conocimos la unidad 1 de nuestro modulo, en el cual ampliamos
nuestros conocimientos respecto a los ejercicios propuestos en nuestro trabajo.
Adems que profundizando estas dos unidades nos damos cuenta de laimportancia
de la lgica ya que permite plantear soluciones a los diferentes tipos de problemas.
Permitindonos mejorar en la construccin de argumentos msfuertes, basados en los
cimientos de la lgica.

Lgica Matemtica

Referencias

GEORFFREY ACEVEDO
- Universidad Nacional Abierta Y A Distancia Escuela
DeCi e n c i a s B s i c a s , Te c n o l o g a E I n ge n i e r a Ci e n c i a s B s i c a s -
MODUL O DELOGICA MATEMATICA

438 Tarea1

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

438 Tarea1

Загружено:

Авторское право:

Доступные форматы

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera

Вам также может понравиться