Professional Documents
Culture Documents
Bicondicional
Disyuncin
Exclusiva
O bien p
o bien q
Disyuncin
Conjuncin
Condicional
Entonces
A a menos que B
A a no ser que B
A excepto que B
AoB
A o en todo caso
B
A o incluso B
A o tambin B
A salvo que B
A salvo que
tambin B
A y bien, o
tambin B
A ya bien, o
incluso B
A y/o B
A o bien B
A a la vez B
A al igual que B
A al mismo tiempo B
A a pesar B
A adems B
A as como B
A as tambin B
A aun cuando B
A aunque B
A de la misma forma
B
A de la misma manera
B
A del mismo modo B
A empero B
A es compatible con B
A junto con B
A incluso B
A igualmente B
A mas bien B
A no obstante B
A pero B
A simultneamente B
A sin embargo B
A tal como B
A tambin B
A tanto como B
A vemos que tambin
B
Conjuntamente A con
B
No solo A tambin B
A condicin de que A, B
A de ah que B
A de manera que B
A de modo que B
A en consecuencia B
A es suficiente para B
A es una condicin suficiente
para B
A implica B
A luego B
A por consiguiente B
A por lo tanto B
A solo si B
Cada vez que A, B
Cada vez que A
consiguientemente B
Como quiera que A por lo cual
B
Con la condicin de A esto trae
consigo B
Con tal que A es obvio que B
Cuando A, B
Cuando A as pues B
Dado A por eso B
Dado que A entonces B
De A concluimos en B
De A deducimos en B
De A derivamos B
De A deviene B
Es suficiente A para B
Para A es necesario B
Porque A, B
A o B (pero no
ambos)
A salvo que solo B
A salvo que
nicamente B
A o solamente B
A o solo B
A o tan solo B
A y bien, o tambin
nicamente B
OAoB
O bien A o bien B
O solo A o solo B
Es negable que A
No es cierto que A
Es objetable que A
Es refutable que A
Es totalmente falso que A
Imposible que sea A
Jams de cumple que A
Jams se da que A
Jams se verifica que A
No acaece que A
No es cierto que A
No es concebible que A
No es el caso que A
No es verdad que A
Carece de todo sentido
que A
Definitivamente no se da
que A
De ninguna forma se da
que A
De ninguna manera se da
que A
Es absurdo que A
Es errneo que A
Es falso que A
Es imposible que A
Es inaceptable que A
Es inadmisible que A
Es incierto que A
Es inconcebible que A
Es incorrecto que A
Es insostenible decir que
SI Y SOLO SI
Negacin
No
Si A, B
Si A entonces B
Ya que A entonces B
Toda vez que A en
consecuencia B
A
Es inverosmil que A
Es mentira que A
No ocurre que A
Se rechaza que A
Nunca se da que A
NOMBRE
Disyunci
n
Conjunci
n
Condicion
al
SIGNIFIC
ADO
Entonces
Bicondicio
nal
Si y solo
si
Disyuncin
Exclusiva
O bien p
o bien q
V
V
F
F
V
F
V
F
V
V
V
F
V
F
F
F
V
F
V
V
V
F
F
V
F
V
V
F
NOMBRE
Negacin
SIGNIFIC
ADO
p
No
V
F
F
V
p
- De la disyuncin: (p q)
(q p)
Conmutatividad
- De la conjuncin: (p
q)
(q p)
- De la disyuncin: (p q) r
[p (q r)]
Asociatividad
- De la conjuncin: (p q) r
[p (q r)]
- De la disyuncin: p (q r)
[( p q) ( p
r]
Distributividad
- De la conjuncin: p (q r )
[( p q) ( p
r]
- De la disyuncin: (p p)
p
Idempotencia
- De la conjuncin: (p p)
p
- De la disyuncin: ~ (p q)
(~ p
~ q)
Leyes de De Morgan
- De la conjuncin: ~ ( p q )
(~ p
~q)
- De la disyuncin: p (p q)
p
- De la conjuncin: p (p q)
p
Absorcin
- De la disyuncin: p (~p q)
pq
- De la conjuncin: p (~p q)
pq
pq
(p) q
Condicional
(p q)
p (q)
pq
(q) (p)
pq
(p q) (q p)
pq
(p q) [(p) (q)]
Bicondicional
pq
(p q)
pq
(q) (p)
pq
(p q)
pq
(p q) (p q)
Disyuncin Exclusiva
pq
(p q) (q p)
pq
(p q) (q p)
Del Complemento
( p p)
V
(tautologa) (tercio
excluido)
NOMBRE
Doble Negacin
( p p)
F
(contradiccin)
pq
V
(tautologa)
pq
F
(contradiccin)
Pv V
V
P F
F
Identidad
Pv F
P
P F
P
P V
P
PV
P
INFERENCIAS LGICAS
Es una estructura de proposiciones llamadas premisas, en base a las cuales inferimos otra
proposicin llamada conclusin. Tambin podemos sostener que es el proceso de pasar de
un conjunto de premisas a una conclusin.
Esquema Lineal:
Esquema Vertical:
P1
(P1 P2 Pn) C
P2
.
.
Donde:
P = Premisas
.
C = Conclusin
Pn
C
Si la conclusin se deduce correctamente del conjunto de premisas, la inferencia es
vlida.
Si la conclusin no se deduce correctamente del conjunto de premisas, la inferencia no
es vlida.
PREMISAS:
Son proposiciones simples o compuestas, por ejemplo:
p
pq
(p q) (r s)
LEYES DE INFERENCIA:
Son argumentos vlidos, tautolgicos, implicaciones notables. Es decir, ya no se necesita la
demostracin de su validez.
1. MODUS PONENDO PONENS (MPP)
ESQUEMA LINEAL
[ (p q) p ] q
[ (p q) p ] q
[ (p q) q ] p
2. MODUS TOLLENDO TOLLENS (MTT)
ESQUEMA LINEAL
[ (p q) q ] p
[ (p q) p ] q
[ (p q) q ] p
ESQUEMA VERTICAL
pq
p
.
q
pq
p
.
q
pq
q
.
p
ESQUEMA VERTICAL
pq
q
.
p
pq
p
.
q
pq
q
.
p
[ (p q) q ] p
4. MODUS TOLLENDO PONENS (MTP)
ESQUEMA LINEAL
[ (p q) p ] q
[ (p q) q ] p
[ (p q) p ] q
[ (p q) q ] p
5. SILOGISMOS:
A. SILOGISMO HIPOTTICO PURO (SHP)
ESQUEMA LINEAL
[ (p q) (r s) ] (p s)
[ (p q) (r p) ] (r q)
B. TRANSITIVIDAD SIMTRICA (TS)
ESQUEMA LINEAL
[ (p q) (r s) ] (p s)
6. DILEMAS:
A. DILEMA CONSTRUCTIVO COMPUESTO (DCC)
ESQUEMA LINEAL
{ [ (p q) (r s) ] (p r) } (q s)
B. DILEMA DESTRUCTIVO COMPUESTO (DDC)
ESQUEMA LINEAL
{ [ (p q) (r s) ] (q s) } (p
r)
7. LEY CONJUNTIVA
ESQUEMA LINEAL
(p q) (p q)
8. LEY DE SIMPLIFICACIN
ESQUEMA LINEAL
(p q) p
(p q) q
9. LEY DE LA ADICIN
ESQUEMA VERTICAL
pq
p
.
q
pq
q
.
p
ESQUEMA VERTICAL
pq
p
.
q
pq
q
.
P
pq
p
.
q
pq
q
.
p
ESQUEMA VERTICAL
pq
p q
rs .
r p
ps
rq
ESQUEMA VERTICAL
pq
rs .
ps
ESQUEMA VERTICAL
pq
rs
p r .
qs
ESQUEMA VERTICAL
pq
rs
q s .
p r
ESQUEMA VERTICAL
p
q .
pq
ESQUEMA VERTICAL
p q
p
p q
q
ESQUEMA LINEAL
p [ p q ]
r [ r (t s) ]
10.LEY DE LA BICONDICIONAL
ESQUEMA LINEAL
(p q) ( p q )
(p q) ( q p )
ESQUEMA VERTICAL
p
.
p q
s)
ESQUEMA VERTICAL
pq
pq
r
r (t
pq .
qp