Scribd
Cargar
38 vistas4 páginas

Tarea 3 Parte 7

El documento presenta una serie de inferencias lógicas, evaluando su validez a través de proposiciones y reglas de inferencia. Se identifican inferencias válidas e inválidas utilizando diversas leyes lógicas, como la Ley de encadenamiento causa-efecto y Tollendo-Ponens. Al final, se concluyen varias relaciones lógicas entre las proposiciones dadas.

Cargado por

aangelesce
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
38 vistas4 páginas

Tarea 3 Parte 7

El documento presenta una serie de inferencias lógicas, evaluando su validez a través de proposiciones y reglas de inferencia. Se identifican inferencias válidas e inválidas utilizando diversas leyes lógicas, como la Ley de encadenamiento causa-efecto y Tollendo-Ponens. Al final, se concluyen varias relaciones lógicas entre las proposiciones dadas.

Cargado por

aangelesce
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

7.

Verificar si las siguientes inferencias son válidas o no

𝑃1 : 𝑃 → ¬𝑞 ≈ ¬𝑝 ˅ ¬𝑞
𝑃1 : ¬𝑝 ˅ ¬𝑞
𝑃2 : 𝑝 ˅ ¬𝑞
𝑃3 : ¬𝑞
𝑃2 : ¬𝑞
∴ ¬𝑞 (Válida)

«Ley de encadenamiento causa-efecto»


∴ (Válida)

𝑃3 : ¬𝑝 ↔ 𝑟 ≈ 𝑝 ∆ 𝑟
𝑃2 : 𝑟 ˅ 𝑠
𝑃4 : ¬𝑝
𝑃1 : ¬𝑞 ˅ ¬𝑝 ˅ 𝑟 ≈ ¬𝑝 ˅(¬𝑞 ˅ 𝑟)
𝑃4 : ¬𝑝
𝑃5 : 𝑞 ˄ ¬ 𝑟
𝑃5 𝑦 𝑃2 : 𝑞 ˄ ¬𝑟 ˅ 𝑠
∴ (Inválida)
∴ (Válida: Tollendo-Ponens)

𝑃2 : ¬𝑞 → ¬𝑟 ≈ 𝑟 → 𝑞
𝑃1 : 𝑝 → 𝑞 ≈ ¬𝑝 ˅ 𝑞
𝑃2 : 𝑟 → 𝑞 ≈ ¬𝑟 ˅ 𝑞
𝑃4 : 𝑝
𝑃4 𝑦 𝑃2 : 𝑝 ˅ ¬𝑟
∴ (Inválida)

∴ (Válida: Tollendo-Ponens)

𝑃3 : 𝑟 → 𝑟 ≈ ¬𝑟 ˅ 𝑠
𝑃2 : ¬𝑝 ∆ 𝑠
𝑃4 : 𝑝
𝑃1 : 𝑝 ↔ ¬𝑞 ≈ 𝑝 ∆ 𝑞
𝑃4 : 𝑝
𝑃5 : ¬𝑞
∴ ¬𝑞 ˅ ¬𝑟 (Inválida)
𝐶: 𝑟 → 𝑠 ≈ ¬𝑟 ˅ 𝑠
∴ 𝑞 ˄ 𝑟 (Inválida)

∴ (Válida: Tollendo-Tolens)

𝑃2 : 𝑠 → 𝑝
𝑃1 : 𝑝 ˅ 𝑠 ≈ 𝑠 ˅ 𝑝
𝑃3 : 𝑝
∴ 𝑝 (Válida)

𝑃1 𝑦 𝑃2 : 𝑡 → 𝑟
𝑃3 : ¬𝑟
∴ ¬𝑡 (Válida)
𝑃2 : 𝑝 → (𝑞 ˅ 𝑟)
𝑃1 : 𝑝 ˄ 𝑡
𝑃4 : (𝑞 ˅ 𝑟)
𝑃3 : 𝑞 → 𝑠
𝑃5 : 𝑠
𝑃4 : 𝑟 → 𝑠
𝑃6 : 𝑠
∴ 𝑠 (Válida)

𝑃1 : (𝑝 ˄ 𝑞) → 𝑟 ≈ ¬(𝑝 ˄ 𝑞) ˅ 𝑟 ≈ ¬𝑝 ˅ (¬𝑞 ˅ 𝑟)
𝑃2 : 𝑝
𝑃3 : ¬𝑞 ˅𝑟 ≈ 𝑞 → 𝑟
∴ 𝑞 → 𝑟 (Válida)

También podría gustarte