Scribd
Cargar
266 vistas1 página

Reglas Inferencia

El documento presenta las principales reglas de inferencia lógica, incluyendo Modus Ponens, Ley del Silogismo y Modus Tollens, entre otras. Cada regla se describe con su forma lógica y conclusión correspondiente. Estas reglas son fundamentales para la deducción y argumentación en lógica formal.

Cargado por

RoyR.CcapaPeña
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 PDF, TXT o lee en línea desde Scribd
266 vistas1 página

Reglas Inferencia

El documento presenta las principales reglas de inferencia lógica, incluyendo Modus Ponens, Ley del Silogismo y Modus Tollens, entre otras. Cada regla se describe con su forma lógica y conclusión correspondiente. Estas reglas son fundamentales para la deducción y argumentación en lógica formal.

Cargado por

RoyR.CcapaPeña
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 PDF, TXT o lee en línea desde Scribd

PRINCIPALES REGLAS DE INFERENCIA

R.1: MODUS PONENS R.7: REGLA DE LA SIMPLIFICACIÓN CONJUNTIVA


p p∧q
p→q
∴p
∴q

R.2: LEY DEL SILOGISMO R.8: REGLA DE AMPLIFICACIÓN DISYUNTIVA


p→q
p
q→r
∴p∨q
∴p→r

R.3: MODUS TOLLENS R.9: REGLA DE DEMOSTRACIÓN CONDICIONAL


p→q p∧q
~q p → (q → r)

∴ ~p ∴r

R.4: REGLA DE LA CONJUNCIÓN


R.10: REGLA DE DEMOSTRACIÓN POR CASOS
p
q p→r
q→r
∴p∧q
∴ (p ∨ q) → r

R.5: REGLA DEL SILOGISMO DISYUNTIVO R.11: REGLA DEL DILEMA CONSTRUCTIVO
p∨q p→q
~p r→s
p∨r
∴q
∴q∨s

R.6: REGLA DE LA CONTRADICCIÓN R.12: REGLA DEL DILEMA DESTRUCTIVO


p→q
~p → F r→s
~q ∨ ~s
∴p
∴ ~p ∨ ~r

También podría gustarte