Formulario de Leyes Lógicas
Formulario de Leyes Lógicas
Formulario de Leyes Lógicas
ESQUEMA
DIRECTA
(pq)
CONDICIONAL
ORDENADA:
p implica a q
p por lo tanto q
p luego q
p consecuentemente q
Ya que p entonces q
Puesto que p entonces q
Siempre que p entonces q
Dado que p entonces q
De p deviene q
p condiciona a q
p solo cuando q
p es condicin suficiente para q
p solo si q
ESQUEMA
CONDICIONAL
INVERSA O DESORDENADA:
(pq)
p porque q
p, si q
p se concluye (deduce, infiere) de q
p siempre que q
p pues q
p cada vez que q
p dado que q
p ya que q
p puesto que q
p supone que q
p en vista que q
p deviene de q
ESQUEMA BICONDICIONAL
COIMPLICADOR: (pq)
TABLAS DE VERDAD
Conjuncin
p
V
V
F
F
q
V
F
V
F
(p q)
V
F
F
F
q
V
F
V
F
(p q)
V
V
V
F
q
V
F
V
F
(p q)
V
F
V
V
Condicional
p
V
V
F
F
Bicondicional
p
V
V
F
F
q
V
F
V
F
(p q)
V
F
F
V
p
V
V
F
F
q
V
F
V
F
(p q)
F
V
V
F
Negacin
p
V
F
p
F
V
TIPOS DE MATRIZ
RESULTANTE
Tautologa (T)
Cuando en el resultado final de una
tabla de verdad se obtiene una
columna de valores verdaderos. En
este caso concluimos que el
razonamiento
o
argumento
evaluado es vlido.
Contradiccin (C)
Cuando en el resultado final de una
tabla de verdad se obtiene una
columna de valores falsos. En este
caso
concluimos
que
el
razonamiento
o
argumento
evaluado no es vlido.
Contingencia (C)
Cuando en el resultado final de una
tabla de verdad se obtiene una
columna de valores alternados
entre verdaderos y falsos. En este
caso
concluimos
que
el
razonamiento
o
argumento
evaluado tampoco es vlido.
PRINCIPALES LEYES
LGICAS O
TAUTOLGICAS
Los Tres Principios
Clsicos
Lgicos
1. Ley de identidad
Una proposicin slo es idntica
a s misma
ppT
ppT
2. Ley de no contradiccin
Una proposicin no puede ser
verdadero y falso a la vez
(p q) T
3. Ley del tercio excluido
Una proposicin es verdadero o
es falso no hay una tercera
posibilidad
p p T
Equivalencias Notables
2. Ley de la Idempotencia
ppp
ppp
3. Leyes Conmutativas
(p q) (q p)
(p q) (q p)
(p q) (q p)
(p q) (q p)
4. Leyes Asociativas
(pq)r p(qr) (pqr)
(pq)r p(qr) (pqr)
(pq)r p(qr)
5. Leyes Distributivas
p (q r) (p q) (p r)
p (q r) (p q) (p r)
p (q r) (p q) (p r)
p (q r) (p q) (p r)
6. Leyes de Morgan
(p q) p q
(p q) p q
7. Leyes de la Condicional o
Implicador
p q p q
(p q) p q
8. Leyes del Contrarecproco del
Implicador
p q q p Transposicin
q p p q Contraposicin
9. Leyes de la Bicondicional o
Coimplicador
p q (p q) (p q)
p q (p q) (p q)
p q (p q) (q p)
p q (p q)
10. Leyes de
Fuerte
la
Disyuncin
p q (p q) (p q)
p q (p q) (p q)
p q (p q) (p q)
11. Leyes de Absorcin
p (p q) p
p (p q) p q
p (p q) p q
p (p q) p
p (p q) p q
p (p q) p q
12. Elementos Neutros
pTp
pCC
pTT
pCp
p p C
p p T
T C
C T
13. Leyes Adicionales
(p q) (p q) p
(p q) (p q) p
DEDUCCIN NATURAL
REGLAS DE INFERENCIA
1. Modus
(MPP)
Ponendo
Ponems
Tolendo
Tollens
(p q) q p
P1: p q
P2: q
________
p
4. Silogismo Hipottico (SH)
(p q) q p
P1: p q
P2: q
________
p
7. Simplificacin
(SC)
Conjuntiva
(p q) (q r) (p r)
P1: p q
P2: q r
________
pr
5. Ley de Adicin (LA)
Dada una proposicin se puede
concluir la misma proposicin
adicionada a cualquier otra
proposicin. El esquema queda
as:
P1: p
________
pq
P2: p q
________
q
Si en una condicional, el
antecedente est unido a una
contradiccin; entonces se
concluye en la negacin del
antecedente.
El
esquema
queda as:
C
P1: p (q q)
______________
p