PENSAMIENTO LOGICO MATEMATICO

TRABAJO COLABORATIVO N 2

Presentado por:
JAIME RODRIGUEZ
Cod.

Tutor:
Grupo:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELAS DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
OCTUBRE
2014

INTRODUCCIN

A continuacin se plantean tres problemticas estructuradas, en los cuales deben utilizar los
Conceptos, propiedades analticas y grficas y las operaciones de conjuntos para dar una
Adecuada interpretacin al enunciado, poder argumentar la estructura de planteamiento del
Problema y la resolucin de cada situacin.

TRABAJO COLABORATIVO 2
PENSAMIENTO LGICO Y MATEMATICO
Fase 1: Produccin individual
1. Represente simblicamente (utilizando los conectivos lgicos) cada razonamiento y hacer la
respectiva tabla de verdad:
a. Si viene en autobs, llegar antes de las doce. Si viene en motocicleta, llegar antes de las
doce. Luego, tanto si viene en autobs como si viene en motocicleta, llegar antes de las doce.
Solucin
Variables
p: Viene en autobs
q: viene en motocicleta
r: llegar antes de las doce
Representacin simblica

p r q r p q r
Tabla de verdad

p r q r p r q r p q p q r p r q r p q r

p q r
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
F
V
F
V
V
V
V

V
F
V
V
V
F
V
V

V
F
V
V
V
V
V
V

V
V
V
V
V
V
F
F

V
F
V
F
V
F
V
V

V
V
V
F
V
F
V
V

b. Si tuvieran que justificarse ciertas acciones por su relevante tradicin entonces, si estas
acciones son inocuas y respetan a todo ser vivo y al medio ambiente, no habra ninguna
dificultad. Pero si las acciones son crueles o no respetuosas con los seres vivientes o el medio
ambiente, entonces habra que dejar de justificarlos o no podramos considerarnos dignos de
nuestro tiempo
Solucin
Variables
p: Si las acciones son inofensivas
q: Si se respeta a todo ser vivo y al medio ambiente
r: No habra ninguna dificultad

s: Habra que justificar las acciones por su relevante tradicin

Representacin simblica

p q r s p q s
p

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

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

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

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

p q p q r p q r s
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F

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

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

p q

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

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

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

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

p q s p q r s p q s
V
V
V
V
V
V
V
V
V
V
V
V
F
V
F
V

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

c. Si tu lder se enoja, te quedas estupefacto del susto; y si te quedas estupefacto del susto, entonces no puedes sino apelar a
su bondad y as no ser sancionado. Por lo tanto, si tu lder se enoja, tendrs que apelar a su bondad o sers sancionado.
Solucin
Variables
p: el lder se enoja
q: quedar estupefacto del susto
r: apelar a su bondad
s: ser sancionado
Representacin simblica

p q q r s p r s
r s q r s p q q r s r s p r s p q q r s p r s

p q

V V V V

V V V F

V V F

V V F

V F

V V

V F

V F

V F

V F

F V V V

F V V F

F V F

F V F

V V

V F

2. Decidir utilizando las tablas de verdad si este argumento es o no vlido, es decir, evidenciar que
la tabla que se obtiene es una tautologa o no:
Si usted es autosuficiente entonces sus acciones no estn determinadas por eventos previos.
En estas circunstancias, sus acciones no son predecibles y no es posible anticipar las
consecuencias de ellas. En consecuencia, si usted es autosuficiente, las consecuencias de sus
acciones no se pueden anticipar.
Solucin
Variables
p: si usted es autosuficiente
q: sus acciones no son predecibles
r: no es posible anticipar sus consecuencias
Representacin simblica

p q r p r
P

q r

p q r

p r

p q r p r

Despus de resolver la tabla de la verdad, se puede observar que la conclusin arroja todos sus
valores son verdaderos, por lo tanto se puede afirmar que es una tautologa.

3. Identifica en el siguiente silogismo las diferentes proposiciones categricas, y proponer una

representacin mediante diagramas de Venn de las diferentes relaciones entre las clases
implicadas, segn las proposiciones categricas:
Ningn ser aptico es ambicioso. Porque es un hecho que ninguno de ellos es cientfico y
tambin es un hecho que todo cientfico es ambicioso
Solucin

P1: Todo cientfico es ambicioso

P2: Ningn ser aptico es cientfico.
C: Ningn ser aptico es ambicioso
Representacin por medio de diagramas de Venn
P1: todo cientfico es ambicioso
Al hacer el anlisis para representar esta premisa tenemos que cientficos no ambiciosos es
vaco y por esta razn lo sombreamos en el diagrama

P2: Ningn ser aptico es cientfico

Al hacer el anlisis para representar esta premisa tenemos que apticos y cientficos es vaco y por
esta razn lo representamos sombrendolo en el diagrama

Conclusin: Ningn ser aptico es ambicioso

Para representar este conclusin tenemos que la premisa ambicioso es vaco, por esta razn el
diagrama queda representado de la siguiente forma.

Al analizar esta representacin podemos analizar que la conclusin no est contenida en la

representacin de ninguna de las dos premisas, por lo tanto se deduce que el silogismo es invlido.

CONCLUSION.

En un sentido restringido, se llama razonamiento lgico al proceso mental de realizar una

inferencia de una conclusin a partir de un conjunto de premisas. La conclusin puede no ser
una consecuencia lgica de las premisas y aun as dar lugar a un razonamiento, ya que un mal
razonamiento an es un razonamiento en sentido amplio, no en el sentido de la lgica. Los
razonamientos pueden ser vlidos correctos o no vlidos incorrectos.

En general, se considera vlido un razonamiento cuando sus premisas ofrecen soporte

suficiente a su conclusin. Puede discutirse el significado de "soporte suficiente", aunque
cuando se trata de un razonamiento no deductivo no podemos hablar de validez sino de
"fortaleza" o "debilidad" del razonamiento dependiendo de la solidez de las premisas, la
conclusin podr ser ms o menos probable pero jams necesaria, solo es aplicable el trmino
"vlido" a razonamientos del tipo deductivo. En el caso del razonamiento deductivo, el
razonamiento es vlido cuando la verdad de las premisas implica necesariamente la verdad de
la conclusin.

BIBLIOGRAFA.

Lgica Proposicional:
http://docencia.udea.edu.co/SistemasDiscretos/contenido/capitulo_01.html
Equivalencias en lgica proposicional:
http://www.monografias.com/trabajos/iartificial/pagina4_1.htm
Lgica Proposicional:
http://www.ucsm.edu.pe/rabarcaf/Introducci%C3%B3n%20a%20la%20L%C3%B3gica/2.%20L
%C3%B3gica%20Proposicional.doc