Estudio formal y
simbólico de la
lógica,se aplica en
algunas áreas
matemáticas y la
ciencia.Se divide en las
siguientes áreas
Filosófica y
crítica
Modelos no
estándar
Teoría de la
demostración y
matemática
constructiva
algebraica
Teoría de
conjuntos
Teoría de la
computabilidad
Teoría de modelos
Lógica general
(que incluye
campos como
la lógica
modal y la
lógica
borrosa)
LEYES DE LA INFERENCIA LOGICA
son un esquema para
construir inferencias validas.
Estas relaciones estabelecen
relaciones sintacticas entre un
conjunto de formulas
llamadas premisas y una
asercion llamada conclucion
modus tollendo
ponen (MTP)
significa "negando, afirmo",
simbolicamente se expresa asi:
modus ponen (MPP)
en latin, modo que afirmando
afirma, se expresa
simbolicamente asi:
modus
tollendo
tolens (MTT)
Significa"negando, niego" y
simbolicamente se expresa
asi:
Silogismo
hipotetico (PH)
Si una causa se sigue una
consecuencia, y esta
consecuencia a su vez causa de
una segunda consecuencia, se
expresa simbolicamente asi:
RAZONAMIENTOS LOGICOS
Es un proceso mental que implica la aplicación
de la lógica. A partir de esta clase de
razonamiento, se puede partir de una o de
varias premisas para arribar a una conclusión
que puede determinarse como verdadera, falsa
o posible. El razonamiento lógico se puede
iniciar a partir de una observación (es decir,
una experiencia) o de una hipótesis. El proceso
mental de análisis puede desarrollarse de
distintas maneras y convertirse en