LGICA MATEMTICA

INTRODUCCION

Los razonamientos lgicos poseen dos formas deduccin e induccin y no slo

se aplican en el mbito acadmico, tienen su aplicacin en todas las reas del
conocimiento y los aplicamos en nuestra vida cotidiana.
Donde el razonamiento deductivo es aquel caso donde se parte de una ley o
afirmacin general para posteriormente concluir sobre los casos particulares,
mientras que el razonamiento es inductivo cuando se parte de casos
particulares para llegar a concluir una ley general.
Estos razonamientos pueden ser validos o no, las tablas de verdad son
apropiadas para probar la validez de un argumento de tipo general, pero en la
prctica son cada vez ms difciles de manejar a medida que aumenta el
nmero de enunciados o proposiciones que conforman dicho argumento

TRABAJO GRUPAL DE CALIFICACIN INDIVIDUAL NO.2

PROBLEMA DE APLICACIN

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. G e o r f f
r e yA. G

Fase 1) El razonamiento propuesto es deductivo o inductivo?

RTA: El razonamiento propuesto es inductivo ya que parte de hechos
particulares (Nos gusta que al abrir un grifo, por ste salga agua, que existan
personas que se dediquen a fabricar zapatos, que existan mdicos, personas
que se dedican a compartir su conocimiento. Luego, tener agua, tener donde
comprar zapatos, y tanto mdicos como maestros, implica dos cosas) para
llegar a una proposicin general (a todos nos gusta tener calidad de vida, a
todos nos gusta vivir en comunidad)

Fase 2) A continuacin, analiza la validez de la conclusin: Respetamos

la ley

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:

p = Nos gusta tener calidad de vida

q = Nos gusta vivir solos

r = Nos gusta vivir en comunidad

s = Respetamos la ley

2 .2. Premisas lenguaje simblico:

Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s

2 .3. Conclusin en lenguaje simblico:

Conclusin: s

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)

p
V
V
V
V
V
V
V
V
F
F
F

Proposiciones
simples
q r s ~
p
V V V F
V V F F
V F V F
V F F F
F V V F
F V F F
F F V F
F F F F
V V V V
V V F V
V F V V

~
q
F
F
F
F
V
V
V
V
F
F
F

Premisa
1
~p v ~q

Premisa
2
p

Premisa
3
~q r

Premisa
4
rs

Conclusi
n
s

F
F
F
F
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
F
F
F

V
V
V
V
V
V
F
F
V
V
V

V
F
V
V
V
F
V
V
V
F
V

V
F
V
F
V
F
V
F
V
F
V

F
F
F
F
F

V
F
F
F
F

F
V
V
F
F

F
V
F
V
F

V
V
V
V
V

F
V
V
V
V

V
V
V
V
V

F
F
F
F
F

V
V
V
F
F

V
V
F
V
V

F
V
F
V
F

No existe el caso en que las premisas sean verdaderas y la conclusin sea

falsa, por lo tanto el razonamiento es vlido.

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

Evaluando si la conjuncin de las premisas implican la conclusin

Proposiciones simples

Premisa
1

Premisa
2

Premisa
3

Premisa
4

Conclusin

~p

~q

~p v ~q

~q r

rs

[(~p v ~q) ^ (p) ^ (~q r)

^ (r s)] s

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

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

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

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

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

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

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

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

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

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

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

F
F

F
F

F
F

V
F

V
V

V
V

V
V

2.4.3. Verificacin con simulador

F
F

F
F

V
V

V
V

2.4.4. Demostracin a partir de las leyes de inferencia:

Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s
_______________________
5: ~q Sim 1
6: r MPP (3)(5)
7: s MPP (4)(5)

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

tanto el razonamiento es vlido.

2.4.5.: Demostracin por reduccin al absurdo:

Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s
__________________________________________
5: ~s
6: ~ r
7: ~q
8: r
9: r ^ ~ r

Negacin de la Conclusin
MTP (4)(5)
Sim (1)
MPP (3)(7)
CONJ (8)(6)

Fase 3) Qu ganamos y a qu renunciamos al vivir en sociedad?

Siendo la sociedad un conjunto de individuos, se puede interactuar de una
manera respetuosa, donde se comparte, ayuda mutua, se pretende confrontar
lealmente los distintos puntos de vista no para llegar a un acuerdo de
mnimos, sino para rectificar aquellas posiciones que puedan estar
equivocadas, o para defender con decisin lo que es un autntico valor moral,
lazos de hermandad, calidad de vida y lo mas importante una pacifica
convivencia.
Pero tambin se renuncia a vivir solo y a una privacidad, ya que siempre
estarn pendientes de nuestros actos.

CONCLUSIONES

Las tablas de verdad son una herramienta de gran importancia y

apropiadas para probar la validez de un argumento de tipo general.

Los seres humanos elaboramos los diferentes razonamientos lgicos.

Se logr determinar si un enunciado es o no un enunciado cientfico

como tambin las formas de los razonamientos lgicos: deduccin e
induccin.