Enfoque Axiomatico PDF

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 2

Autora: Daniela Serna Buitrago

Profesora Facultad de Ingeniería

Si bien el enfoque de modelos permite determinar la validez de una fórmula bien formada, a medida que
aumentan las variables se puede complicar el proceso; por esto nace el enfoque axiomático como un método
de demostración directo de la relación premisas – conclusión.

En este enfoque, para determinar la validez o invalidez de un enunciado, se emplea el uso de axiomas y
reglas de validez como argumento de cada paso intermedio en la relación de las premisas y la conclusión.

Axiomas Ax0
Un axioma es una fórmula bien formada tan obvia que a simple vista se puede determinar su validez. En la
lógica proposicional existen cuatro axiomas:

AP1. Axioma de idempotencia P⋁ P →P


AP2. Axioma de adjunción P→P⋁Q
AP3. Axioma de conmutatividad P⋁Q→Q⋁P
AP4. Axioma de adición (P → Q) → (R ⋁ P → R ⋁ Q)

Reglas de validez RT0


Son reglas que se deducen empleando los axiomas, y al comprobar su validez se les puede llamar
teoremas.

RV1. Modus Ponems P, P → Q Ⱶ Q

RV2. Sustitución Si dos fbf son equivalentes, en cualquier paso de la demostración se


puede reemplazar una por la otra.

RV3. Teorema de la deducción Dentro de las demostraciones se pueden adicionar supuestos para
complementar los argumentos de la deducción y poder demostrar la
validez de estos. El teorema de la deducción plantea que, si en algún

Universidad de Antioquia · Facultad de Ingeniería · Vicerrectoría de Docencia · Ude@ Educación Virtual 1


paso deductivo se genera un supuesto P, y a través de este se llega a
una conclusión Q, al paso siguiente este supuesto debe implicar
lógicamente la conclusión P → Q.

Teoremas TP
Existen muchos teoremas que se pueden derivar lógicamente a partir de los axiomas y reglas de validez, a
continuación se mencionan los más importantes:

TP1. Adjunción PⱵP⋁Q


TP2. Idempotencia ⱵP⋁P↔P
TP3. Conmutatividad Ⱶ (P ⋁ Q) ↔ (Q ⋁ P)
TP4. Adición P → Q Ⱶ (R ⋁ P) → (R ⋁ Q)
TP5. Modus Tollendo Ponems ¬P, P ⋁ Q Ⱶ Q
TP6. Ley del condicional QⱵP→Q
TP7. Silogismo P → Q, Q → R Ⱶ P → R
TP8. Medio Excluido Ⱶ ¬P ⋁ P
TP9. Doble negación Ⱶ P ↔ ¬¬P
TP10. Contrarrecíproco Ⱶ (P → Q) ↔ (¬Q → ¬P)
TP11. Simplificación de la conjunción P⋀QⱵP
TP12. Adición de la conjunción P, Q Ⱶ P ⋀ Q
TP13. Reducción al absurdo ¬P → Q ⋀ ¬Q Ⱶ P
TP14. Ley de Morgan – Disyunción Ⱶ ¬ (P ⋁ Q) ↔ ¬P ⋀ ¬Q
TP15. Ley de Morgan – Conjunción Ⱶ ¬ (P ⋀ Q) ↔ ¬P ⋁ ¬Q

En el material fundamental podrás encontrar un video explicativo de un ejemplo práctico de este proceso.

Universidad de Antioquia · Facultad de Ingeniería · Vicerrectoría de Docencia · Ude@ Educación Virtual 2

También podría gustarte

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy