Beruflich Dokumente
Kultur Dokumente
FACULTAD DE INGENIERIAY
SISTEMAS
LOGICA PROPOCISIONAL
TEMA:
RAZONAMIENTO Y LOGICA
GRUPO TEORICO
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?
Razonamientos deductivos
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
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.
Silogismo inductivo
A partir de una premisa de ndole general no
Deductivos
No graduales.
Preservan la verdad.
Graduales.
No preservan la verdad.
Ampliativos.
No ampliativos.
No montonos.
Montonos.
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
Principales conectivas.
Conjuncin: ( y, pero, aunque, sino que...) Es verdadera
cuando conecta dos proposiciones verdaderas.
No se da q / NO se da p
Modus Tollens.
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