ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

90004_37 Lgica Matemtica

Act No. 10. Trabajo Colaborativo 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA

Presenta
MARIA SOLANO COGOLLO
CC 50916468

Tutor
SILVIA MILENA SEQUEDA

Director de curso
Georffrey Acevedo Gonzlez

BOGOTA DC Noviembre de 2013

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

90004_37 Lgica Matemtica
Act No. 10. Trabajo Colaborativo 2

INTRODUCCIN

En el presente trabajo correspondiente a la unidad dos encontraremos determinados

ejercicios matemticos aplicaremos los conceptos razonamientos lgicos, sobre las
leyes de inferencia; ya que estos se encuentran presentes no solo en los espacios
acadmicos, sino por el contrario, hacemos uso de stos en nuestra vida diaria, en el
debate cotidiano de ideas. Encontramos muchas veces situaciones complejas
gobernadas por estas leyes. Un argumento, por ejemplo es una inferencia, donde las
premisas son los datos o expresiones conocidas y de ellas se desprende una
conclusin. Entonces la inferencia, es la forma en la que obtenemos conclusiones en
base a datos y declaraciones establecidas. Hay momentos que hablamos o decimos
algo y razonamos si es verdad lo que nos estn diciendo o es una falacia por ejemplo,
no es verdad que yo te informe que viajbamos maana temprano.
Por ello, realizaremos ejercicios donde aplicaremos los conceptos aprendidos sobre las
leyes de inferencia, demostraremos la validez de una conclusin y por ltimo, haciendo
uso de las tablas de la verdad determinaremos la validez de un razonamiento.
En sntesis, podremos apreciar un camino por la unidad II del curso Lgica Matemtica,
lo cual son de mucha importancia ya que de los Razonamientos Lgicos, se deriva la
validez, la posibilidad o la falsedad de otro juicio distinto

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

90004_37 Lgica Matemtica
Act No. 10. Trabajo Colaborativo 2

Problema de aplicacin
Los razonamientos lgicos que hemos estudiado en la segunda unidad no son
exclusivos de los espacios acadmicos. Por el contrario, hacemos uso de stos en el
debate cotidiano de las ideas. A continuacin se propone un dilogo entre varios
estudiantes de la UNAD:
A continuacin se plantea un argumento lgico:
Para nuestra deduccin, partamos de aceptar las siguientes premisas: Nos gusta que
al abrir un grifo, por ste salga agua. Nos gusta que existan personas que se dediquen
a fabricar zapatos, tambin nos gusta que existan mdicos. Tambin nos gusta que
existan personas que se dedican a compartir su conocimiento. Luego, tener agua, tener
donde comprar zapatos, y tanto mdicos como maestros, implica dos cosas: necesitar
de otras personas y tener calidad de vida. Y a su vez, necesitar de otras personas es
vivir en comunidad. Podemos concluir entonces que como a todos nos gusta tener
calidad de vida, a todos nos gusta vivir en comunidad. Qu debo hacer para vivir en
comunidad?
Ahora bien, si elegiste vivir en una comunidad, debers respetar la ley, sin importar que
tu fuerza fsica sea mayor que la de otros, sin importar que tengas ms estudios o
conocimientos que otros, sin importar que tengas ms recursos econmicos que otros,
para vivir en comunidad, es necesario que respetemos la ley, ya que por medio de la ley
es que las personas podemos ejercer el respeto de nuestros derechos, y podremos
exigirlos aun a los ms ricos o fuertes. Igualmente, al exigirles a otros que se limiten en
sus acciones, tambin, al vivir en comunidad aceptamos restringir voluntariamente
nuestras acciones.
Podemos concluir entonces que quien no respeta la ley, no acepta vivir en comunidad y
por lo tanto est renunciando a sta y a sus beneficios.
Fase 1
Debate con tus compaeros de equipo: El razonamiento propuesto es deductivo o
inductivo?
RTA/ El planteamiento es deductivo puesto que parte del no cumplimiento de la ley y la
comunidad hechos generales no obtiene beneficios hechos individuales.
Fase 2

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

