UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera

Lgica Matemtica


TRABAJO COLABORATIVO 1
LOGICA MATEMATICA









PRESENTADO POR:

LUIS MORENO
CODIGO:







PRESENTADO A:







GRUPO 90004-








UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
PROGRAMA DE INGENIERIA INDUSTRIAL
CEAD BUCARAMANGA-
2012

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






INTRODUCCIN


La lgica es de gran inters para nuestras vidas no solo la aplicada a la
matemtica sino tambin la que usemos a diario en cada circunstancia de la vida.
En ese orden de ideas podemos decir que la lgica matemtica en la universidad
fue diseada como un curso transversal para ser visto dentro de todas las carreras
profesionales sin importar cual sea el objeto de estudio.

Para la realizacin de este trabajo hicimos uso de herramientas ofimticas y
visitando los links, y la plantilla que el tutor nos sugiri dentro de la gua para el
desarrollo de esta actividad.

En el trabajo colaborativo No1. Encontraremos la primera fase encontramos
proposiciones lgicas y no lgicas aplicadas a cada uno de nuestros programas,
luego encontramos la fase dos aqu hallaremos ejercicios de teora de conjuntos,
con los cuales reforzaremos nuestros conocimientos acerca de este tema. De
igual manera la fase tres es de conectivos lgicos, tabla de verdad y proposiciones
de razonamiento deductivo; aqu es donde gracias a la colaboracin de nuestro
tutor suministrndonos esos links donde se pudo elaborar de manera oportuna las
grficas de las tablas de verdad. Para la fase cuatro se propusieron ejemplos de
razonamiento inductivo aplicados a los programas de estudio de cada uno de los
estudiantes.

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.






1.2. Haga uso de la representacin simblica de las operaciones entre
conjuntos, para representar el rea sombreada en el diagrama del numeral
anterior.
Juan matricul lgebra o Lgica pero no Competencias Comunicativas.
S= Juan matricul lgebra.
P= Juan matricul Lgica.
Q= Juan no matricul Competencias Comunicativas.
Entonces: (S v P) ^R
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:

Son proposiciones lgicas: No son proposiciones lgicas
El estudio es dedicacin y auto
aprendizaje.
El estudio es importante para la vida.
En el estudio virtual no se necesita un
tutor presencial.
La lgica comprende el estudio de los
nmeros.
Si estudio lgica matemtica entonces
ser ms analtico.
La lgica matemtica es un
razonamiento
Aprendo lgica si y solo si dedico 2 horas
diarias.
Porque estudiar lgica matemtica?
ALGEBRA LGICA
COMPETENCIA COMUNICATIVAS
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Lgica matemtica no es para personas
mediocres.
Con 2.0 en la evaluacin nacional
apruebo el crdito.

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
q=ser ordenado
s = Constante
p (q ^ s)

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 = Dos condiciones son
necesarias
q = Dos condiciones son
suficientes
r = para que tus hijos
tengan buena vida sobre la
tierra
q= ensales a controlar
sus impulsos
s= desarmar su corazn
(p ^ q) ^ (q ^ s) r
Ana tiene
perseverancia, orden y
amor por la tarea.
p= Ana tiene
perseverancia
q= orden
r= amor por la tarea
p (q ^ s)

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


Truth Table
p q r s [(pVq)q](pr)(qVs)
T T T T
T T T F
T T F T
T T F F
T F T T
T F T F
T F F T
T F F F
F T T T
F T T F
F T F T
F T F F
F F T T
F F T F
F F F T
F F F F
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
El resultado genera una contingencia



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

( )
p q p q v . (


Truth Table
p q [(pVq)p]q
T T
T F
F T
F F
T
T
T
T
La expresin es una tautologa
2.4 Mediante una tabla de verdad, evala la equivalencia entre las siguientes dos
proposiciones: Son equivalentes?
Primera proposicin:
( )
p q .

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
segunda proposicin:
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

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 No tendr buena carne si el ganado es Jersey
Recproca Si el ganado no es Jersey tendr buena carne
Contrarrecproca Si tendr buena carne si el ganado no es Jersey
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.

La Lgica estudia la forma del razonamiento. La Lgica Matemtica es la disciplina
que trata de mtodos de razonamiento, en un nivel elemental, ella genera reglas y
tcnicas para determinar si es o no valido un argumento dado. El razonamiento
lgico se emplea en Matemticas para demostrar teoremas, sin embargo, se usa
en forma constante para realizar cualquier actividad en la vida.

En ocasiones se connota como la ciencia de las leyes del pensamiento o como
ciencia del razonamiento lo cual es incorrecto, si pensamiento se refiere a
cualquier proceso que tiene lugar en la mente de las personas, no todos los
pensamientos son objeto de estudio de los lgicos. Todo razonamiento es un
pensamiento, pero no todo pensamiento es razonamiento.
Lo que interesa al lgico es la correccin del proceso del razonamiento, como
especie del gnero pensamiento en el cual se realizan inferencias; estudia los
mtodos y principios que distinguen el razonamiento correcto del incorrecto.
Es recomendable que al emplear el vocablo lgica, solamente se haga referencia
a la lgica formal, a la cual Kant describa como aquella que encierra las reglas
del pensar, absolutamente necesarias, sin las cuales no hay uso alguno del
entendimiento, y se dirige, pues, a l sin tener en cuenta la diferencia entre los
objetos a que pueda referirse.

La importancia de la Lgica viene siendo reconocida desde la antigedad, ya los
griegos clsicos saban que el razonamiento es un proceso sujeto a ciertos
esquemas y que, al menos parcialmente, est gobernado por leyes perfectamente
formuladas. Pero su importancia en la actualidad se debe, sin duda, al destacado
papel que ha tomado recientemente en los ms diversos campos de la Informtica
(anlisis, sntesis y verificacin de programas, programacin lgica, inteligencia
artificial, control de procesos, robtica, etc.) y todo ello no de forma
completamente accidental ya que, como veremos, la Lgica naci como un intento
de mecanizar los procesos intelectivos del razonamiento.







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






CONCLUSIONES


Se desarroll un ejercicio muy interesante sobre la teora de conjuntos, donde se
determinaron las principales propiedades: unin, interseccin, pertenencia, no
pertenencia, diferencia simtrica y complemento.

Los ejercicios sobre las tablas de la verdad y las leyes de inferencia, permitieron
profundizar en su conocimiento y estudio, determinando cmo se puede
comprobar la verdad de un razonamiento.

Igualmente, los ejercicios sobre el mtodo inductivo nos brind la posibilidad de
aclarar si las premisas son probables o probablemente verdades, partiendo de
ejemplos relacionados con los razonamientos por analoga basados en la
experiencia y los de analogas basadas en la observacin

























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







REFERENCIAS BIBLIOGRFICAS


Acevedo Gonzlez Geoffrey (Versin 2006 a 2010). Modulo de Lgica
Matemticas. Universidad Nacional Abierta y a Distancia. Colombia: UNAD
2010

http://sevein.matap.uma.es/~aciego/TR/gaceta.pdf