Scribd
Cargar
398 vistas2 páginas

Proposiciones y Reglas de Inferencia

Este documento presenta tablas de proposiciones lógicas equivalentes y reglas válidas de inferencia. La primera tabla enumera 13 equivalencias lógicas entre proposiciones como la ley de la contrapuesta, la equivalencia de la implicación, y las leyes de De Morgan. La segunda tabla describe 5 reglas de inferencia válidas como modus ponens, modus tollens, silogismo hipotético y silogismo disyuntivo.

Cargado por

Christian Mayorga
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
398 vistas2 páginas

Proposiciones y Reglas de Inferencia

Este documento presenta tablas de proposiciones lógicas equivalentes y reglas válidas de inferencia. La primera tabla enumera 13 equivalencias lógicas entre proposiciones como la ley de la contrapuesta, la equivalencia de la implicación, y las leyes de De Morgan. La segunda tabla describe 5 reglas de inferencia válidas como modus ponens, modus tollens, silogismo hipotético y silogismo disyuntivo.

Cargado por

Christian Mayorga
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

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO

FACULTAD DE QUÍMICA • ÁLGEBRA SUPERIOR


EJERCICIOS • GRUPO 18 • 2019-1

TABLA DE PROPOSICIONES EQUIVALENTES


Sean A, B, C proposiciones; T una tautologı́a y ∅ un absurdo.

1) A → B ≡ ¬B → ¬A Ley de la Contrapuesta.

2) A → B ≡ ¬A ∨ B Equivalencia de la Implicación.

3) ¬(A → B) ≡ A ∧ ¬B Negación de la Implicación.

4) (A ∨ B) ∨ C ≡ A ∨ (B ∨ C) Ley asociativa para la disyunción.

4’) (A ∧ B) ∧ C ≡ A ∧ (B ∧ C) Ley asociativa para la conjunción.

5) A ∨ B ≡ B ∨ A Ley conmutativa para la disyunción .

6) A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) Ley distributiva de la conjunción respecto a la disyunción .

7) A ∨ (B ∧ C) ≡ (A ∨ B) ∧ (A ∨ C) Ley distributiva de la disyunción respecto a la conjunción .

8) ¬(A ∨ B) ≡ ¬A ∧ ¬B Ley de De Morgan: Negación de la disyunción .

9) ¬(A ∧ B) ≡ ¬A ∨ ¬B Ley de De Morgan: Negación de la conjunción .



 10)A ∨ T ≡ T ,
11)A ∧ T ≡ A,

Leyes de Idempotencia (4)

 12)A ∨ ∅ ≡ A ,
13)A ∧ ∅ ≡ ∅ ,

12) ¬¬A ≡ A. Ley de la Doble Negación .

1
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO
FACULTAD DE QUÍMICA • ÁLGEBRA SUPERIOR
EJERCICIOS • GRUPO 18 • 2019-1

TABLA DE REGLAS VÁLIDAS (O LEYES) DE INFERENCIA




 P →Q



M odus P onens (M.P.) (1) P




∴ Q



 P →Q



M odus T ollens (M.T.) (2) ¬Q




∴ ¬P



 P →Q



Silogismo Hipotético (S.H.) (3) Q→R




∴ P →R



 P ∨Q



Silogismo Disyuntivo (S.D.) (4) ¬Q




∴ P



 P



Absurdo (A) (5) ¬P




∴ Q


 P ∧Q P ∧Q
Ley de Simplif icación (L.S.) (6)
∴ Q ∴ P

También podría gustarte