Zusammenfassung der Ressource
UNIDAD 2
- LOGICA MATEMATICA
- 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
- Razonamiento
inductivo
- Razonamiento
deductivo