Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ejemplo:
Sea :
A=pq
B=pq
AB
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
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
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:
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
EXCEPCIN
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
EXCEPCINES
Conectores : ( , )
P1:
P2:
-A
B
[(A
B) - A]
B
C:
P1:
P2:
C:
-B
[(A
B) - B]
P1:
P2:
C:
B
-B
NOTA
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
A
B
C:
AB
AB
C:
P1:
C:
AB
(v,
en
la
(A ) (A B )
EXCEPCIONES
(A B) (A B)
Conectores:
conclusin)
Falacia
10. Dilemas
1. Dilema Constructivo:
(A B) (A)
EXCEPCIONES
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
-