CONECTORES PROPOSICIONALES

01. CONEGADORES LÓGICOS: A, -A, A

A continuación tienes un listado de las explicitaciones verbales del negador, inversor o dualizador lógico,
donde A es el símbolo de cualquier proposición:
1. Es absurdo que A, 21. no es verdadero que A,
2. Es falso que A, 22. no se admite que A,
3. Es inconcebible que A, 23. no es evidente que A,
4. no ocurre que A, 24. A es una mentira,
5. no acaece que A, 25. carece de sentido que A,
6. no se da el caso que A, 26. es contradictorio que A,
7. no es verdad que A, 27. en modo alguno se da que A,
8. no es cierto que A, 28. es incompatible que A,
9. es negable que A, 29. no siempre A
10. es inadmisible que A, 30. no se sabe que A,
11. es objetable que A, 31. por lo menos una vez no A,
12. carece de todo sentido de que A, 32. nunca se da que A,
13. de ninguna manera forma, modo, manera 33. no se ve que A,
de A 34. jamás (nunca ) A
14. es refutable que A, 35. nunca se da que A
15. A es insostenible 36. no, no es cierto que A,
16. no siempre ocurre que A, 37. es inaudito que A,
17. es rebatible A, 38. es incongruente que A,
18. no es afirmativo que A, 39. es inconsistente que A,
19. es negativo que A, 40. es dual formal de A,
20. no se concibe que A,

02. CONJUNTORES LÓGICOS: AB, A&B, AB

A continuación tienes un listado de las explicitaciones verbales del conjuntor lógico, donde A y B son símbolos
de cualquier proposición:
1. A sino B 16. el que A no excluye que B,
2. no solo A también B, 17. A aunque también B,
3. A del mismo modo (forma, manera) B, 18. no solamente A sino que además B,
4. A pero, aunque, empero, al igual que B. 19. A así como (al mismo tiempo, ambos a la
5. A incluso, tal como, al igual que B, vez) B,
6. A también B, 20. A de modo semejante B,
7. tanto A como (cuanto B) 21. se concibe que A y al mismo tiempo que B,
8. cierto es que A lo mismo que B 22. A vemos que también B,
9. el que A es compatible con que B, 23. es cierto que A también es cierto que B,
10. siempre ambos A con B, 24. cierto es que A lo mismo que B,
11. A mas (mas aún) B 25. A no es incompatible con B (es compatible)
12. A más aún B que A y B
13. aún cuando A, B 26. A al propio tiempo B,
14. A a pesar de que B, 27. A simultáneamente con B,
15. además de A, B 28. A conjuntamente con B,

03. DISYUNTORES LÓGICOS: AB, A+B.

A continuación tienes un listado de las explicitaciones verbales del disyuntor lógico, donde A y B son símbolos
de cualquier proposición:
1. a menos que A, B, 9. salvo que A, B,
2. A a menos que B, 10. A y bien o también B,
3. A ya bien B, 11. A y/o B,
4. A o también B, 12. al menos uno de los dos A ó B,
5. A salvo que B, 13. A o sino B,
6. A excepto que B, 14. A o en todo caso B,
7. A o incluso B, 15. A alternativamente B,
8. A a no ser que B,

04. CONDICIONADORES LÓGICOS: AB,

A continuación tienes un listado de las explicaciones verbales del condicionador lógico, donde A y B son
símbolos de cualquier proposición:
1. Si A entonces B, 9. bajo la condición de que A luego se puede
2. siempre que A por consiguiente B, decir B,
3. con tal de que A es obvio que B, 10. dado que A por eso B,
4. cuando A así pues B, 11. como quiera que A por lo cual B,
5. toda vez que A en consecuencia B, 12. en la medida que A de allí que B,
6. cada vez que A consiguientemente B, 13. en cuanto A por tanto B,
7. en el caso de que A en este caso B, 14. una vez que A luego B,
8. con la condición de que A esto trae 15. en el supuesto caso de que A en tal
consigo B, sentido B
 16. suponiendo que A con ello B, 41. de A se desprende que B,
17. puesto que A naturalmente B, 42. apenas A inmediatamente B,
18. ya que A es evidente B, 43. la cuestión es que A de ahí que B,
19. desde el momento en que A 44. si se presupone A derivamos B,
inmediatamente B 45. si sucede que A concluimos en B,
20. en virtud de que A es evidente que B, 46. si tenemos en cuenta que A deducimos B,
21. de A, derivamos (deducimos concluimos 47. si con toda certeza A llegamos a B,
en, llegamos a, inferimos en, imponemos) 48. si es así que A con ello B,
B, 49. debido a que A entonces B,
22. B se concluye (se deduce, se infiere) de A, 50. si una vez al menos A entonces B,
23. A implica o impone B, 51. si en cualquier caso A luego B,
24. B es implicado por A, 52. cada una de las veces que A, es así que B,
25. se cumple B siempre que A, 53. si cada vez (o toda vez que) A entonces B,
26. A sólo si cumple B, 54. A si en el único caso B,
27. B es condición necesaria (única) para A, 55. si al menos A luego B,
28. A da lugar a B, 56. ya que todas veces A entonces B,
29. es suficiente A para B 57. dado siempre A entonces B,
30. es necesario B para A, 58. es suficiente que A y es necesario que B,
31. teniendo en cuenta que A bien se ve que B 59. A es innecesario y B es insuficiente
32. de A deviene B, 60. si (es exacto que, existe la evidencia de
33. B es porque A, que, es del todo cierto que, es verdad que,
34. de ocurrir que A necesariamente ocurre es real que, es un hecho que, a decir
que B verdad, en realidad, en verdad, realmente,
35. A es innecesario para B es cierto que, es inobjetable que, es
36. B no es suficiente para A, indudable que, es innegable que,etc) A,
37. B no implica A, llegamos a B,
38. A implica a B, En general, la condición suficiente está en el punto
39. B está implicado por A, de partida del implicador (antecedente) y la condición
40. A trae como consecuencia B, necesaria

