Scribd
Cargar
5 vistas1 página

Teoremas y Demostraciones en Lógica Proposicional

El documento presenta una serie de ejercicios y teoremas relacionados con la lógica proposicional, incluyendo demostraciones de implicaciones y propiedades de conjuntos. Se abordan teoremas específicos que deben ser probados, así como la aplicación de leyes y reglas de la lógica. Además, se incluyen proposiciones que requieren demostración formal para validar sus relaciones lógicas.

Cargado por

miyamotoa696
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
5 vistas1 página

Teoremas y Demostraciones en Lógica Proposicional

El documento presenta una serie de ejercicios y teoremas relacionados con la lógica proposicional, incluyendo demostraciones de implicaciones y propiedades de conjuntos. Se abordan teoremas específicos que deben ser probados, así como la aplicación de leyes y reglas de la lógica. Además, se incluyen proposiciones que requieren demostración formal para validar sus relaciones lógicas.

Cargado por

miyamotoa696
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

Lógica.

Clase práctica 8

1. Sean A y B dos fórmulas de la lógica proposicional. Demuestre que si A implica


lógicamente a B y tenemos una teorı́a T de la que se deduce la proposición A entonces
de dicha teorı́a también se deduce la proposición B.

2. Demuestre los siguientes teoremas:

a. T ` P ⇒ P
b. T, P, P ⇒ Q ` P ∧ Q
c. T, [P ∧ Q] ⇒ R, Q ⇒ P, Q ` R
d. T, P ⇒ Q, Q ⇒ R ` P ⇒ [Q ∧ R]
e. T, P ` Q ⇒ P
f. T, P ⇒ [Q ⇒ R] ` Q ⇒ [P ⇒ R]
g. T, P ∨ [Q ∧ R] ` P ∨ Q
h. T, P ` [P ⇒ Q] ⇒ Q
i. T, P ⇒ Q ` [Q ⇒ R] ⇒ [P ⇒ R]

3. Demuestre que:

a. (A ∪ B)c = Ac ∩ B c
b. (A ∩ B)c = Ac ∪ B c

4. Demuestre utilizando las Leyes y Reglas de la Lógica Proposicional que se cumple el


teorema:

a. T, d ⇒ [h ∧ n], j ⇒ [d ∨ e ∨ h], e ⇒ h ` [j ∧ z] ⇒ h
b. T, r ⇒ [g ∧ p], [p ∧ t] ⇒ [c ∨ e], e ⇒ [j ∧ c] ` [r ∧ t] ⇒ [c ∧ g]

5. Demuestre formalmente las siguientes proposiciones:

a. [A ⇒ [B ∧ C]] V [[A ⇒ B] ∧ [A ⇒ C]]


b. [A ⇒ B] V [[A ∧ C] ⇒ B]

6. Demuestre formalmente:

a. T, p ⇒ q, r ⇒ s, ¬q ∨ ¬s ` ¬p ∨ ¬r
b. T, [p ⇒ q] ⇒ [q ⇒ p] ` q ⇒ p

También podría gustarte