CONECTIVOS

LOGICOS
Negacin (~)
No es cierto que ... Nadie que sea ... Jams ...
Es falso que... No es el caso que ... Es inconcebible que...
Nunca ... No es verdad que Es imposible que ...
No ocurre que... Es absurdo que Es errneo que ...
Es mentira que ... No acaece que... De ningn modo
No es el caso que Es inadmisible que Es incierto que
Es refutable que Es falaz que En modo alguno
p ~p
V F
F V

p: Los hombres son mortales
~p: Los hombres no son mortales
~p: Los hombres son inmortales
Conjuncin ()
A pesar de As mismo No obstante
Del mismo modo Es compatible con Aunque
Adems Tanto . como . Ms an
A la vez Siempre ambos. con.. Tambin
Incluso No slo.sino tambin. Al igual que
Sin embargo.. De la misma forma que An cuando
As como .con . los dos a la vez Pero
p q p q
V V V
V F F
F V F
F F F
La impresora para imprimir necesita energa
electrica y tener tinta.
p: La impresora para imprimir necesita energa
electrica
q: La impresora para imprimir necesita tener tinta
p q
Disyuncin Dbil (v)
A menos que O en todo caso
Excepto que O tambin
Salvo que O incluso
A no ser que O bien
Y bien o tambin.. Al menos uno de los dos . o .
O sino Alternativamente
p q p q
V V V
V F V
F V V
F F F
Yo tengo un terno azul o tengo un terno negro.
p: Yo tengo un terno azul
q: Yo tengo un terno negro
p q
Disyuncin Fuerte ()
Salvo que .... o .... ... no equivale a ...
....no es lo mismo que... No es cierto que...equivale a...
No es equivalente ... con ... O solo .... o solo ....
....a menos que solamente... ...salvo que nicamente...
....excepto que slo.... ....o bien necesariamente....
....o exclusivamente.... ....no es idntico a....
O bien ... o bien ... O ... o ...
O estoy en Per o estoy en Brasil.
p: Estoy en Per.
q: Estoy en Brasil.
p q
p q p q
V V F
V F V
F V V
F F F
Condicional ( )
Si p, entonces q p por tanto q
Siempre que p entonces q p por consiguiente q
p es suficiente para q p por ende q
p implica q p por conclusin q
Ya que p bien se ve que q Dado que p por eso q
En cuanto p por tanto q Porque p por eso q
p q p q
V V V
V F F
F V V
F F V
Si llueve entonces mejoran las cosechas
p: llueve.
q: mejoran las cosechas.
p q
Bicondicional ( )
siempre y cuando q Es suficiente para que suficiente sea
p
es equivalente a q Es condicin necesaria y suficiente
para p
es lo mismo que por lo cual y segn lo cual
cuando y slo cuando cada vez que y slo si
Si y slo si p, q si de la forma
siempre que y slo cuando implica y est implicado por
es idntico a Siempre que y siempre que
p q p q
V V V
V F F
F V F
F F V
Los cuerpos chocan si y solo si existe una
fuerza que los atrae
p: los cuerpos chocan.
q: existe una fuerza que los atrae.
p q