Académique Documents
Professionnel Documents
Culture Documents
Modos directos
MATEMTICO - MODUS PONENDO PONENS (MPP)
INFERENCIAS LGICAS P1 : A B P1 : A B
1. DEFINICIN
P2 : A P2 : A
Es una estructura de proposiciones donde a partir de
una o ms proposiciones llamadas Premisas
(conocimiento inicial), se obtiene una proposicin final P1 : A B
llamada Conclusin (conocimiento inferido) a travs de
leyes o reglas
P1 : B
2. ESQUEMA DE UNA INFERENCIA
FALACIA
Formalmente podemos expresarla de dos formas
vertical o lineal. - MODUS TOLLENDO -TOLLENS (MTT)
Esquema vertical
P1 : A B P1 : A B
P1
P1 : B P1 : B
P2 Premisas (Conocimiento
inicial) P1 : A B
P3 Leyes o
reglas
Conclusin (Conocimiento
P1 : A
3.
RELACIN DE inferido)
EQUIVALENCIA - INFERENCIA FALACIA
Modos indirectos
- MODUS PONENDO - TOLLENS (MPT)
Toda equivalencia es una
inferencia
4.
INFERENCIAS POR LEYES DE EQUIVALENCIA P1 : A B P1 : A B
Las cuales incluyen todas las leyes de equivalencia
conocidas P1 : A P1 : B
- MODUS TOLLENDO PONENS (MTP)
P1 : P Equivalencia por ley de
la doble negacin
P1 : A B P1 : A B
C:P
5. P1 : A P1 : B
INFERENCIAS P1 : ( P Q) Equivalencia por leyes
POR de DMORGAN
REGLAS P1 : A v B P1 : A v B
C :(P v Q)
5.1.INFERENCIAS A PARTIR DE UNA PREMISA
P1 : A P1 : B
Simplificacin
Silogismos
- SILOGISMO HIPOTTICO PURO (SHP)
P1 : A
B
P1 : A B
Adicin P1 : A B P1 : A B
P1 : B C P1 :C A
P1 : A
- TRANSITIVIDAD SIMTRICA
5.2.INFERENCIAS A PARTIR DE DOS PREMISAS
Conjuncin (Adjuncin)
P1 : A B P1 : A B
P1 : A
P1 : B C P1 :C A
P1 : B
Son ciertas:
5.3.INFERENCIAS A PARTIR DE DOS PREMISAS A. 1, 3 y 5 B. 2, 3 y 5 C. 1, 2 y 4
D. 1, 4 y 5 E. 2 ,3 y 4
- Dilema constructivo
4. De: Paulo Cesar no es amigo de Anita o no es amigo de
Milagros, aunque, es veraz que Paulo Cesar sea amigo
de Milagros. Se infiere:
P1 : A B A. Paulo Cesar no es amigo de Anita
B. Paulo Cesar es amigo de Anita
P1 :C D C. Paulo Cesar no es amigo de Milagros
D. Paulo Cesar es amigo de Milagros y de Anita
- Dilema destructivo E. Si Paulo Cesar no es amigo de Anita, no es amigo de
Milagros
PROBLEMAS PROPUESTOS