90004_37 Lgica Matemtica
Act No. 10. Trabajo Colaborativo 2

A continuacin, analiza la validez de la conclusin: Respetamos la ley

Primero hallamos las premisas:
Premisa 1: O no nos gusta tener calidad de vida o no nos gusta vivir solos
Premisa 2: Nos gusta tener calidad de vida
Premisa 3: Si no nos gusta vivir solos, nos gusta vivir en comunidad
Premisa 4: Si nos gusta vivir en comunidad, entonces respetamos la ley
2.1 Declaracin de proposiciones simples:
a= calidad de vida
b= vivir solos
c= vivir en comunidad
d= respetamos la ley
2.2 Premisas en lenguaje simblico:
Premisa 1:

a b

Premisa 2: a
Premisa 3:

bc

Premisa 4:

c d

2.3 Conclusin en lenguaje simblico:

RTA /.Conclusin d

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

90004_37 Lgica Matemtica
Act No. 10. Trabajo Colaborativo 2

2.4 Demostraciones:
2.4.1: Demostracin a partir de las tablas de verdad forma 1:
(Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusin sea falsa)
1
2
3
4
conclusi
premis premis premis premis
n
a
a
a
a
a
b
c
d
~a
b
~a
a
~bc
cd
d
b
V
V
V
V
F
F
F
V
V
V
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
V
F
F
F
V
V
V
V
V
V
F
F
F
F
F
V
V
V
F
V
F
V
V
F
V
V
V
V
V
V
V
F
V
F
F
V
V
V
V
F
F
V
F
F
V
F
V
V
V
F
V
V
V
F
F
F
F
V
V
V
F
V
F
F
V
V
V
V
F
V
F
V
V
V
F
V
V
F
V
F
V
F
V
F
F
F
V
F
V
V
F
V
F
V
V
V
F
V
F
F
V
F
V
F
V
V
F
F
F
V
V
V
V
V
F
V
V
V
F
F
V
F
V
V
V
F
V
F
F
F
F
F
V
V
V
V
F
F
V
V
F
F
F
F
V
V
V
F
F
V
F
No existe el caso en que las premisas sean verdaderas y la conclusin sea falsa, por lo tanto el razonamiento
.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

90004_37 Lgica Matemtica
Act No. 10. Trabajo Colaborativo 2

2.4.2: Demostracin a partir de las tablas de verdad forma 2:

(Evaluando si la conjuncin de las premisas implican la conclusin.)

[ ( premisa 1 ) ( premisa 2 ) ( premisa3 ) ( premisa 4)] conclusin

1
premis
a
~a
b
F

2
premis
a
a

3
premis
a
~bc

4
premis
a
cd

conclusin

(premisa 1)
(premisa 2)

(premisa3)
(premisa 4)

