Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
PREMISAS:
Son proposiciones simples o compuestas, por ejemplo:
p
pq
(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.