05. REPLICADORES LÓGICOS: AB, BA

A continuación tienes un listado de las explicitaciones verbales del replicador lógico, donde A y B son símbolos
de cualquier proposición:
1. solo si A entonces B, (la condición 16. A si B,
necesaria está implicada por que le 17. solamente (únicamente, necesariamente),
antecede la explicación verbal: “solo si” si A entonces B,
2. únicamente si A entonces B, 18. dado sólo A luego B,
3. A por que B, 19. A si (o todas las explicaciones del
4. porque B, entonces A, implicador) B,
5. el que A depende de B, 20. A debido a que B,
6. A es necesario para B, 21. sólo A si B,
7. A es insuficiente para B, 22. A depende de que ocurre B,
8. B es suficiente para A, 23. ocurre B con el objeto que ocurre A,
9. A es una circunstancia única para B, 24. B implica a A,
10. B es condición suficiente (de varias) para 25. A está implicado por B,
A. 26. sólo si A y siempre que B,
11. se cumple B nada más que cuando se 27. siempre que B y sólo si A,
cumple A, 28. no es suficiente que A y no es necesario
12. es necesario A para B, que B,
13. es suficiente B para A, 29. A es insuficiente y B es innecesario
14. sólo A siempre que B, 30. A se sigue de B,
15. sí solamente A cada vez que B,
31.

06. BIIMPLICADORES LÓGICOS: AB, AB,

A B
A continuación tiene un listado de las explicitaciones verbales del implicador lógico, donde A y B son símbolos
de cualquier proposición:
1. A si y sólo si B, 8. cuando y sólo cuando A luego B,
2. A siempre y cuando B, 9. siempre que A y siempre que B,
3. A se define lógicamente como B, 10. si solamente A entonces únicamente B,
4. A por lo cual y según lo cual B, 11. sólo y solamente siempre que A entonces
5. A siempre que y sólo cuando B, B,
6. si y sólo si A, entonces B, 12. cuando y cada vez que A así se da B,
7. A implica y está implicado por B,

07. BIDISYUNTORES LÓGICOS: A>--<B, AB, AB, AB, AB.

A continuación tiene un listado de las explicaciones verbales del bidisyuntor lógico, donde A y B son los
símbolos de cualquier proposición:
 1. o bien A o bien B 8. o bien necesariamente A o bien B,
2. A menos que únicamente B, 9. ya bien A ya bien B,
3. A o bien necesariamente B, 10. o siempre A o siempre B,
4. A no equivale a B, 11. sólo A o sólo B,
5. no es equivalente A con B, 12. ocurre A excepto que sea necesario B,
6. o solamente A o solamente B, 13. el que ocurre A excluye a B,
7. a menos que únicamente A ocurre B,
08. Dada de Sheffer A  B
1. Ni A ni B
2. No A y no B

09. Barra de Nicod A / B

1. No A o no B

LEY DE EQUIVALENCIA APLICACIONES

01) DOBLE NEGACIÓN A  (A) (A)  A
A[(A)] [ (A)] A
02) LEYES D’ MORGAN (A B) AB AB (AB)
(AB) AB AB 
(AB)
03) CONMUTACIÓN (v, , /, , (AB)  (BA) (AB)  (BA)
, )
04) CONTRAPOSICIÓN (AB)(BA) (AB) (BA)
(,,, )
05) ASOCIACIÓN(, , , ) (ABC)  [(AB) C]  [A(BC)]
(ABCD)  [(AB) (CD)
06) DISTRIBUCIÓN A  (B  C)  (A  B)  (A  C)
A  (B  C)  (A  B)  (A  C)
07) ABSORCIÓN A (A  B)  A A(AB)A
A(A  B)  A(AB)
AB AB
08) DEFINCIÓN DEL AB  AB AB(AB)
IMPLICADOR
09) DEF. DEL BIIMPLICADOR (AB)  (AB)  (AB)
(AB)  (A  B) V (AB)
(AB)  (A v B) (AB)  (AB)
(AB)  (A  (A v B) 
B) (AB)
10) DEFINICIÓN DEL DISY. A v B  (A v B)  (A vB)
EXC
11) EXPORTACIÓN (A  B)C  A (BC)
12) MUTACIÓN A(BC)  B  (AC)
13) IDEMPOTENCIA AAA AvAA
14) COMPLEMENTO A  A  0 AvA1
15) IDENTIDADES A1A Av11
A00 Av0A
16) LEY DE EXPANSIÓN p  [p (s s)] p  [p  (t t)]
pq [p  (p  q)] pq  [q 
(pq)]