Scribd
Cargar
140 vistas9 páginas

Esquemas de Inferencia Lógica

Este documento describe diferentes formas de inferencia lógica, incluyendo modus ponens, modus tollens, modus ponendo tollens, modus tollendo ponens, silogismo hipotético, dilema constructivo compuesto y dilema destructivo compuesto. Explica los esquemas verticales y significados de cada forma de inferencia.

Cargado por

Lizbeth katerina leiva hilario
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd
140 vistas9 páginas

Esquemas de Inferencia Lógica

Este documento describe diferentes formas de inferencia lógica, incluyendo modus ponens, modus tollens, modus ponendo tollens, modus tollendo ponens, silogismo hipotético, dilema constructivo compuesto y dilema destructivo compuesto. Explica los esquemas verticales y significados de cada forma de inferencia.

Cargado por

Lizbeth katerina leiva hilario
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd

INFERENCIA

Estructura de
proposiciones llamadas
premisas, unidas por P1 ^ P2 ^ … ^ Pn
conjunciones.

En base de las
premisas inferimos Conclusión C
la conclusión
FORMAS DE REPRESENTACIÓN
Forma vertical

P1
P2
.
.
.
LA CONCLUSIÓN DEBE ESTAR
Pn IMPLICADA POR LA CONJUNCIÓN DE
LAS PREMISAS.
Conclusión C

Inferencia válida Razonamiento correcto


Inferencia no válida Razonamiento incorrecto
I. MODUS PONENDO PONENS (MPP)

Significa:“modo AFIRMANDO AFIRMO”

Esquemas Verticales:

P1: A  B
P2: A Se afirman el antecedente
C: B Se afirman el consecuente

P1: A  B P1: A  B
P2: B P2: A
C: A
C: B
Significa: modo NEGANDO NIEGO”
II. MODUS TOLLENDO TOLLENS (MTT)

Esquemas Verticales:

P1: A  B P1: A  B
P2: ~B P2: ~B___
C: ~A C: ~A

P1:A  B
P2: ~A__ Si niegan el consecuente

C: ~B Se niega el antecedente
III. MODUS PONENDO TOLLENS (MPT)

Significa: “modo AFIRMANDO NIEGO”

Esquemas verticales:

P1: A Δ B
P2: A Si afirman una variable

C: ~B Se niega la otra variable

P1: A Δ B
P2: B
C: ~A
IV. MODUS TOLLENDO PONENS (MTP)
Significa:“modo NEGANDO AFIRMO”

Esquemas Verticales:
P1: AB P1: A  B
P2: ~A P2: ~B Si niegan una
variable
C: B C: A

P1: AΔ B P1: A Δ B
P2: ~A P2: ~B
C: B C: A Se afirma la otra
variable
O ley de la
transitividad
V. SILOGISMO HIPOTÉTICO (SH)

Esquema Vertical: Esquema Vertical:

P1: A  B P1: A  B
P2: B  C P2: B  C
C: A  C C: A  C
VI. DILEMA CONSTRUCTIVO
COMPUESTO (DCC)

Esquema Vertical :
DILEMAS I
VII. DILEMA DESTRUCTIVO
COMPUESTO (DDC)

Esquema Vertical:
DILEMAS II

También podría gustarte