Lgica Proposicional: enfoque axiomtico Clculo Proposicional

ALFABETO. SIGNOS PRIMITIVOS Signos proposicionales primarios Signos de puntuacin Signos para conectivos lgicos primitivos ALFABETO. SIGNOS COMPLEMENTARIOS Conectivos lgicos secundarios:

p, q, r, , p , q , r ,

Parntesis izquierdo y derecho. , , , ,

REGLAS BSICAS DE FORMACIN DE FRMULAS

Definicin de formas proposicionales simples RF1. Cualquier elemento del conjunto

es un a fbf

Definicin de formas proposicionales negadas RF2. Si R es una fbf, entonces R es una fbf. Definicin de formas proposicionales disyuntivas RF3. Si R y S son fbfs, entonces R S es una fbf. Definicin de formas proposicionales agrupadas RF4. Si R es una fbf, entonces R tambin es una fbf
REGLAS COMPLEMENTARIAS DE FORMACIN DE FRMULAS

Definicin de formas proposicionales conjuntivas RF5. Sean R y S fbfs, entonces la frmula R S se considera bien formada, y se define como: R S Definicin de formas proposicionales condicionales RF6. Sean R y S fbfs, entonces la frmula R S se considera bien formada, y se define como: R S Definicin de formas proposicionales bicondicionales RF7. Sean R y S fbfs, entonces la frmula R S se considera bien formada, y se define como: R S S R
AXIOMAS Idempotencia Adjuncin Conmutatividad Adicin.

P P P P Q Q

P P Q R

P Q P R Q
1

Carlos Mario Sierra Duque

REGLAS DE VALIDS, O DE INFERENCIA, BSICAS Modus Ponems Sustitucin

P, P

Si P y Q son fbfs lgicamente equivalentes, una puede sustituir a la otra en cualquier parte de una demostracin.

REGLAS DE VALIDS, O DE INFERENCIA, DEDUCIBLES Adjuncin Teorema P1 Conmutatividad de la disyuncin Teorema P2 Inferencia disyuntiva Teorema P3 Modus Tollens Teorema P4 Construccin de condicionales Teorema P5a Teorema P5b Silogismo Teorema P6 Medio excluido Teorema P7 Teorema P8 Adicin con a la condicional Teorema P9a Teorema P9b Teorema P9c Teorema P9d Doble negacin Teorema P10a Teorema P10b Contra-recproco Teorema P11a Teorema P11b Propiedades de la conjuncin Teorema P12a Teorema P12b Conmutatividad de la conjuncin Teorema P13 Reduccin al absurdo Teorema P14 Adicin de condicionales con Teorema P15

P
P Q

P Q Q

P
Q P

P, P Q, P

Q P P P

Q Q P
P P

Q, Q

R
P

P P P P

Q Q Q Q

P P R R

R R P P

R Q R Q Q R

P P P P

P
Q

Q P P P Q

P Q P P, Q P Q P P Q Q P

R R S P R

P Q S
2

Q, R

Carlos Mario Sierra Duque

Adicin de condicionales con Teorema P16 Silogismo disyuntivo Teorema P17 Adicin con a la condicional Teorema P18a Teorema P18b Teorema P18c Teorema P18d

Q, R

S R, Q P P R R

P R T R R P P

Q S R T R

P Q, P P P P P Q Q Q Q

R Q R Q Q R

Lgica Proposicional: enfoque axiomtico

OTRAS REGLAS DE VALIDS, O DE INFERENCIA, DEDUCIBLES : LEYES O PROPIEDADES DEL SISTEMA AXIOMTICO PROPOSICIONAL Ley Idempotencia de la conjuncin Teorema P19 Ley Idempotencia de la disyuncin Teorema P20 Ley asociativa de la disyuncin Teorema P20 Ley asociativa de la conjuncin Teorema P21 Ley conmutativa de la conjuncin Teorema P22 Ley conmutativa de la disyuncin Teorema P23 Ley distributiva de la conjuncin respecto de la disyuncin Teorema P24 Ley distributiva de la disyuncin respecto de la conjuncin Teorema P25 Ley de DeMorgan sobre la disyuncin Teorema P26 Ley de DeMorgan sobre la conjuncin Teorema P27 Teorema P28 Teorema P29 Ley del Contra-recproco Teorema P30

P P P P P Q P Q R R P P

P P Q R Q R

P Q P Q P P Q R Q R
P P P P Q Q

Q P Q P P Q P Q
P P

P R P R
Q Q

Q Q

P Q
P Q Q P

3 Carlos Mario Sierra Duque