EXPRESIONES EQUIVALENTES DE LOS CONECTIVOS LGICOS

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 cada da que y solo si B

A cuando y solo cuando B
A entonces y solo
entonces B
A equivale a B
A equivale lgicamente B
A es necesaria y suficiente
para B
A suficiente y necesario
para B
A es equipolente a B
A es equivalente a B
A implica y est implicado
en B
A por lo cual y segn lo
cual B
A se define como B
A se define lgicamente
como B
A segn lo cual y por lo
cual B
A as de la forma B
A siempre y cuando B
A siempre que y solo
cuando B
A si y solo si 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

Siempre ambos A con

B
Tanto A como B

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

TABLA DE VALORES DE LOS CONECTIVOS LGICOS

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

LEYES DEL LGEBRA PROPOSICIONAL

REPRESENTACIN
~ (~ p)

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)] [(q) p]

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

3. MODUS PONENDO TOLLENS (MPT)

ESQUEMA LINEAL
[ (p q) p ] q

[ (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