UNIVERSIDAD FRANCISCO GAVIDIA

FACULTAD DE INGENIERIAY
SISTEMAS
LOGICA PROPOCISIONAL
TEMA:
RAZONAMIENTO Y LOGICA

DOCENTE : ING.CARLOS BARRERA

13
FEBRERO 2016

GRUPO TEORICO

Naturaleza del razonamiento

Cuando ofrecemos razones (fundamentos) para que se

acepte una afirmacin construimos razonamientos.

Llmese premisas a las afirmaciones ofrecidas como
fundamento y conclusin a la afirmacin
pretendidamente fundamentada.
Razonamiento: Conjunto de proposiciones de las

cules una, denominada conclusin, se infiere de

la/s otra/s denominada/s premisa/s.

Objeto de la lgica
Cuestionamientos acerca de los razonamientos
Son verdaderas las premisas y la conclusin?
Se trata de un razonamiento persuasivo, atractivo o

interesante?
Hay una conexin adecuada entre las premisas y la
conclusin?

La lgica se ocupa del estudio de la fuerza del

vnculo evidencial entre las premisas y la
conclusin.

Razonamientos deductivos

Razonamientos deductivos: La conclusin se

sigue necesariamente de las premisas. Aceptadas las

premisas resulta irrebatible la conclusin.

Ej:
Ninguna enfermedad viral se cura con antibiticos.
El paciente X posee gripe, una enfermedad viral.
Por lo tanto, el paciente X no se curar con
antibiticos.

Razonamientos inductivos
La conclusin se sigue de manera probable de las

premisas. Las premisas no otorgan evidencia

conclusiva para la aceptacin de la conclusin.
Tipos de induccin
1. Induccin por enumeracin simple.
2. Induccin por analoga.
3. Silogismo inductivo.

Induccin por enumeracin simple.

Generalizacin a partir de un nmero de casos favorables y

ninguno desfavorable.
Ejemplo:
El paciente X posee diabetes gestacional (DG) y se constat que sus padres posean
diabetes.
El paciente Y posee DG, y sus padres tambin posean diabetes.
El paciente Z posee tambin DG, y sus padres son diabticos.
Por lo tanto, todo paciente con DG posee padres diabticos.

Induccin por analoga

Afirmacin de que un individuo, objeto o entidad

posee una propiedad porque la poseen otros

semejantes (anlogos) a l.
Ejemplo:
La paciente x, de 58 aos de edad, tena diabetes, hipertensin e
insuficiencia cardaca congestiva y sufri un infarto agudo del
miocardio (IAM) al realizar una actividad fsica.
La paciente Y, de 60 aos de edad, tiene diabetes, hipertensin e
insuficiencia cardaca congestiva. Por lo tanto, es posible que sufra
un IAM al realizar una actividad fsica.

Silogismo inductivo
A partir de una premisa de ndole general no

universal (pref. Estadstica) se concluye algo acerca

de un caso particular del mismo tipo.
Ejemplo:
La mayora de los mineros padece neumonicosis.
X es un individuo que trabaja de minero.
Por lo tanto, X padece neumonicosis.

Caractersticas de los dos tipos de razonamientos

Inductivos

Deductivos

No graduales.
Preservan la verdad.

Graduales.
No preservan la verdad.
Ampliativos.

No ampliativos.
No montonos.

Montonos.

Validez o invalidez de los razonamientos.

Los razonamientos se consideran vlidos o invlidos

de acuerdo a la forma lgica que poseen.

Una forma de razonamiento es vlida cuando es
imposible que presente un ejemplo con premisas
verdaderas y conclusin falsa.
Slo los razonamientos deductivos son vlidos.
Hay razonamientos que parecen deductivos, pero
que no lo son. A esos se los denomina invlidos.
La lgica deductiva se ocupa de distinguir estos tipos
de razonamientos.

Forma lgica
Si Sbato escribi el tunel, entonces fue Borges quien escribi el Aleph.
Efectivamente, fue Borges quien escribi el Aleph. Por lo tanto, Sbato
escribi el tunel.
Si tengo dos monedas de un peso en el bolsillo, entonces tengo dos pesos
en el bolsillo. Y tengo dos pesos en el bolsillo. Por lo tanto, tengo dos
monedas de un peso en el bolsillo .
Forma lgica
Si p entonces q
q / p

La forma lgica se obtiene al abstraer el contenido

de las proposiciones, manteniendo las conexiones
lgicas entre ellas.

Principales conectivas.
Conjuncin: ( y, pero, aunque, sino que...) Es verdadera
cuando conecta dos proposiciones verdaderas.

Negacin: (no, no es cierto que, ni, tampoco) Es

verdadera cuando se aplica a una proposicin falsa.

Disyuncin: (o, o bien, a menos que) Es verdadera

cuando al menos una de las proposiciones que conecta es verdadera.

Condicional: (Si....entonces...; Slo si) Es falsa slo en el

caso que se cumpla la condicin (antecedente) y no la consecuencia
(consecuente).

Bicondicional: (si y slo si) Es verdadera cuando conecta dos

proposiciones con igual valor de verdad.

Un mtodo para probar validez: El

condicional asociado.
Si p entonces q

No se da q / NO se da p

Modus Tollens.

Se conjuntan las premisas y se colocan como antecedente de un condicional,

que tiene por consecuente la conclusin. El resultado de la tabla debe ser una
tautologa, esto es, una verdad lgica.

[( p
v
f
v
f

q) ~q]
v v f fv v
v v f fv v
f f f vf v
v f v vf v
3
4 1 5

~p
fv
vf
fv
vf
2