Scribd
Cargar
30 vistas2 páginas

Razonamiento Lógico Matemático: Inferencias

Este documento presenta varios ejercicios de razonamiento lógico matemático que involucran leyes lógicas como la inferencia lógica, la simplificación de esquemas moleculares y la equivalencia de proposiciones. Los ejercicios piden demostrar reglas de inferencia, traducir enunciados a forma simbólica, simplificar esquemas y determinar proposiciones equivalentes.

Cargado por

Alondra Gonzales Canasas
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
30 vistas2 páginas

Razonamiento Lógico Matemático: Inferencias

Este documento presenta varios ejercicios de razonamiento lógico matemático que involucran leyes lógicas como la inferencia lógica, la simplificación de esquemas moleculares y la equivalencia de proposiciones. Los ejercicios piden demostrar reglas de inferencia, traducir enunciados a forma simbólica, simplificar esquemas y determinar proposiciones equivalentes.

Cargado por

Alondra Gonzales Canasas
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

RAZONAMIENTO LÓGICO MATEMÁTICO

INFERENCIA LÓGICA-LEYES LÓGICAS

Grupos: Fecha: 30 de Abril de 2024


Profesor: Adha Morales Moya

1. Demostrar por la tabla de valores o por el método abreviado, si los esquemas representan o no reglas
de inferencia válidas.

2. Traducir a forma simbólica y comprobar la validez de los siguientes enunciados:


3. Simplificar:
(~𝑟 ∧ 𝑝) ∧ (𝑠 ∨ 𝑟) ∧ (~𝑡 ∨ 𝑝) ∧ (𝑡 ∨∼ 𝑠)

4. Simplificar:
𝑠 ∨ (𝑟 ∧ ~𝑠) ∨ (𝑝 ∧ 𝑟 ∧ 𝑡)

5. ¿Cuáles de las siguientes proposiciones son verdaderas?


a) ∼ [∼ (𝑝 ∧ 𝑞) ⟶ (~𝑞)] ≡ (𝑝 → 𝑞)

b) ~[(~𝑝) ↔ 𝑞] ≡ (𝑝 ↔ 𝑞)

c) ~{(𝑝 ∧ 𝑞) ∨ [𝑝 ∧ (∼ 𝑝 ∨ 𝑞)]} ≡ (𝑝 ⟶ ~𝑞)

6. Determinar los esquemas más simples equivalentes a las proposiciones:

7. Si T es una tautología y p, q son proposiciones, ¿cuáles de las siguientes afirmaciones son verdaderas?
a) {[(𝑝 ∧ 𝑇) ∨ (𝑞 ∧ ~𝑇)] ∧ (𝑝 ∨ 𝑞)} ⟷ 𝑝
b) {[(𝑝 ∨ 𝑞) ∨ (∼ 𝑝 ∧ ~𝑞)] ∧ (𝑝 ∨ 𝑞)} ⟷ 𝑇
c) {[(𝑝 ∨ 𝑞 ∨∼ 𝑇) ∧ ~𝑇] ∨ [(∼ 𝑝 ∧ 𝑇) ∨ 𝑇]} ⟷ 𝑇

8. Hallar una proposición equivalente a:


𝑃 = [(∼ 𝑝 ∧ 𝑞) ⟶ (𝑟 ∧ ~𝑟)] ∧ (∼ 𝑞)
9. Simplificar el esquema:
𝐴 = (∼ 𝑝 ∧ 𝑞) ⟶ (𝑞 ⟶ 𝑝)
10. Enunciar una proposición 𝑡 , lo más sencilla posible, que sea equivalente a 𝑅 ⟶ 𝑆
𝑅 = 𝑝 △ {(𝑝 △ 𝑞)⋁[(𝑟⋀ ∼ 𝑝) ∧ (𝑞 ∧∼ 𝑝)] ∨ (𝑝 ∧∼ 𝑞)}
𝑆 = (∼ 𝑝 ⟶ 𝑞) ∨ {[∼ 𝑞 ⟶ (𝑝 ∧ 𝑟)] ∧ (𝑝 ⟶ 𝑞)}
11. Si x e y son las proposiciones más simplificadas de los esquemas moleculares:

𝑃 = {𝑝 ∧ [(𝑞 ∧∼ 𝑟) ∨ (𝑟 ∨∼ 𝑞)]} ∧ [(𝑞 ∧∼ 𝑝) ∨ (∼ 𝑞 ∨ 𝑟)]

𝑄 = [∼ (∼ 𝑝 ⟶∼ 𝑞) ⟷ ~(𝑝 ∨ 𝑞)] ∨ [𝑝 ⟶ (𝑞 ∧ 𝑟 ∧∼ 𝑝)]

Respectivamente, hallar 𝑥 ∨∼ 𝑦

12.

También podría gustarte