Este documento lista expresiones verbales equivalentes a los operadores lógicos de la lógica proposicional: la negación, la conjunción, la disyunción débil, la disyunción fuerte, el condicional y el bicondicional. En total se enumeran 35 expresiones para la negación, 21 para la conjunción, 12 para la disyunción débil, 15 para la disyunción fuerte, 37 para el condicional y 17 para el bicondicional. También se incluyen 35 expresiones para el operador replicador o implicación inversa

1. Lógica Proposicional
1Mg. José Luis Farro Quesquén
EXPRESIONES VERBALES EQUIVALENTES
1. El Negador (Negación)
(1.) No A, nunca A, jamás (A)
(2.) Es incompatible que A
(3.) Es inconcebible que A
(4.) No ocurre que A
(5.) No es verdad que A
(6.) No es el caso que A
(7.) No acaece que A
(8.) Es mentira que A
(9.) Es inadmisible que A
(10.) De ninguna forma se da A
(11.) En forma alguna A
(12.) Carece de todo sentido A
(13.) De ningún modo A
(14.) En modo alguno A
(15.) Es incorrecto que A
(16.) Es incierto que A
(17.) Nadie que sea A
(18.) Es objetable que A
(19.) Es absurdo que A
(20.) El falso que A
(21.) Es refutable que A
(22.) Es falaz que A
2. El Conjuntor (conjunción) también llamado
compatibilizador
(1.) A aunque B
(2.) A pero B
(3.) A sin embargo B
(4.) A incluso B
(5.) A es compatible con B
(6.) A así como B
(7.) A del mismo modo B
(8.) A aún cuando B
(9.) A también B
(10.) A de la misma forma que B
(11.) A al igual que B
(12.) Tanto A como B
(13.) Siempre ambos A con B
(14.) A no obstante B
(15.) No sólo A sino también B
(16.) A así mismo B
(17.) A al igual que B
(18.) A a pesar de B
(19.) A a la vez B
(20.) A más B
(21.) A con B los dos a la vez
3. El Disyuntor Débil (Incluyente): A v B, A + B.
A o B (sentido incluyente)
(1.) A a menos que B
(2.) Amenos que A, B
(3.) A salvo que B
(4.) A excepto que B
(5.) A o también B
(6.) A o en todo caso B
(7.) A o bien B
(8.) A a no ser que B
(9.) A o incluso B
(10.) A y bien o también B
(11.) Al menos uno de los dos A o B
(12.) A o sino B
4. El Disyuntor Fuerte (Excluyente):
(1.) A o B (sentido excluyente)
(2.) bien A o bien B
(3.) solo A o solo B
(4.) A o B
(5.) A a menos que solamente B
(6.) A salvo que únicamente B
(7.) A excepto que sólo B
(8.) A menos que sólo A, B
(9.) A o bien necesariamente B
(10.) A o exclusivamente B
(11.) A no es equivalente a B
(12.) A no es idéntico a B
(13.) Salvo que A o B
(14.) A no es lo mismo que B
(15.) A o tan solo B
5. El Condicional:
El Implicador (condicional):
(Implicación Directa)
(1.) Si A entonces B
(2.) Siempre que A por consiguiente B
(3.) Ya que A bien se ve que B
(4.) Dado que A por eso B
(5.) En cuanto A por tanto B
(6.) Porque A por eso B
(7.) Como A es evidente B
(8.) a condición de que A , B
(9.) A de manera que B
(10.) A de modo que B
(11.) A es suficiente para B
(12.) A por lo tanto B
(13.) Cada vez que A,B
(14.)Con la condición de A esto trae consigo B
(15.) Cuando A , B
(16.) Es una condición suficiente A para B
(17.) Para A es necesario B
(18.) Porque A,B
(19.) Si A, B
(20.) Siempre que A por tanto B
(21.) Una condición necesaria para A es B
(22.) Con tal que A es obvio que B
(23.) Toda vez que A en consecuencia B
(24.) A consiguientemente B
(25.) Dado que A por lo cual B
(26.) En la medida que A de allí B
(27.) En virtud de que A entonces B
-A,∼ A,¬A,A
A∧B,A &B,AxB,A.B,AB
A B, A B, A B, A B△ ⊕
A B, A B→ 
A B→

2. Lógica Proposicional
2Mg. José Luis Farro Quesquén
(28.) A implica a B
(29.) A es innecesario para B
(30.) A es condición suficiente para B
(31.) A sólo si B
(32.) A luego B
(33.) A trae como consecuencia a B
(34.) De A deviene B
(35.) Partiendo de A llegamos a B
(36.) De A inferimos, deducimos, coligamos B
(37.) Para A es condición necesaria B
(38.) A sólo cuando B
6. El Bicondicional:
(1.) A si y sólo si B
(2.) A por lo cual y según lo cual B
(3.) A cuando y sólo cuando B
(4.) A cada vez que y sólo si B
(5.) Si y sólo si A, B
(6.) A se define lógicamente como B
(7.) A si de la forma B
(8.) Porque y solamente porque A, B
(9.) Es suficiente A para que suficientemente B
(10.)Es necesario A para que necesariamente B
(11.)A es condición suficiente y necesaria para B
(12.) A siempre que y sólo cuando B
(13.) Siempre que A y siempre que B
(14.) A es equivalente a B
(15.) A es lo mismo que B
(16.) A es idéntico a B
(17.) A implica y está implicado por B
7. El Replicador: (implicación inversa)
(1.) Sólo si A, B
(2.) Sólo cuando A, B
(3.) Solamente porque A, B
(4.) A si B
(5.) A porque B
(6.) A dado que B
(7.) A ya que B
(8.) A siempre que B
(9.) A cada vez que B
(10.) A a condición de que B
(11.) Es una condición necesaria A para B
(12.) Una condición suficiente para A es B
(13.) Solo si A, B
(14.) A dado que B
(15.) A se concluye de B
(16.) A, si B
(17.) A supone que B
(18.) A ya que B
(19.) Para A es suficiente B
(20.) A puesto que B
(21.) A deviene de B
(22.) A es condición necesaria para B
(23.) A es insuficiente para B
(24.) Es necesario A para B
(25.) Es insuficiente A para B
(26.) A cada vez que B
(27.) A está implicado por B
(28.) A con la condición de que B
(29.) Si solamente A cada vez que B
(30.) A debido a que B
(31.) A depende de B
(32.) A sigue de B
(33.) Únicamente si A, B
(34.) Es suficiente A y B necesario
(35.) En el caso que A en tal sentido
A      ≡ ⇔
 ← B