MATEMÁTICA I
Lógica proposicional
CONECTORES LOGICOS
NEGADOR CONJUNTOR
“No ……………….” Compatibilizador: “………. y ……..”
Símbolos: ( -, ,, A, A’) Símbolos: ( , , x, &, )
1. No A 1. A y B
2. Ni A 2. A pero B
3. Nunca, A 3. A aunque B
4. Jamás A 4. A sin embargo B
5. Es falso que A
5. A incluso B
6. Es inconcebible que A
6. A es compatible con B
7. Es imposible A
7. A así como B
8. No ocurre que A
8. A también B
9. No es verdad que A
9. A del mismo modo B
10. No es el caso que A
10. A de la misma forma B
11. Es mentira que A
11. A de la misma forma B
12. Es inadmisible que A
12. Siempre ambos A con B
13. No acaece que A
13. A no obstante B
14. No es innegable que A
14. A empero B
15. Carece de todo sentido que A
15. No sólo A sino también B
16. De ninguna forma se da A
16. A sí mismo B
17. Es incorrecto que A
17. A sino B
18. Es incierto que A
18. A a pesar de B
19. Nadie que sea A
19. A a la vez B
20. No se da que A
20. A igualmente B
21. Es absurdo que A
21. A e incluso B
22. No se concibe de que A
22. A a ambos a la vez B
23. Es una farsa de que A
23. Sin que A tampoco B
24. No es que A
24. Tanto A cuando B
25. No se admite que A
25. A tal como B
26. No es auténtico el que A
26. A al igual que B
27. No es evidente que A
27. Sin que A tampoco puede ver B
28. No es posible de que A
28. A del mismo estilo también ocurre B
29. Es contradictorio que A
29. Es cierto que A sino incluso B
30. En modo alguno A
30. No sólo A inclusive B
31. En forma alguna A
31. Cierto es que A lo mismo que B
32. No, no A
33. En absoluto se da que A
Prof. Luis Alberto Suárez Marcelo
DISYUNTOR INCLUYENTE IMPLICADOR
Débil o Alterador: “…….. o ……..” Condicional: “Si …….. entonces…….”
Símbolos: ( , +, ) Símbolos: ( , , )
1. AoB 1. Si A entonces B
2. A a menos que B 2. Ya que A bien se ve que B
3. A salvo que B 3. Cuando A así pues B
4. A o también B 4. Siempre que A por consiguiente B
5. A excepto que B 5. Toda vez que A por eso B
6. A o a la vez B 6. Dado que A por eso B
7. En la medida que A de allí B
7. A o en todo caso B
8. En cuanto A por tanto B
8. A o de lo contrario B 9. Con tal que A es obvio que B
9. A o en su efecto B 10. Como quiera que A por lo cual B
10. A ya bien B 11. En el caso de que A en tal sentido B
11. A a no ser que B 12. De A inmediatamente B
12. A o aunque también B 13. En virtud de A es evidente que B
13. A ya sea que B 14. De A deviene B
14. A y bien o también B 15. En el caso que A en este caso B
15. A o incluso B 16. De A derivamos B
16. A o puede que B 17. De A deducimos B
17. A o es B 18. De A inferimos en B
19. De A concluimos en B
18. A menos que A, B
20. De A llegamos a B
21. A es la condición suficiente para B
22. Si A, B
23. Si A solo si B
24. La cuestión es que A de allí B
DISYUNTOR EXCLUYENTE 25. De ocurrir A necesariamente ocurre B
Disyuntor fuerte, bialternador, contravalorador o 26. En el supuesto caso de que A en tal sentido B
bidisyuntor
(“o ……….. o …………” 27. A penas A se da B
Símbolos: (,, , , , >< 28. Desde el momento que A inmediatamente B
29. Puesto que A naturalmente B
30. Teniendo en cuenta que A bien se ve que B
31. Con que A según lo cual B
1. O A o B 32. Todo está en que A, por lo cual se da B
2. O bien A o bien B 33. Según se A, por lo expuesto B
3. A o B (en sentido excluyente) 34. Si se verifica A bien se ve que B
35. Teniendo en consideración de que A en tal
4. A excluye a B sentido B
5. A se contrapone a B 36. A da lugar a B
6. A no equivale a B 37. Para A es necesario B
7. A no se define como B 38. A es suficiente para que B sea necesario
8. A no es igual a B 39. Lo necesario para A es B
9. Ya bien A ya bien B 40. Siempre que A luego B
10. A o solamente B 41. Al suceder A, B
11. A o necesariamente B
12. A salvo que solamente B
13. A ya bien sólo B
14. A y bien o también solamente B
15. A o prioritariamente B
Prof. Luis Alberto Suárez Marcelo
REPLICADOR
BIIMPLICADOR
En realidad no existe esta conectiva, pero es muy Bicondicional: “…….. si y sólo si ……”
frecuente su uso por muchos estudiosos y en Símbolos: (, , )
exámenes de admisión. Esta conectiva no viene a ser
sino el implicador apuntando hacia la izquierda.
“…….…. Si ………” 1. A si sólo si B
Símbolos: (, , ) 2. A es equivalente a B
3. A siempre que y solo cuando B
4. A equivale a B
1. A si B 5. A por lo cual y según lo cual B
2. A porque B 6. A se define como B
3. Sólo si A, B 7. A es lo mismo que B
4. A siempre que B 8. A si es de la misma forma que B
5. A es condición necesaria para B 9. A es idéntico a B
6. Es condición necesaria A para B 10. A igualmente entonces B
7. A cada vez que B 11. A cada vez que sólo si B
8. A dado que B 12. Si solo si A, entonces B
9. A puesto que B 13. Si y solo si A, entonces B
10. A supone que B 14. A es suficiente y necesario para B
11. A a condición de que B 15. Cada vez que sólo si A entonces B
12. A pues B 16. A es de la misma forma que B
13. A en vista de que B 17. A es de la misma manera que B
14. A ya que B 18. Una condición suficiente y necesaria para A
15. A es insuficiente para B es B
16. En el único caso en que A entonces SEGUNDA NEGACIÓN SHEFFER
Negación alternativa
B “No ……… o no ……….”
17. Si tan solamente se da A entonces Símbolo: ( / )
B
18. Una condición suficiente para A es 1) No A o No B
B 2) No A o Ni B
19. A para que ocurra A es suficiente B 3) Ni A o No B
20. En el único y necesario caso de A 4) Ni A o Ni B
inducimos B 5) No A y / o No B
21. A es condición necesaria para que 6) A es incompatible con B
B sea suficiente
22. A deviene de B
23. Sólo si A entonces B
PRIMERA NEGACION SHEFFER
Negación conjuntiva
“Ni ………… ni….…….”
Símbolo: ()
1. Ni A y ni B
2. Ni A, ni B
3. Ni A, No A
4. No A, Ni A
5. No A y no B
6. No A tampoco B
7. A inalternador B
Prof. Luis Alberto Suárez Marcelo
