CAPTULO 1 LGICA PROPOSICIONAL

18

NEGADOR

No p , No ocurre que p, No es cierto que p, No es verdad que p, No acaece que p, No siempre que p, No es que p, Nunca p, Nadie que sea p, Es absurdo que p, Es inconcebible que p, Es imposible que p, Es mentira p, Es inadmisible que p, Es negable que p, Es errneo que p, Es incierto que p, Es incorrecto que p, Es objetable que p, Es falaz que p, En modo alguno que p, En forma alguna p, De ninguna forma se da p, Jams p,

CONJUNTOR p y q p incluso q p pero q p aunque q p al igual que q p tal como q p tanto como q p tambin q p as como q p vemos que tambin q p al mismo tiempo que q p sin embargo q p es compatible con q p an cuando q p del mismo modo q p de la misma manera q p no obstante q p empero q p as mismo q p a pesar que q p igualmente q p de la misma manera q Tanto p como, cuando q Siempre ambos p con q No slo p sino tambin q Sin que p tampoco q Cierto que p lo mismo que q Simultneamente p con q

DISJUNTOR INCLUYENTE p o q p a menos que q p salvo que q p y bien, o tambin q p excepto que q p o incluso q p o a la vez q p ya bien q p y/o q p o no es que q p o en todo caso q p alternativamente q A menos que p, q

DISJUNTOR EXCLUYENTE O p o q O bien p o bien q p o solamente q p o nicamente q p o slo q p no es equivalente a q p salvo que tan slo q No es equivalente p con q Ya bien p ya bien q O siempre p o siempre q Slo p slo q Salvo que solamente p ocurre q En que ocurra p excluya q

Traducciones verbales de los conectores lgicos 1.1.7.

CAPTULO 1 LGICA PROPOSICIONAL

19

IMPLICADOR

Si p entonces q Apenas p inmediatamente q Siempre que p por consiguiente q Ya que p bien se ve que q Con tal que p es obvio que q Cuando p as pues q Toda vez que p en consecuencia q Dado p por eso q En cuanto p por tanto q Cada vez que p consiguientemente q Ya que p es evidente q De p derivamos q Como quiera que p por lo cual q En el caso de que p en tal sentido q Una condicin necesaria para p es q ya que p por ende q Apenas p inmediatamente q Siempre que p y slo si q En virtud de que p es evidente que q p es condicin suficiente para q p slo si q p slo si cumple q p da lugar a q p es innecesario y q es insuficiente p implica q P luego q

REPLICADOR

Slo si p, q Para p es suficiente q nicamente si p entonces q El que p depende de q Es necesario p para q Si solamente p cada vez que q No es suficiente que p y no es necesario que q p porque q p siempre que q p puesto que q p dado que q p supone que q p pues q p en vista de que q p cada vez que q p es necesario para q p es insuficiente para q p es insuficiente y q es innecesaria p se sigue de q

BICONDICIONAL

p si y slo si q p siempre y cuando q p se define lgicamente como q p es equivalente, equivale q p por lo cual por la misma forma q p si de la misma forma q p es idntica q p es igual (es igual, entonces) q p cada vez que y slo si q p es equipolente a q p es condicin necesaria y suficiente para q p siempre que y slo cuando q p sea la misma que q p por lo cual y segn lo cual q p cada una de las veces que y todas las veces que q p es la definicin lgica de q Cuando y slo cuando p luego q Slo si p y slo si q Slo que p luego es porque q Siempre que p y siempre que q