Está en la página 1de 4

REA DE FORMACIN GENERAL

HABILIDADES LOGICO MATEMTICAS

SEMESTRE 2011 - 2
EXPRESIONES EQUIVALENTES A LOS
TRMINOS REPRESENTATIVOS PARA LOS
DIFERENTES OPERADORES

OPERADOR

Disyuntor
incluyente

TRMINO
REPRESENTATIV
O

TRMINO
REPRESENTATIV
O

EXPRESIONES EQUIVALENTES

oo

A o B (pero no ambos)
A salvo que slo B
A salvo que nicamente B
A o solamente B
A o slo B
A o tan slo B
A o nicamente B
A y bien, o tambin nicamente
B
OAoB
O bien A o bien B

OPERADOR

TRMINO
REPRESENTATIV
O

EXPRESIONES EQUIVALENTES

Conjuntor

OPERADOR

Disyuntor
excluyente

EXPRESIONES EQUIVALENTES

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 y bien, o tambin B
A ya bien, o incluso B
A y/o B
A menos que A, 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 as como B
A an cuando B
A aunque 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
AyB
A y tambin B
Conjuntamente A con B
No slo A tambin B
Siempre ambos A con B
Tanto A como B

Siempre que A por tanto B


Toda vez que A en consecuencia B
Una condicin necesaria para A es B
Ya que A entonces B
Ya que A es evidente que B

Tanto A cuanto B

OPERADOR
Condicional

TRMINO
REPRESENTATIV
O
Si..entonces

EXPRESIONES EQUIVALENTES
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 slo 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
De A concluimos en B
De A deducimos B
De A derivamos B
De A deviene B
En cuanto A por tanto B
En el caso que A as pues B
En el caso que A en tal sentido B
En virtud de que A es evidente B
Es suficiente A para B
Es una condicin suficiente A para B
Para A es necesario B
Para
A
es
una
condicin
necesaria B
Porque A, B
Puesto que A, as pues B
Se supone A para B
Si A, B
Si A entonces B
Siempre que A por consiguiente
B

OPERADOR

Replicador

OPERADOR
Bicondiciona
l

TRMINO
REPRESENTATIV
O

EXPRESIONES EQUIVALENTES

.si.

A a condicin de que B
A cada vez que B
A dado que B
A est implicado por B
A es una condicin necesaria
para B
A porque B
A puesto que B
A se concluye de B
A, si B
A, siempre que B
A supone que B
A ya que B
Es una condicin necesaria A
para B
Para A es suficiente B
Para
A
es una
condicin
suficiente B
Slo si A, B
Tan slo si A, B
Una condicin suficiente para A
es B

TRMINO
REPRESENTATIV
O

EXPRESIONES EQUIVALENTES

Si y slo si

A cada vez que y slo si B


A cuando y slo cuando B
A entonces y slo entonces B
A equivale a B
A equivale lgicamente a B
A es necesaria y suficiente
para B
A implica y est implicado en B

Es imposible que A
No es veraz que A
No es verosmil que A
No ocurre que A
No se cumple que A
No se da la posibilidad de que A
No se da que A
No tiene sentido que A
Nunca jams A
Nunca se da que A
Para nada se da que A
Se rechaza que A

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 si de la forma B
A siempre que y slo cuando
B
A si y slo si B

OPERADOR
Negador

TRMINO
REPRESENTATIV
O
no

EXPRESIONES EQUIVALENTES
Es negable A
Es no cierto que A
Es objetable que A
Es refutable que A
Es totalmente falso que A
Imposible que sea A
Jams se cumple que A
Jams se da que A
Jams se verifica que A
No acece 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
En absoluto se da que A
En modo alguno se da que A
Es absurdo que A
Es errneo que A
Es falaz 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 A
Es inverosmil que A
Es mentira que A

LEYES DE EQUIVALENCIAS LGICAS

1. LEY DE DOBLE NEGACIN (involucin)


a) ( p)

2. LEY CONMUTATIVA
a) p

qq p

c) p q q p

qq p
d) p q q p
b) p

3. LEYES DE MORGAN

q ) ~p ~q
b) ~ ( p q ) ~p ~q
a) ~ ( p

4. LEYES CONDICIONALES (implicacin)

~p q
b) ~ ( p q ) p ~q
a) p q

5. LEYES CONTRAPOSICIN
a) p q q p
c) p q p q

b) p q q p

También podría gustarte