Scribd
Cargar
26 vistas3 páginas

Deducción Natural en Filosofía

Este documento presenta las reglas de introducción y eliminación de la deducción natural para varias conectivas lógicas como conjunción, condicional material, disyunción, repetición, negación, principio de explosión, doble negación, bicondicional material, cuantificadores universal y existencial e identidad.

Cargado por

metodoiset2025
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
26 vistas3 páginas

Deducción Natural en Filosofía

Este documento presenta las reglas de introducción y eliminación de la deducción natural para varias conectivas lógicas como conjunción, condicional material, disyunción, repetición, negación, principio de explosión, doble negación, bicondicional material, cuantificadores universal y existencial e identidad.

Cargado por

metodoiset2025
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

ISET – Metodología de la Investigación

Docente: Moyano Loza, Nicolás


Tema: Deducción Natural. Lista de reglas de introducción y eliminación.

CONJUNCIÓN

𝑚. 𝜑
⋮
𝑛. 𝜓
⋮
ñ. 𝜑∧𝜓 I ∧, 𝑚, 𝑛

𝑚. 𝜑∧𝜓 𝑚. 𝜑∧𝜓
⋮ ⋮
𝑛. 𝜑 E1 ∧, 𝑚 𝑛. 𝜓 E2 ∧, 𝑚

CONDICIONAL MATERIAL

𝑚. 𝜑→𝜓 𝑚. 𝜑 𝑠𝑢𝑝𝑢𝑒𝑠𝑡𝑜
⋮ ⋮
𝑛. 𝜑 𝑛−1 𝜓
⋮
ñ. 𝜓 E →, 𝑚, 𝑛 ñ. 𝜑→𝜓 I→

DISYUNCIÓN

𝑚. 𝜑 𝑚. 𝜓
⋮ ⋮
𝑛. 𝜑∨𝜓 I ∨, 𝑚 𝑛. 𝜑∨𝜓 I ∨, 𝑚

𝑚. 𝜑∨𝜓
⋮
𝑛. 𝜑→𝜒
⋮
ñ. 𝜓→𝜒
⋮
𝑜. 𝜒 E ∨, 𝑚, 𝑛, ñ
REPETICIÓN

𝑛. 𝜑
⋮
𝑚. 𝜑 𝑅𝑒𝑝, 𝑛

NEGACIÓN

𝑛. ¬𝜑
⋮ 𝑛. 𝜑 𝑠𝑢𝑝𝑢𝑒𝑠𝑡𝑜
𝑚. 𝜙 ⋮
𝑚. ⊥
⋮
ñ. ¬𝜑 I¬
ñ. ⊥ E¬, 𝑛, 𝑚

PRINCIPIO DE EXPLOSIÓN (Ex falso sequitur quodlibet)

⋮
𝑛−1 ⊥
𝑛. 𝜑 PE, 𝑛 − 1

DOBLE NEGACIÓN

⋮
𝑚. ¬¬𝜑
⋮
𝑛. 𝜑 ¬¬, 𝑚

BICONDICIONAL MATERIAL

𝑚. 𝜑 → 𝜓
⋮
𝑛. 𝜓 → 𝜑
⋮
ñ. 𝜑 ↔ 𝜓 I ↔, 𝑚, 𝑛

𝑚. 𝜑↔𝜓 𝑚. 𝜑↔𝜓
⋮ ⋮
𝑛. 𝜓 𝑛. 𝜑
⋮ ⋮
ñ. 𝜑 E ↔, 𝑚, 𝑛 ñ. 𝜓 E ↔, 𝑚, 𝑛
CUANTIFICADOR UNIVERSAL

⋮ ⋮
𝑚. ∀𝑥𝜑 𝑚. [𝑎/𝑥]𝜑
⋮ ⋮
𝑛. [𝑎/𝑥]𝜑 E∀, 𝑚 𝑛. ∀𝑥𝜑 I∀, 𝑚
(Con 𝑎 arbitraria)

CUANTIFICADOR EXISTENCIAL

⋮
⋮ 𝑚. ∃𝑥𝜑
𝑚. [𝑎/𝑥]𝜑 ⋮
⋮ 𝑛. [𝑎/𝑥]𝜑 → 𝜓
𝑛. ∃𝑥𝜑 I∃, 𝑚 ⋮
ñ. 𝜓 E∃, 𝑚, 𝑛

(Con 𝑎 arbitraria)

IDENTIDAD

𝑛. [𝑎/𝑥]𝜑 𝑛. ∀𝑥(𝑥 = 𝑎 → 𝜑)
⋮ ⋮
𝑚. ∀𝑥(𝑥 = 𝑎 → 𝜑) I =, 𝑛 𝑚 [𝑎/𝑥]𝜑 E =, 𝑛

(Siendo 𝑥 una variable que ocurre libre en 𝜑)

También podría gustarte