Conectivos Logicos
Conectivos Logicos
Conectivos Logicos
Negacin (~)
No es cierto que ... Nadie que sea ... Jams ...
p
V F
~p
F V
~p: Los No es verdad que hombres son inmortales Es imposible que ...
Es absurdo que No acaece que... Es errneo que ... De ningn modo
No es el caso que Es inadmisible que Es incierto que Es refutable que Es falaz que En modo alguno
Es falso que; si Vallejo es poeta entonces Arguedas lo es tambin. Cuando la produccin de una empresa aumenta, en consecuencia aumenta la productividad y en algunos casos la demanda. Subirn los intereses bancarios porque subir la cotizacin del dlar, en vista de que, subir la cotizacin del dlar solo si el gobierno no puede controlar la inflacin. 1y3
q V
pq V
Conjuncin ()
V
F F
F
V F
F
F F
La impresora para imprimir necesita energa electrica y As mismo A pesar de tener tinta.
Del mismo modo Es compatible con No obstante Aunque
Adems
A la vez Incluso
Ms an
Tambin Al igual que An cuando Pero
Sin embargo.. De la misma forma que As como .con . los dos a la vez
q V
pq V
V
F F
F
V F
V
V F
q V F V F
p q F V V F
Disyuncin Fuerte ()
Salvo que .... o ....
V V F F
No es equivalente ... con p q solo .... o solo .... ... O ....a menos que solamente... ...salvo que nicamente...
....excepto que slo.... ....o exclusivamente.... O bien ... o bien ... ....o bien necesariamente.... ....no es idntico a.... O ... o ...
q
V F V F
p q
V F V V
Condicional ()
V V F F
p por tanto q p por consiguiente q p por ende q p por conclusin q Dado que p por eso q Porque p por eso q
Siempre que p entonces q p es suficiente para q p implica q Ya que p bien se ve que q En cuanto p por tanto q
q V F V F
pq V F F V
Bicondicional ()
V V F F
Los cuerpos chocan si y solo si existe una fuerza que los atrae
siempre y cuando q Es p: los cuerpos chocan. suficiente para que suficiente sea p
es equivalente a
q Es condicin necesaria y suficiente para pq p por lo cual y segn lo cual cada vez que y slo si si de la forma
siempre que y slo cuando implica y est implicado por es idntico a Siempre que y siempre que