MOMENTO INTERMEDIO PASO 2

Presentado por:
ZULEIMA CASTRO PALLARES
Grupo:
200611_865

Presentado a:
ALVARO JAVIER ROJAS BARACALDO
Tutor

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA

TECNOLOGIA EN CONSTRUCCION DE OBRAS CIVILES
PENSAMIENTO LOGICO MATEMATICO
CEAD_CUBARA
2016
INTRODUCCION
El razonamiento es la estructura lgica constituida por varios juicios o
proposiciones, una de las cuales se denomina conclusin y se deriva,
deduce e infiere de las otras llamadas premisas por esto se debe tener en
cuenta dentro del razonamiento las expresiones derivadas que nos indican
cuales son las premisas y la conclusin del razonamiento. Las expresiones
tales como: dado que, puesto que, ya que, son las que anteceden a las
premisas. Y las expresiones tales como: por lo tanto, por consiguiente,
luego, son las que anteceden a la conclusin.

OBJETIVOS
 Identificar y comprender silogismo categrico como un argumento
Solucionar problemas de lgica proposicional, por medio de tablas de
verdad identificando los conectores lgicos.
Identificar proposiciones de un lenguaje natural a un lenguaje formal.

PRIMERA ETAPA:
SILOGISMO CATEGORICO
Un silogismo categrico es un tipo de argumento en el que las ideas contenidas en
las premisas estn conectadas en tal forma que la conclusin se deriva de tales
conexiones y las completa.
La conclusin de un silogismo de forma estndar es una proposicin que contiene
dos de los tres trminos del silogismo. El trmino que aparece como predicado de
la conclusin se llama el trmino mayor del silogismo, y el trmino que aparece
como sujeto de la conclusin es el trmino menor del silogismo.
Elementos del silogismo
Trmino mayor: se encuentra en el predicado de la conclusin.
Trmino medio: termino comn a las dos premisas.
Trmino menor: se encuentra en el sujeto de la conclusin.
Premisa menor: tiene tambin el trmino mayor.
Premisa menor: tiene tambin el trmino menor.

Ejemplo 1.
Ningn hroe es cobarde
Algunos soldados son cobardes
Por lo tanto, algunos soldados no son hroes.

El trmino soldados es el trmino menor y el trmino hroes, es el trmino

mayor. El tercer trmino del silogismo que no aparece en la conclusin, y que
aparece en cambio en ambas premisas se llama el trmino medio. En nuestro
ejemplo, el trmino cobardes es el trmino medio. Los trminos mayor y menor
de un silogismo en forma estndar aparecen, cada uno, en una premisa diferente.
La premisa que contiene el trmino menor se llama premisa menor y la premisa
que contiene el trmino mayor se llama premisa mayor.

Ejemplo 2.
Como algunos deportistas son personas sensatas, entonces algunos deportistas
no abusan del licor, pues ninguna persona sensata abusa del licor.
Hallaremos las premisas y su conclusin.

P1 Algunos deportistas son personas sensatas.

P2 Ninguna persona sensata abusa del licor.
C. Algunos deportistas no abusan del licor.
Ejemplo 3.

Todos los gatos son animales

Algunos gatos son cuadrpedos
Algunos animales son cuadrpedos

2 ETAPA
Ins est hablando con sus amigas de la universidad, y ellas quieren saber si es
verdad que Ins no necesita dinero para pagar la matrcula del prximo semestre,
para lo cual Ins comenta lo siguiente: No es cierto que soy beneficiaria del
crdito condonable que otorga el Estado y obtengo un promedio alto en mi periodo
acadmico. Soy beneficiaria del crdito condonable que otorga el Estado y recibo
un bono de estudio en la empresa. Obtengo un promedio alto en mi periodo
acadmico y recibo un bono de estudio en la empresa. Por consiguiente soy
beneficiaria del crdito condonable que otorga el Estado. Ser que es verdad lo
que ha dicho Ins?, una de las amigas tom nota de lo que dijo Ins y lo plasm
en una tabla de verdad; qu resultado obtuvo la amiga en la tabla que hizo?

Proposiciones simples:
p: Soy beneficiaria del crdito condonable que otorga el Estado
q: Obtengo un promedio alto en mi periodo acadmico
r: Recibo un bono de estudio en la empresa

Lenguaje natural:
No es cierto que soy beneficiaria del crdito condonable que otorga el Estado y
obtengo un promedio alto en mi periodo acadmico. Soy beneficiaria del crdito
condonable que otorga el Estado y recibo un bono de estudio en la empresa.
Obtengo un promedio alto en mi periodo acadmico y recibo un bono de estudio
en la empresa. Por consiguiente soy beneficiaria del crdito condonable que
otorga el Estado.
Lenguaje natural Lenguaje formal
No es cierto que
soy beneficiaria del crdito condonable p q
que otorga el Estado y obtengo un
promedio alto en mi periodo
acadmico
Soy beneficiaria del crdito condonable p r
que otorga el Estado y recibo un bono
de estudio en la empresa
Obtengo un promedio alto en mi q r
periodo acadmico y recibo un bono
de estudio en la empresa
. Por consiguiente soy beneficiaria p
del crdito condonable que otorga el
Estado

El lenguaje formal seria:

~ {[(p q) (p r) (q r)] p}
Tabla de verdad
Si n es el nmero de proposiciones, n = 3
Si el nmero de filas de los valores de verdad es 2, 2 = 8

Estamos hablando de una contradiccin.

Etapa 3.
Ningn ciclista puede ser campen y ocupar el segundo lugar al mismo tiempo en
el pdium del Tour de Francia. Nairo Quintana es ciclista colombiano. Nairo
Quintana no puede ser campen y ocupar el segundo lugar al mismo tiempo en el
pdium del Tour de Francia.
X Ser campen y ocupar el segundo lugar en el tour de Francia
Y Nairo Quintana
Z Ciclista Colombiano

En ( X Y Z )

Sean las premisas

P1. Ningn ciclista puede ser campen y ocupar el segundo lugar al mismo tiempo
en el pdium del Tour de Francia.

En (Z X ) , entonces P1 = ZX

P2. Nairo Quintana es ciclista colombiano.

En (Y Z ) , entonces P2 = Y

Sea la conclusin
C. Nairo Quintana no puede ser campen y ocupar el segundo lugar al mismo
tiempo en el pdium del Tour de Francia.

En ( X Y Z ), entonces C=Y (Y X )
Es un argumento vlido.
CONCLUSIONES

Podemos concluir que la lgica est basada en argumentos que crea el ser
humano, as como las premisas y el razonamiento llegando a conclusiones
verdaderas si estas son verdaderas, donde juega un papel muy importante la
lgica del silogismo quien es el que juega con estas variables.

La clave del xito de la razn es que est sostenida en la realidad misma. Citando
a Ayn Rand, gran pensadora aristotlica de nuestra poca: "podemos evadir la
realidad, pero no podemos evadir las consecuencias de evadir la realidad".
Podemos elegir no razonar, pero no podemos evitar las consecuencias de esa
eleccin.
Bibliografa

http://objetos.unam.mx/logica/silogismos/pdf/TeoriaSilogismos.pdf
http://hdl.handle.net/10596/7959
https://drive.google.com/file/d/0B6MfL5b5SxklMzRWYU05REUwWHM/view
https://drive.google.com/file/d/0B6MfL5b5SxklS0NGYUNBYW5Ec0E/view