FORMULARIO LÓGICA
CONECTIVOS LÓGICOS METODO INTERPRETATIVO
Conjunción o Conjuntiva 1) Dada la deducción, se establece en principio que todas las premisas son
verdaderas y la conclusión es falsa.
2) Mediante la asignación de valores de verdad a las proposiciones
componentes de la fórmula o premisa, se establece o corrobora el valor de
verdad verdadero atribuida, a esta en principio.
3) Si en este proceso se establece que cualquiera de las premisas, con los
valores de verdad atribuidos a las premisas, es falso, entonces existe una
contradicción, y por lo tanto la deducción es correcta.
Disyunción exclusiva FORMALIZACION
Negación
no p
no ocurre p
es falso que p
no es cierto que p
Conjunción
Disyunción inclusiva
pyq
peq
p no obstante q
p sin embargo q
p pero q
Condicional o Implicacion Disjunción
p o/u q
o bien p o bien q
al menos p o q
como minimo p o q
Implicación
p implica q
Bicondicional o Doble implicación p entonces q
solo si q entonces p
p suficiente para q
q necesario para p
no p a menos que q
Bicondicional o Doble Implicación
p implica q
FORMULA NORMAL DISYUNTIVA p entonces q
Y CONJUNTIVA solo si q entonces p
p suficiente para q
q necesario para p
no p a menos que q
LEYES DE ALGEBRA PROPORCIONAL
Propiedad Conmutativa Ex – Contradictione Quolibet
A Λ B <=> B Λ A AΛ~A→B
A ν B <=> B ν A Regla de Contraposición
Propiedad Asociativa (A→B)→(~B→~A)
( A Λ B ) Λ C <=> A Λ ( B Λ C ) Regla del Modus Ponens
( A ν B ) ν C <=> A ν ( B ν C ) A
Identidad A→B
A <=> A B
Idempotencia Regla Tollendo Ponens
AΛA→A A→B
AνA→A ~B
Absorción
A
AΛ(AνB)→A
Regla del Silogismo
Aν(AΛB)→A
A→B
Distributiva
B→C
A Λ ( B ν C ) <=> ( A Λ B ) ν ( A Λ C )
A ν ( B Λ C ) <=> ( A ν B ) Λ ( A ν C ) A→C
Regla del Producto Dilema Disyuntivo Simple
A,B→AΛB A→C
Regla de Simplificación B→C
AΛB→A AνB
AΛB→B C
Regla de Adición Dilema Disyuntivo Complejo
A→AνB A→C
B→AνB B→D
Producto Condicional AνB
A→B CνD
A→C Leyes de la bicondicional
A→BΛC A<=>
<=>BB = ( ~A ν B ) Λ ( A ν ~ B )
Regla de Importación – Exportación A<=>
A <=>BB= (AΛB)ν(~AΛ~B)
A→(B→C)→AΛB→C A<=>
<=>BB = (A→B)Λ(B→A)
(AΛB→C)→A→(B→C) A<=>
<=>BB = ~ (A∆B)
Regla del Absurdo
A→B Leyes de la identidad
A→~B AνV →V A <=> A =V
AΛF →F A <=> ~A =F
~A
AΛV→A A ∆ A =F
Doble Negación
AνF →A A ∆ ~A =V
~~A→A
Leyes de De Morgan
~(AΛB)→~Aν~B TEOREMA DE LA DEDUCCIÓN
~(AνB)→~AΛ~B
Reglas de Interdefinición P1 ; P 2 ; P 3 ; P 4 ;.......P n – 1 ; P n => Q
(A→B)→~AνB
(A→B)→~(AΛ~B)
TABLEUX SEMANTICO
1)
2)
3) α=> Q Q
P1
P2
P3
Pn
~P1 P2
~P2 P3
P3 Q
~Q
4)α=> ~Q
~Q
P1
P2
P3
Pn
~P1 P2
~P2 P3
~P3 Q
SISTEMA K SISTEMA L
AXIOMAS AXIOMAS
A1 : A → ( B → A) A1 : A → ( B → A)
A2 : (A → B) → { [A → (B → C)
C) ] → (A →C
→C))} A2 : [ A → (B → C)
C) ] → [ ( A → B) → (A → C) ]
A3 : A → [ B → (A
(A Λ B )] A3 : (A → B) → (~B → ~A)
~A)
A4 : (A Λ B ) → A ; (A Λ B ) → B
TEOREMAS
A5 : A → ( A ν B) ; B → ( A ν B)
T 1 : A → A (Identidad)
(Identidad)
A6 : (A → C) → { (B → C)
C) → [ ( A ν B) → C ] }
T 2 : ( A → B ) → [ ( B → C ) → ( A → C ) ] (Silogismo)
(Silogismo)
A7 : (A → B) → [(A
[(A → ~B) → ~A]
~A]
T 3 : A → ( ( A → B ) → B ) (Modus
(Modus Ponens)
A8 : ~~A → A
T 4 : ~ ~ A → A (Eliminación
(Eliminación Doble Negación)
TEOREMAS T 5 : A → ~ ~ A (Introducción
(Introducción Doble Negación)
T 1 : ( A → A ) (Identidad) T 6 : ( B → ~ A ) → ( A → ~ B ) (Contraposición
(Contraposición 1)
T 2 : ( A → B ) → [ ( B → C ) → ( A → C ) ] (Silogismo) T 7 : ( ~ A → B ) → ( ~ B → A ) (Contraposición
(Contraposición 2)
T 3 : A → [ ( A → B ) → B ] (Modus Ponens) T 8 : A → ( B → ~ ( A → ~ B ))
T4:(A→B)→[(A→C)→(A→BΛC)] T9:A→(~A→B)
(Ex – Contradictione Quolibet ( E.C.Q )) ( Ex – Contradictione Quolibet ( E.C.Q ))
T 5 : ( A → B ) → ( ~ B → ~ A ) (Producto Condicional) T 10 : ~(A→~B)→A
T 6 : ( A → B ) → ~ ( A Λ ~ B ) (Contraposición) T 11 : A → ~ ( A → ~ A )
T 7 : ( A → B ) → ~ A ν B (Interdefinción) T 12 : ( A → ~ A ) → ~ A
T 8 : ~ ( A Λ B ) → ~ A ν ~ B (Morgan entre Λ y ν) T 13 : ( ~ A → A ) → A
T 9 : ~ ( A ν B ) → ~ A Λ ~ B (Morgan entre ν y Λ) T 14 : ( A → C ) → [ ( B → C ) → ( ( ~ A → B ) → C ) ]
T 10 : A Λ B → B Λ A (Conmutativa) (Teorema del Dilema)
T 11 : A Λ ( B Λ C ) → ( A Λ B ) Λ C (Asociativa) T 15 : ( A → B ) → [ ( A → ~ B ) → ~ A ]
T12:: A Λ ( B ν C ) → ( A Λ B ) ν ( A Λ C )(
T12 )(Distributiva) ((Reducción
Reducción al Absurdo)
T 13 : A Λ A → A (Idempotencia) T 16 : ( A→B)→[(~A→B)→B]
T 14 : A Λ ( A ν B ) → A (Absorcion) T 17 : ( A → B ) → [ ( A → ( B → C )) → ( A → C ) ]
T 15 : A ν B → B ν A (Conmutativa) (Autodistribución
Autodistribución del Implicador)
T 16 : A ν ( B ν C ) → ( A ν B ) ν C (Conmutativa)
T17:: A ν ( B Λ C ) → ( A ν B ) Λ ( A ν C ) (Distributiva)
T17 REGLA DE INFERENCIA
T 18 : A ν A → A (Idempotencia)
T 19 : A ν ( A Λ B ) → A (Absorcion) A, A→B
T20 : ( A → ( B → C )) → (( A Λ B ) → C ) (Importacion)
T 21 : ( A Λ B → C ) → ( A → ( B → C )) (Exportacion)
T 22 : ( A <=> B ) → [ ( B → A ) → ( A → B ) ]
B
(Introducción del Co Implicador)
T 23 : ( A <=> B ) → ( A → B )
T 24 : ( A <=> B ) → ( B → A )
T 25 : A <=> A
DEDUCCIÓN NATURAL
Regla de la Conjunción
Regla de la introducción Λ Regla de la eliminación Λ
A
AΛB AΛB
B
A A
AΛB
Regla de la Conjunción
Regla de la introducción ν Regla de la eliminación ν
A B A→C; B→C
AνB AνB (A Λ B) → C
Regla de la Negación
Regla de la introducción ~ Regla de la eliminación ~
A → B ; A → ~B ~~A
~A A
Regla de la Implicación
Implicación
Regla de la introducción → Regla de la eliminación →
A => B A→B
A
A→B
B
REGLAS DERIVADAS POR DEDUCCION NATURAL
Silogismo Distributiva Λ ν
Idempotencia Λ
Mutación de
premisas
Absorción Λ
Identidad
Conmutativa
Introducción de Disyunción
Antecedente
Asociativa
Disyunción
Conmutativa
Conjunción
Distributiva ν Λ
Asociativa
Conjunción
REGLAS DERIVADAS POR DEDUCCION NATURAL
Idempotencia ν Interdefinición ν →
Absorción ν
Interdefinición Λ →
Modus
Tollens
De Morgan Λ ν
Contraposición
De Morgan ν Λ
Introducción ~~
DDS
ECQ
Tollendo
Ponens DDC
Importación
Exportación