( premisa1 ) ( premisa 2[)( premisa 1 ) ( premisa 2 ) ( premisa

( premisa 3 ) ( premisa 4 )

F
F
F
F
V
V
V
V
F
F
F
F
F
F
F
F

V
F
V
V
V
F
F
F
V
F
V
V
V
F
F
F

F
F
F
F
V
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

90004_37 Lgica Matemtica
Act No. 10. Trabajo Colaborativo 2

2.4.3. Verificacin con simulador

2.4.4. Demostracin a partir de las leyes de inferencia:

Premisa 1:
Premisa 2: a
Premisa 3:

av

b>c

Premisa 4: c
d d
Premisa 5: a
b implicacin material (1)
Premisa 6: a c silogismo hipottico (5.3)
Premisa 7: a

d silogismo hipottico (6.4)

Premisa 8: s modus ponendo ponens (8.2)

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

90004_37 Lgica Matemtica
Act No. 10. Trabajo Colaborativo 2

En conclusin, las leyes de inferencia permiten deducir la conclusin, por lo tanto el

razonamiento es vlido como ya se haba dicho en una ocasin.
2.4.5.: Demostracin por reduccin al absurdo:
a

Premisa 1:
Premisa 2: a
Premisa 3:
Premisa 4: c

Conclusin: d
Premisas
Premisa 1
Valores

Cognitivos lgicos
V
V

~a
F

~b
V

Premisa 2
Valores

a
V

Premisa 3
Valores

~b
F

c
F

Premisa 4
Valores

c
F

d
F

Conclusin
Valores

s
F

En ningn de sus valores se encontr alguna ambigedad por lo tanto se podra decir
que es un racionamiento valido.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

90004_37 Lgica Matemtica
Act No. 10. Trabajo Colaborativo 2

CONCLUSIONES

Para concluir es importante decir que en un razonamiento se puede tener la posibilidad

de obtener una proposicin nueva, donde la podemos llamar (conclusin), a partir de
proposiciones previamente establecidas, en este caso se llaman (las premisas). Los
argumentos nos permiten as ampliar los conocimientos de la realidad, pues, se puede
obtener nuevas proposiciones verdaderas o a partir de las que ya se han aceptado
como verdaderas.
Con el objetivo de demostrar la validez de un razonamiento es necesario aplicar la
tabla de verdad, donde explica las posibilidades que existen para que un argumento
sea vlido o no vlido (tabla de la Validez o no Validez de un Razonamiento), tambin
para ello es necesario conocer y dar uso a la tabla de verdad del condicional. Se tiene
que recordar que todo argumento puede representarse mediante una proposicin
condicional cuyo antecedente es la unin de las premisas por medio de conjunciones y
cuyo consecuente es la conclusin.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

90004_37 Lgica Matemtica
Act No. 10. Trabajo Colaborativo 2

DEBATE
Debate con tus compaeros de equipo el razonamiento propuesto y registren en este
espacio el producto del debate. Qu ganamos y a qu renunciamos al vivir en
sociedad? (Contextualiza tu respuesta en la realidad mundial).Que los seres humanos
vivimos en sociedad es un hecho claro e indiscutible, un hecho inmediato:
Desde nuestro nacimiento nos encontramos ya en un medio social. Gracia al estado
vulnerable al nacer es un hecho irreversible. Nuestra dependencia a un ncleo social
pequeo o grande nos marca durante toda nuestra existencia. Con ello nos planteamos
la cuestin de si somos real y verdaderamente seres humanos con anterioridad a
nuestra relacin con los otros seres humanos. O si por el contrario, nuestra relacin con
los otros hombres y mujeres es fundamental, originaria y constitutiva del ser humano.
De ser verdad esto ltimo, la dimensin social del ser humano no sera una faceta
cualquiera, sino que constituira la realidad misma de nuestro ser. Teniendo en cuento lo
anterior y por la experiencia personal se puede intuir que la ganancia de vivir en
sociedad est en afirmacin del carcter afectivo y las relaciones sentimentales
reforzando la actividad colectiva, los parmetro sociales o leyes en donde el bien
comn prima sobre el bien individual, un orden social y moral, la causa o razn por la
cual los seres humanos se vinculan a una determinada comunidad y poder elegirla, el
desarrollo de una cultura por aprendizaje y repeticin, proteger al hombre dela
naturaleza y regular las relaciones entre s, la globalizacin. Pero al vivir en sociedad se

10

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

90004_37 Lgica Matemtica
Act No. 10. Trabajo Colaborativo 2

renuncia a la libertad individual, a tener que adaptarse para ser aceptado, se renuncia
prcticamente a todo lo que implica afectar el bienestar de la comunidad como tal.

REFERENCIAS

Georffrey Acevedo, Gonzales, G (2010).Lgica Matemtica, Universidad Nacional

Abierta y a Distancia UNAD. Colombia.

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

11