En el captulo anterior hemos citado un conjunto de reglas equivalentes que nos permiten

transformar frmulas; donde a partir de una frmula A encontramos otra frmula B

equivalente. Sin embargo este mtodo resulta insuficiente de un conjunto de premisas.
Es necesario entonces introducir leyes lgicas que nos permitan obtener conclusiones
vlidas pero que no sean equivalentes; a estas leyes tambin se le llaman implicaciones
lgicas; las cuales sern expresadas en forma de regla con el objeto de facilitar la
operatividad en la derivacin.
Las implicaciones a diferencia de las equivalencias, tambin pueden ser deducciones
mediatas porque parten de una premisa o conjunto de premisa para interrelacionarlas y
llegar a una conclusin vlida lgicamente.
Es importante saber distinguir los conceptos condicional e implicacin; porque la no
distincin de estos conceptos ha generado entre otros problemas, la "Paradoja de la
implicacin material", donde se considera el operador como implica en vez de
leerlo como smbolo de si entonces.
Se dice que:
A implica a B cuando unidos por el condicional, A como antecedente y B como
consecuente, la relacin es vlida o mejor dicho, su esquema condicional resulta ser
tautolgico.
IMPORTANTE

Ejemplo:
Sea :
A=pq
B=pq
AB

Si A implica a B entonces A B representa un

esquema tautolgico.
Si A B es tautolgico entonces A implica en B.

Analicemos en las tablas de verdad

los valores matriciales de la frmula
(p

q)

(p

q)

Como vemos, el esquema condicional es Tautolgico, luego podemos decir recin que
(pq) implica a (pq) o que A implica a B. Este ejemplo nos muestra que no es lo
mismo el concepto condicional Si A entonces B con el concepto implicacin A implica a
B.
Cabe aclarar que si una frmula A es equivalente a una frmula B entonces podemos
decir que A implica a B

Si A B A implica a B
2

Pero esto no quiere decir que si A implica a B entonces A es equivalente a B.

Si A implica a B
A B
Por lo tanto la relacin es de inclusin y la podemos representar como :

Implicacin
Equivalencia
Existen dos tipos de representar una implicacin :
Cada implicacin lgica es una frmula condicional tautolgica. Existen 2 maneras de
representarlas y son:
Forma Vertical Forma Horizontal

P1

P2

P3 (P1 P2 P3 ... Pn )

Pn

C
A continuacin te mostramos un pequeo resumen de las principales implicaciones lgicas
conocidas como Implicaciones Notables.
CONJUNCION

SIMPLIFICACION

SILOGISMO
HIPOTETICO

ADICION

REDUCCION AL
ABSURDO

REGLAS DE IMPLICACION

AXIOMAS DE KLEENE

DILEMA

PONENDO
PONENS

TOLLENDO
TOLLENS

CONSTRUCTIVO

PONENDO
TOLLENS

TOLLENDO
PONENS

DESTRUCTIVO
3

PRINCIPALES IMPLICACIONES O IMPLICACIONES NOTABLES

AXIOMAS DE KLEENE
Modos .- En su estructura constan de dos
premisas y una conclusin; son 4 modos
diferentes validos solo para determinados
conectores.
1. Ponendo Ponens (Afirmando afirmo)
Regla
:
La
afirmacin
del
antecedente, implica la afirmacin
del consecuente.
Conectores : (, )
P1: A B
P2: A
C:

2. Tollendo - Tollens (Negando Niego)

Regla:
La
negacin
del
consecuente, implica la negacin
del antecedente.
Conectores : ( , )

P1: A
P2:

B
-B

[(A B) -B] -A

B
-B

[(A B) -B] -A

C: -A

[(A B) A] B

P1: A
P2:

C: -A
P1: A B
P2: A
C:

[(A B) A] B

P1:
P2:

C:
P1: A
P2:

B
B

A
-A

B
[(A B) -A] -B
-B

[(A B) B] A

C: A

Falacia
EXCEPCIN

Falacia

Cuando el conector en la primera

premisa es condicional, la negacin del
antecedente no implica la negacin del
consecuente (Falacia Formal)

EXCEPCIN

Cuando el conector en la primera

premisa es condicional, la afirmacin
del consecuente no implica la
afirmacin del antecedente (Falacia
Formal).
4

3. Ponendo - Tollens (Afirmando - Niego)

5. Silogismo Categrico o hipottico

puro:
Es una forma de razonamiento que
consta
de
dos
premisas
(condicionales) y una conclusin.
Regla: Las dos premisas deben
tener forma condicional. Tiene que
existir un trmino medio (que
aparezca tanto en la primera como
en la segunda premisa).

Regla: La afirmacin de una de las

variables de la primera premisa
implica la negacin de la otra
variable.
Conectores : ( V )

P1:

P2:

B
[(A

B) A]
-B

C:

Conectores : ()

-B

P1:

P2:
C:

B) B]

[(A

-A

P1: A

P2: B

C: A

P1: B

P2: C

C: C

[(AB) (B C)] (A
C)

-A

4. Tollendo - Ponens (Negando - Afirmo)

Regla : Al negar una de las
variables de la primera premisa,
concluimos en la afirmacin de la
otra variable.

EXCEPCINES

Conectores : ( , )

P1:

P2:

-A

El trmino medio no puede ser causa en

ambas premisas, ni tampoco ser en las
dos premisas efecto.

B
[(A

B) - A]
B

C:

P1:

P2:
C:

-B

[(A

B) - B]

P1:

P2:

C:

6. Transitividad Simtrica: Es similar al

Silogismo Hipottico Puro pero en este
caso no importa la ubicacin del
trmino medio en las premisas.
Regla : Las dos premisas deben
tener representacin Bicondicional,
Conector : ()

B
-B

NOTA

No hay problema al trabajar con el

Bidisyuntor en cualquiera de las dos reglas
anteriores (3 y 4)

P2: C

Falacia

P1: A
C:

A
A
-A

[(BA) (C B)] (C
A)

P 1 : A B
P2: B C
A C

P 1 : A B
P2: C B
A C

P1: B A
P2: C B
A C

P1: B A
P2: B C
A C

9. Adicin: Deduccin inmediata donde se

agrega
una
nueva
proposicin
adicional:
Regla: De una premisa se puede
concluir la disyuncin de la misma
con cualquier otra frmula.

7. Conjuncin: Consta de dos premisas y

una conclusin.
Regla : De un conjunto de
premisas se puede concluir en la
conjuncin de las mismas.
Conectores : (, en la conclusin)
P1:
P2:

A
B

C:

AB

AB

C:

P1:

C:

AB

(v,

en

la

(A ) (A B )

EXCEPCIONES

La adicin en la conclusin slo es vlida

con el disyuntor; mas no con el conjuntor.

(A B) (A B)

8. Simplificacin: Es una deduccin

inmediata porque est formada por una
sola premisa y una conclusin.
Regla : Si se tiene como premisa
una frmula conjuntiva podemos
simplificar
y
aceptar
como
conclusin a una de sus variables o
componentes.
Conectores : ()
P1:

Conectores:
conclusin)

Falacia
10. Dilemas
1. Dilema Constructivo:

(A B) (A)

EXCEPCIONES

No es posible aplicar la simplificacin

cuando la premisa es una formula
disyuntiva.

P1
P2
P3

A
C
A

B
D
C

P1
P2
P3

A
C
A

B
D
C

C:

C:

B
D
-

P1
P2
P3

C:

A
C
-B
D
-A
C

2. Dilema Destructivo :
P1
P2
P3
C:

Falacia
6

A
C
-B
D
-A
C

B
D
-