EXPRESIONES EQUIVALENTES DE LOS CONECTIVOS LÓGICOS

Disyunción
Disyunción Conjunción Condicional Bicondicional Negación
Exclusiva
SI Y SOLO SI O bien “p”
O Y Entonces No
o bien “q”
     ~
A a menos que B A a la vez B A condición de que A, B A cada día que y solo si B A o B (pero no ambos) Es negable que A
A a no ser que B A al igual que B A de ahí que B A cuando y solo cuando B A salvo que solo B No es cierto que A
A excepto que B A al mismo tiempo B A de manera que B A entonces y solo entonces B A salvo que únicamente B Es objetable que A
AoB A a pesar B A de modo que B A equivale a B A o solamente B Es refutable que A
A o en todo caso B A además B A en consecuencia B A equivale lógicamente B A o solo B Es totalmente falso que A
A o incluso B A así como B A es suficiente para B A es necesaria y suficiente para B A o tan solo B Imposible que sea A
A o también B A así también B A es una condición suficiente para B A suficiente y necesario para B A y bien, o también Jamás de cumple que A
A salvo que B A aun cuando B A implica B A es equipolente a B únicamente B Jamás se da que A
A salvo que también B A aunque B A luego B A es equivalente a B OAoB Jamás se verifica que A
A y bien, o también B A de la misma forma B A por consiguiente B A implica y está implicado en B O bien A o bien B No acaece que A
A ya bien, o incluso B A de la misma manera B A por lo tanto B A por lo cual y según lo cual B O solo A o solo B No es cierto que A
A y/o B A del mismo modo B A solo si B A se define como B No es concebible que A
A o bien B A empero B Cada vez que A, B A se define lógicamente como B No es el caso que A
A es compatible con B Cada vez que A consiguientemente B A según lo cual y por lo cual B No es verdad que A
A junto con B Como quiera que A por lo cual B A así de la forma B Carece de todo sentido que A
A incluso B Con la condición de A esto trae A siempre y cuando B Definitivamente no se da que A
A igualmente B consigo B A siempre que y solo cuando B De ninguna forma se da que A
A mas bien B Con tal que A es obvio que B A si y solo si B De ninguna manera se da que A
A no obstante B Cuando A, B Es absurdo que A
A pero B Cuando A así pues B Es erróneo que A
A simultáneamente B Dado A por eso B Es falso que A
A sin embargo B Dado que A entonces B Es imposible que A
A tal como B De A concluimos en B Es inaceptable que A
A también B De A deducimos en B Es inadmisible que A
A tanto como B De A derivamos B Es incierto que A
A vemos que también B De A deviene B Es inconcebible que A
Conjuntamente A con B Es suficiente A para B Es incorrecto que A
No solo A también B Para A es necesario B Es insostenible decir que A
Siempre ambos A con B Porque A, B Es inverosímil que A
Tanto A como B Si A, B Es mentira que A
Si A entonces B No ocurre que A
Ya que A entonces B Se rechaza que A
Toda vez que A en consecuencia B Nunca se da que A
 TABLA DE VALORES DE LOS CONECTIVOS LÓGICOS
NOMBRE Disyunción Conjunción Condicional Bicondicional Disyunción Exclusiva
O bien “p”
SIGNIFICADO O Y Entonces Si y solo si
o bien “q”
p q     
V V V V V V F
V F V F F F V
F V V F V F V
F F F F V V F

NOMBRE Negación
SIGNIFICADO No
p ~
V F
F V

LEYES DEL ÁLGEBRA PROPOSICIONAL

