Logica Matematica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
LÓGICA MATEMÁTICA

Presenta




Tutor
ADALBERTO MARTINEZ

Director de curso
Geoffrey Acevedo González

FECHA 28 /04/2012

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

1/13

UNIVERSIDAD NACIONALABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

INTRODUCCION

En este trabajo se trata además de presentar las explicaciones con ejemplos que
le sean familiares. Nuestro objetivo es que el alumno aprenda a realizar
demostraciones formales por el método directo y el método por contradicción. Ya
que la mayoría de los libros comercialesúnicamente se quedan en explicación y
demostración de reglas de inferencia. Consideramos que sí el alu mno aprende
lógica matemática no tendrá problemas para aprender ciencias exacta y será
capaz de programar computadoras, ya que un programa de computadora no es
otra cosa que una secuencia de pasos lógicos, que la persona establece para
resolver n problema determinado.
El ser humano, a través de suvida diaria, se comunica con sus semejantes a
través de un lenguaje determinado (oral, escrito, etc.) por medio de las
denominadas u oraciones. Estas pueden tener diferentes significados pero
siempre van a resumirse a las formas de verdaderas o falsas, siendo este el
precedente fundamental para el desarrollo humano. Lo importante en el desarrollo
de esta sesión es el hecho de que, a partir delos enunciados y de acuerdo a su
significado es posible establecer una proposición y a partir de un conjunto de
estas podemos llegar a una conclusión o inferencia, siendo la lógica la ciencia
encargada del estudio de estas.
La lógica proposicional es una rama de la lógica que permite representar hechos y
expresiones del mundo real en un lenguaje representativo del conocimiento
mediantepropiedades elementales para estudiar a través de preposiciones o
sentencias lógicas sus posibles evaluaciones de verdad

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

2/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

Fase 1. Saberes previos para la unidad: teoría de conjuntos
1.1 Haciendo uso de losdiagramas de Venn, plantea una propuesta para
representar el área sombreada para la expresión:
“Juan matriculo Algebra o lógica pero no competencias comunicativas
A: Algebra
B: Lógica
C: Competencias Comunicativas

1.2. Haga uso de la representación simbólica de las operaciones entre conjuntos, para
representar el área sombreada en el diagrama del numeral anterior.
Teniendo en cuentaque:

A: Algebra
B: Lógica
C: Competencias Comunicativas
A: juan matriculo algebra o lógica
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co

3/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática
C: juan no matriculo competencias comunicativas
(A U B) – C
Fase 2. Principios de lógica
2.1. En su aporteindividual, cada estudiante debe plantear diez expresiones
relacionadas con su programa de estudio, tal que cinco de las expresiones
correspondan a proposiciones lógicas y cinco expresiones que no puedan ser
clasificadas como proposiciones. De estas expresiones, el equipo debe elegir una
de las propuestas por cada participante:
nombre del
estudiante

son proposiciones lógicas:

no sonproposiciones
lógicas

Una línea de producción optima
requiere un buen proceso
industrial
La ingeniería de sistemas
requiere Lógica Matemática
Grupo de
lógica 622

Todo Tecnólogo en gestión
industrial cura el cáncer
Los ingenieros solo se
pueden desempeñar en el
área de la computación?

Para ser psicólogo hay que
aprobar 162 créditos en la
UNAD
La ingeniería de sistemas ayuda...