I.

LGICA PROPOSICIONAL
A) Deduccin natural

Reglas primitivas
Regla de supuestos (S)
A A

Modus ponens (MP) Modus tollens (MT)

A B A B
A B

, B , A

Doble negacin (DN) Prueba condicional (PC)

A A , A B

A A A B

Introduccin de conjuncin (I) Eliminacin de conjuncin (E)

A A B A B

B A B

, A B

Introduccin de disyuncin (I) Eliminacin de disyuncin (E)

A A A B

A B B A , A C
, B C

, , C

Reduccin al absurdo (RA) Definicin del bicondicional (Df)

, A B B A B =df (A B) (B A)

A

1

Reglas derivadas para el condicional

Modus ponendo tollens (MPT) Modus tollendo ponens (MTP)

A B A B
B B

, A , A

Contraposicin (Cp)
A B A B A B A B

B A B A B A B A

Transitiva del condicional (Tr) Mutacin de premisa (MPr)

A B A (B C)
B C
B (A C)
, A C

Paradojas del condicional (Pj) Distributiva del condicional en condic. (Dt)

A A A (B C)

B A A B (A B) (A C)

Distributiva del condicional en conjuncin (Dt)

A B C (A B) (A C)

(A B) (A C) A B C

Distributiva del condicional en disyuncin (Dt)

A B C (A B) (A C)

(A B) (A C) A B C

Reglas derivadas para la conjuncin

Conmutativa de la conjuncin (Cm) Asociativa de la conjuncin (As)

A B A (B C)

B A (A B) C

Distributiva de la conjuncin (Dt)

A (B C) (A B) (A C)

(A B) (A C) A (B C)

Exportacin (Exp) Importacin (Imp)

A B C A (B C)

A (B C) A B C

Silogismo conjuntivo (SC)

(A B) (A B)
A B

, B , A

2
 Reglas derivadas para la disyuncin

Conmutativa de la disyuncin (Cm) Asociativa de la disyuncin (As)

A B A (B C)

B A (A B) C

Distributiva de la disyuncin (Dt)

A (B C) (A B) (A C)

(A B) (A C) A (B C)

Dilema simple (DilS) Dilema complejo (DilC)

A C A C
B C B D

, A B C , A B C D

Silogismo disyuntivo (SD)

A B A B
A B

, B , A

Reglas derivadas para el bicondicional

Eliminacin del bicondicional (E) Introduccin del bicondicional (I)

A B A B A B
B A
A B B A
, A B

Separacin del bicondicional (Sp) Transitiva del bicondicional (Tr)

A B A B A B
A B B C

, B , A , A C

Reglas derivadas de negacin

Ex contradictione quodlibet (ECQ)

A
A A A

B , B

Teoremas

Principio de no contradiccin (PNC) Principio de tercero excluido (PTE)

(A A) A A

3
 Reglas derivadas de interdefinicin

Interdefinicin de condicional y conjuncin (ID)

A B (A B) (A B) A B

(A B) A B A B (A B)

Interdefinicin de conjuncin y condicional (ID)

A B (A B)

(A B) A B

Interdefinicin de condic. y disyuncin (ID) Interdefinicin de disyuncin y condic. (ID)

A B A B A B A B

A B A B A B A B

Leyes de De Morgan (DM)

A B (A B) A B (A B)

(A B) A B (A B) A B

(A B) A B (A B) A B

A B (A B) A B (A B)

I. LGICA PROPOSICIONAL
B) Reglas semnticas

Tablas de verdad

A A A B A B A B A B A B
V F V V V V V V
F V V F F V F F
F V F V V F
F F F F V V

Resolucin veritativo-funcional
Para la negacin
(Estas cuatro reglas se aplicarn directamente,

V F V F sustituyendo V por F y F por V, y

F V V F suprimiendo tambin directamente )

Para la conjuncin Para la disyuncin

A V V A A F F A A V V A A F F A

A A F F V V A A

Para el condicional Para el bicondicional

A V V A A F F A A V V A A F F A

V A A V A A A A

I. LGICA PROPOSICIONAL
C) rboles

Reglas
Para la negacin
A

A
Para la conjuncin Para la disyuncin
A B (A B) A B (A B)

A A B A B A
B B

Para el condicional Para el bicondicional

A B (A B) A B (A B)

A B A A A A A
B B B B B

II. LGICA DE PREDICADOS

A) Deduccin natural

Reglas primitivas
Eliminacin del universal (E) Introduccin del universal (I)
v P(v) P(k)

P(k) v P(v)
donde P(k) es el resultado de sustituir v por k, en donde v es una variable que no aparece en P(k), y
todas sus apariciones en P(v) P(v) es el resultado de sustituir k por v, en todas
sus apariciones en P(k)
Restriccin: k no puede aparecer en

Introduccin del existencial (I) Eliminacin del existencial (E)

P(k) v P(v)

v P(v) , P(k) A

donde v es una variable que no aparece en P(k), y , A
P(v) es el resultado de sustituir k por v, al menos donde P(k) es el resultado de sustituir v por k, en
en una de sus apariciones en P(k) todas sus apariciones en P(v)
Restriccin: k no puede aparecer en A, ni en , ni
en

Reglas derivadas
Definicin de (Df) Definicin de (Df)
v P(v) v P(v) v P(v) v P(v)

v P(v) v P(v) v P(v) v P(v)

Negacin de (N) Negacin de (N)

v P(v) v P(v) v P(v) v P(v)

v P(v) v P(v) v P(v) v P(v)

II. LGICA DE PREDICADOS

B) rboles

Reglas
Para cuantificadores negados
v P(v) v P(v)

v P(v) v P(v)

Para el cuantificador existencial

v P(v)

P(k) donde P(k) es el resultado de sustituir v por k, en todas sus

apariciones en P(v), siendo k nueva para la rama

Para el cuantificador universal

v P(v)

P(k) si P(k) no aparece previamente en la rama, y donde P(k) es el

resultado de sustituir v por k, en todas sus apariciones en P(v),
siendo k nueva para la rama slo si no aparece ninguna constante
en la rama

III. LGICA DE PREDICADOS CON IDENTIDAD

A) Deduccin natural

Reglas primitivas
Introduccin de identidad (I=) Eliminacin de identidad (E=)
k=j
k=k P(k)

, P(j)
donde P(j) es el resultado de sustituir k por j, al
menos en una de sus apariciones en P(k)

Regla derivada
Conmutativa de la identidad (C=)
k=j

j=k

B) rboles

Reglas
Regla de diversidad Regla de identidad
k=j j=k
P(k) P(k)
kk
P(j) P(j)
si P(j) no aparece previamente en la rama y donde
P(j) es el resultado de sustituir k por j, al menos en
una de sus apariciones en P(k)