NOMBRE REPRESENTACIÓN
Doble Negación ~ (~ p)  p
- De la disyunción: (p ∨ q)  (q ∨ p)
Conmutatividad
- De la conjunción: (p ∧ q)  (q ∧ p)
- De la disyunción: (p ∨ q) ∨ r  [p ∨ (q ∨ r)]
Asociatividad
- De la conjunción: (p ∧ q) ∧ r  [p ∧ (q ∧ r)]
- De la disyunción: p ∨ (q ∧ r)  [( p ∨ q) ∧ ( p ∨ r ]
Distributividad
- De la conjunción: p ∧ (q ∨ r )  [( p ∧ q) ∨ ( p ∧ r ]
- De la disyunción: (p  p)  p
Idempotencia
- De la conjunción: (p  p)  p
- De la disyunción: ~ (p ∨ q)  (~ p ∧ ~ q)
Leyes de De Morgan
- De la conjunción: ~ ( p ∧ q )  (~ p ∨ ~q)
- De la disyunción: p  (p  q)  p
- De la conjunción: p  (p  q)  p
Absorción
- De la disyunción: p  (~p  q)  p  q
- De la conjunción: p  (~p  q)  p  q
pq  (p)  q
Condicional  (p  q)  p  (q)
pq  (q)  (p)
pq  (p  q)  (q  p)
pq  (p  q)  [(p)  (q)]
Bicondicional pq  [(p)  q)]  [(q)  p]
pq  (p  q)
pq  (q)  (p)
pq  (p  q)
pq  (p  q)  (p  q)
Disyunción Exclusiva
pq  (p  q)  (q  p)
pq  (p  q)  (q  p)
( p ∨ ¬p)  V (tautología) (tercio excluido)
( p ∧ ¬p)  F (contradicción)
Del Complemento
pq  V (tautología)
pq  F (contradicción)
Pv V  V P F  F
Identidad Pv F  P P F  P
P V  P PV  P
 INFERENCIAS LÓGICAS
Es una estructura de proposiciones llamadas premisas, en base a las cuales inferimos otra proposición llamada
conclusión. También podemos sostener que es el proceso de pasar de un conjunto de premisas a una conclusión.
Esquema Lineal: Esquema Vertical: P1
P2
(P1  P2  …  Pn) → C .
.
.
Donde: P = Premisas Pn
C = Conclusión C
Si la conclusión se deduce correctamente del conjunto de premisas, la inferencia es válida.
Si la conclusión no se deduce correctamente del conjunto de premisas, la inferencia no es válida.

PREMISAS:
Son proposiciones simples o compuestas, por ejemplo:
 p
 pq
 (p  q) → (r  s)

LEYES DE INFERENCIA:
Son argumentos válidos, tautológicos, implicaciones notables. Es decir, ya no se necesita la demostración de su
validez.

01. MODUS PONENDO PONENS (MPP)

ESQUEMA LINEAL ESQUEMA VERTICAL
p→q
[ (p → q)  p ] → q p .
q
p↔q
[ (p ↔ q)  p ] → q p .
q
p↔q
[ (p ↔ q)  q ] → p q .
p

02. MODUS TOLLENDO TOLLENS (MTT)

ESQUEMA LINEAL ESQUEMA VERTICAL
p→q
[ (p → q)  q ] → p q .
p
p↔q
[ (p ↔ q)  p ] → q p .
q
p↔q
[ (p ↔ q)  q ] → p q .
p

03. MODUS PONENDO TOLLENS (MPT)

ESQUEMA LINEAL ESQUEMA VERTICAL
pq
[ (p  q)  p ] → q p .
q
pq
[ (p  q)  q ] → p q .
p
04. MODUS TOLLENDO PONENS (MTP)
ESQUEMA LINEAL ESQUEMA VERTICAL
pq
[ (p  q)  p ] → q p .
q
pq
[ (p  q)  q ] → p q .
P
pq
[ (p  q)  p ] → q p .
q
pq
[ (p  q)  q ] → p q .
p
05. SILOGISMOS:
A. SILOGISMO HIPOTÉTICO PURO (SHP)
ESQUEMA LINEAL ESQUEMA VERTICAL
[ (p → q)  (r → s) ] → (p → s) p→q p → q
r→s . r → p
[ (p → q)  (r → p) ] → (r → q) p→s r→q
B. TRANSITIVIDAD SIMÉTRICA (TS)
ESQUEMA LINEAL ESQUEMA VERTICAL
p↔q
[ (p ↔ q)  (r ↔ s) ] → (p ↔ s) r↔s .
p↔s
06. DILEMAS:
A. DILEMA CONSTRUCTIVO COMPUESTO (DCC)
ESQUEMA LINEAL ESQUEMA VERTICAL
p→q
r→s
{ [ (p → q)  (r → s) ]  (p  r) } → (q  s)
pr .
qs
B. DILEMA DESTRUCTIVO COMPUESTO (DDC)
ESQUEMA LINEAL ESQUEMA VERTICAL
p→q
r→s
{ [ (p → q)  (r → s) ]  (q  s) } → (p  r)
q  s .
p  r
07. LEY CONJUNTIVA
ESQUEMA LINEAL ESQUEMA VERTICAL
p
(p  q) → (p  q) q .
pq
08. LEY DE SIMPLIFICACIÓN
ESQUEMA LINEAL ESQUEMA VERTICAL
(p  q) → p pq pq
(p  q) → q p q
09. LEY DE LA ADICIÓN
ESQUEMA LINEAL ESQUEMA VERTICAL
p → [ p  q ] p r .
r → [ r  (t  s) ] p  q r  (t  s)
10. LEY DE LA BICONDICIONAL
ESQUEMA LINEAL ESQUEMA VERTICAL
(p ↔ q) → ( p → q ) p↔q p↔q .
(p ↔ q) → ( q → p ) p→q q→p