FORMALIZACIÓN DE PROPOSICIONES

4. Jerarquía de los conectores lógicos

El análisis del pensamiento formuladas en castellano o en cualquier otra lengua natural son difíciles de evaluar,
debido a la ambigüedad que a veces sufre nuestro lenguaje. El pensamiento es imperceptible por nuestros
(↔) (v)
(→)(←)
sentidos, de allí la dificultad de estudiarlos; para ello es necesario crear un Lenguaje Simbólico Artificial
(formalización) el mismo que represente perfectamente el enunciado en cuestión (traducción).
(v)
operadores (∧)
Es Aristóteles quien por primera vez hace uso de ciertas abreviaturas para facilitar su labor al proponer la de la lógica proposicional. (¬)
Teoría del Silogismo, desarrollando la lógica formal; hecho que permitió se le considerara como "El padre de la
Lógica Formal Antigua”.

La formalización consiste en representar simbólicamente la relación que existe entre las diferentes formas del Una fórmula proposicional adopta el nombre del conector de mayor jerarquía.
pensamiento mediante el uso de variables y constantes; las mismas que fueron descubiertas más adelante por
Gotlob Frege. Ejemplo:
-p∧q→-r ..... fórmula condicional
- p → q ∧ r ↔ -s ..... fórmula bicondicional
I. Símbolos usados en la formalización
Nota: La jerarquía de conectores pierden fuerza cuando aparecen los signos auxiliares de agrupación: ( ), [ ],
1. Variables proposicionales { }.
Letras minúsculas que representan a una proposición simple (p, q, r, ...).

Ejemplo: LOS CONECTORES LOGICOS

César es profesor de Raz. Lógico: p
Cristóbal Colón descubrió América: q
I. El Negador
2. Variables Metalingüísticas
Letras mayúsculas que son usadas en la representación de fórmulas u operaciones lógicas (A, B, C, ...) 1. Símbolos: - A, ∼A, ¬A, A

Ejemplo: 2. Se lee: “no”

A→B ≡ –AvB
(A v A) ↔ A 3. Tipos de Negadores:

3. Constantes u operadores lógicos A) Negador Interno: “No, nunca, jamás” se le caracteriza fundamentalmente por su carácter débil, sólo afecta
Símbolos que representan y detallan la relación que hay entre las proposiciones, regulan la construcción de a la proposición simple más cercana.
una fórmula lógica, por ejemplo: “si los cuerpos se calientan entonces dichos cuerpos se dilatan”.
B) Negador Externo: “No es cierto que, es mentira que, es objetable que” son de carácter más fuerte que los
Su estructura lógica es: “si ............ entonces ..........” negadores internos; generalmente se encuentran adelante de la oración, es por ello que su representación
queda indicada explícitamente fuera de un paréntesis.
El operador lógico es: (→) Nota:
- Si un término es antecedido por un prefijo de sentido negativo; éste se le considera como un negador
Las proposiciones son: interno.
p = los cuerpos se calientan.
q = los cuerpos se dilatan Ejemplo:
La relación entre las proposiciones: causa – efecto. Walter es una persona desleal: - p
Su formalización correcta: p → q. Carlos Manrique es un empresario inmoral: -q
- Las expresiones lingüísticas de doble negación (inobjetable, innegable, no es inconcebible) se formalizan
como tal.

Nota: Ejemplo:
Cabe aclarar que cada parte de la lógica formal trabaja con sus propios operadores lógicos; así por ejemplo, la Carmen inobjetablemente es profesora: ∼∼ p
Lógica Proposicional emplea los “Conectores Lógicos”. No es mentira que Constantino fuese emperador Romano: ∼∼ q.
II. El Conjuntor Ejemplo:
- Eres campeón o subcampeón: p v q
A) Símbolos: A ∧ B, A & B, A x B, A.B, AB - O estudias o trabajas: p v q

B) Se lee: “ ................. y .................. “ Nota: Algunos disyuntores incluyentes pueden venir acompañados de las palabras: sólo, únicamente,
solamente. Dando mayor fuerza al inclusor transformándola en exclusor.
C) Forma de Identificarlo: Al conjuntor también se le llama “Compatibilizador” porque une a las proposiciones
en un mismo contexto; es decir ambas proposiciones se cumplen simultáneamente. Ejemplo.
- Este año viajaré al extranjero salvo que sólo viaje a Lima: p v q
Ejemplo: - A menos que solamente seas Ingeniero, serás matemático: p v q
Perú así como Ecuador son países demócratas: p ∧ q

El átomo posee neutrones, protones también electrones: p ∧ q ∧ r V. El Condicional

Mary estudia al mismo tiempo que escucha música: p ∧ q A) Símbolos: A → B , A ⊃ B

Nota: Existen algunos términos de conjunción que merecen una mención particular: B) Se lee: “ Si .............. entonces ............. “

- No sólo la matemática es precisa sino también universal: p ∧ q C) Forma de Identificarlo: Una proposición condicional se caracteriza porque presenta una causa y un efecto;
- El ser Leninista es compatible con el ser Marxista: p∧q las mismas que pueden estar en cualquier orden: La causa puede ir primero (Implicador) o tal vez puede ir
- La luna es un satélite no obstante gira alrededor de la tierra: p∧q en segunda instancia (replicador).

Si hay inversión interna entonces mejorará nuestra economía .

III. El Disyuntor Débil (Incluyente) ↑ ↑
causa efecto
A) Símbolos: A v B, A + B. ↑ ↑
antecedente consecuente
B) Se lee: “ ....... o ...... “ (en sentido incluyente). ↑ ↑
condición condición
C) Forma de Identificarlo: Al inclusor se le reconoce porque el término nos sugiere aceptar una de las dos suficiente necesaria
proposiciones. Sin embargo la posibilidad que una compatibilidad queda aceptada o admitida. Nota:
El sentido del operador lógico es de causa a efecto.
Ejemplo: Ejemplo:
- Perú y Ecuador se pondrán de acuerdo salvo que intervenga EE.UU. : p v q
- Mañana estudiaremos Química o sino estudiaremos Física: p v q Siempre que llueva entonces mejorarán
→
las cosechas: p → q (implicador).
Nota: Cuando aparece una disyunción al lado de un conjuntor o viceversa, la fórmula lógica será un Disyuntor
débil.
Mejorarán las cosechas siempre que llueva:
Ejemplo: ←
p ← q (replicador).
Las aves poseen pico excepto que también alas: p v q
Los números son reales y/o complejos: p v q. VI. El Bicondicional
IV. El Disyuntor Fuerte (Excluyente)
A) Símbolos: A ↔ B , A ≡ B , A ⇔ B.
A) Símbolos: A V B, A ⊕ B, A ∆ B, A ↔
/ B, A ≡/ B
B) Se lee: “ .............. si y sólo si ............. “
B) Se lee: “ ....... o ....... “ (en sentido excluyente)
“o ............ o ............ “ C) Forma de Identificarlo: Este término de enlace no solo señala una consecuencia en doble sentido; sino
también informa una equivalencia existente entre las dos proposiciones.
C) Forma de Identificarlo: Al exclusor o bidisyuntor se le identifica por que acepta una y solo una de las dos
proposiciones, nunca ambas a la vez; es decir la compatibilidad queda excluida o descartada. Ejemplo: Los cuerpos chocan porque y solo porque existe una fuerza que los atrae: p ↔ q.
El que yo te sonría es lo mismo que yo te enamore: p ≡ q.
 EJERCICIOS

Formalice cada una de las siguientes proposiciones

1. No es cierto que Japón no se encuentra al Norte de Irlanda.

2. No entender bien la clase es consecuencia de estar desatento.

3. La masa es incompatible con la energía.

4. Es objetable decir que, a menos que no estudies, no ingresarás a la UNT.

5. Es necesario tener buena presencia para suficientemente encontrar trabajo.

6. Compraré un buen vestido excepto que sólo compre un par de zapatos.

7. Comer mucho es insuficiente para tener un cuerpo sano.

8. No acaece que, sea innecesario viajar para triunfar en la vida.

9. Los electrones gran alrededor del átomo del mismo modo que la Luna gira alrededor de la Tierra.

10. La verdad que no tengo dinero pero aún así cubro mis gastos.

11. Es innecesario estar enfermo para insuficientemente tener fiebre.

12. Nunca Perú no será un país antidemocrático.

13. No solo ingresaste al Instituto sino también a la Universidad.

14. Solamente estudiarás Matemática o Lenguaje, pero nunca ambos a la vez.

15. Los cuerpos se repelen debido a la similitud de sus cargas.

16. No es inobjetable decir que Brasil y Alemania limitan fronteras comunes.

17. Ni Neruda ni Vallejo pudieron evitar escribir poemas.

18. Es incierto afirmar que, Argentina clasificará al mundial a no ser, que Colombia también lo haga.

19. Todo corolario está implicado por los teoremas.

20. Salvo que solamente esté bien informado, podré dar mi propio juicio.

21. Si es falso que las elecciones fueron irregulares entonces no hay democracia en el país.

22. La Matemática es una ciencia exacta y bien o también la Lógica lo es.

23. Carece de todo sentido decir que el peso de los cuerpos no equivalga a fuerza de atracción.

24. En modo alguno, las partículas de carga positiva, serán compatibles con las de carga negativa.

25. Es imposible que una proposición lógica se contradiga.

 El Biimplicador: A ↔ B
EXPLICITACIONES VERBALES El Replicador: A ← B 1. A si y sólo si B
DE LOS CONECTORES LOGICOS 1. Sólo si A, B 2. A por lo cual y según lo cual B
2. Solo cuando A, B 3. A cuando y sólo cuando B
3. Solamente porque A, B 4. A cada vez que y sólo si B
4. A si B 5. Si y sólo si A, B
El Conjuntor: A ∧ B El Disyuntor excluyente: A v B 5. A porque B 6. Porque y solamente porque A, B
1. AyB 1. A o B (sentido excluyente) 6. A dado que B 7. Es suficiente A para que suficientemente B
2. A aunque B 2. bien A o bien B 7. A ya que B 8. Es necesario A para que necesariamente B
3. A pero B 3. A a menos que solamente B 8. A siempre que B 9. A es condición suficiente y necesaria para B
4. A sin embargo B 4. A salvo que únicamente B 9. A puesto que B 10. A siempre que y sólo cuando B
5. A incluso B 5. A excepto que sólo B 10. A es condición necesaria para B 11. Siempre que A y siempre que B
6. A es compatible con B 6. A menos que sólo A, B 11. A es insuficiente para B 12. A es equivalente a B
7. A así como B 7. A o bien necesariamente B 12. Es necesario A para B 13. A es lo mismo que B
8. A del mismo modo B 8. A o exclusivamente B 13. Es insuficiente A para B 14. A es idéntico a B
9. A aún cuando B 9. Ya bien A ya bien B 14. A cada vez que B 15. A implica y está implicado por B
10. A también B 10. A no es equivalente a B 15. A está implicado por B
11. A de la misma forma que B 11. No es equivalente A con B 16. A con la condición de que B El Negador: - A
12. A al igual que B 12. A no es idéntico a B 17. Si solamente A cada vez que B 1. No A, nunca A, jamás (A) (*)
13. Tanto A como cuando B 13. A no es lo mismo que B 18. A divido a que B 2. Es inconcebible que A
14. Siempre ambos A con B 19. A depende de B 3. Es Incompatible que A
15. A empero B El Implicador: A → B 20. A sigue de B 4. No ocurre que A
16. A no obstante B 1. Si A entonces B 21. Únicamente si A, B 5. No es verdad que A
17. No sólo A sino también B 2. Siempre que A por consiguiente B 22. Solo sí A entonces B 6. No es el caso que A
18. Así mismo B 3. Ya que A bien se ve que B 23. Únicamente si A entonces B 7. Es mentira que A
19. A al igual que B 4. Dado que A por eso B 24. Porque B entonces A 8. Es inadmisible que A
20. A a pesar de B 5. En cuanto A por tanto B 25. El que A depende de B 9. No acaece que A
21. A a la vez B 6. Porque A por eso B 26. A es necesario para B 10. De ninguna forma se da A
22. A más B 7. Como A es evidente B 27. B es suficiente para A 11. Carece de todo sentido que A
23. A vemos que también B. 8. Con tal que A es obvio que B 28. A es una circunstancia única para B 12. Es incorrecto que A
9. Toda vez que A en consecuencia B 29. B es condición suficiente (de varias) para 13. Es incierto que A
10. A consiguientemente B A 14. Nadie que sea A
El Disyuntor Incluyente: A v B 11. Dado que A por lo cual B 30. Se cumple que B nada mas que cuando 15. Es objetable que A
1. A o B (sentido incluyente) 12. En la medida que A de allí B se cumple con A 16. En modo alguno A
2. A a menos que B 13. En virtud de que A entonces B 31. Es suficiente B para A 17. En forma alguna A
3. A a menos que A, B 14. A implica a B 32. Solo sí A siempre que B 18. Es absurdo que A
4. A salvo que B 15. A es innecesario para B 33. Solamente (únicamente, 19. Es falso que A
5. A excepto que B 16. Es innecesario A para B necesariamente) si A entonces B 20. Es refutable que A
6. A o también B 17. A es condición suficiente para B 34. Dado solo A luego B 21. Decir que A es una farsa
7. A o bien B 18. A sólo si B 35. A debido a que B 22. Es falaz que A
8. A a no ser que B 19. A luego B 36. Solo A si B 23. Es sofisma que A
9. A o incluso B 20. A trae como consecuencia B 37. A depende de que ocurra B 24. Es contradictorio que A
10. A y bien o también B 21. De A deviene B 38. Ocurre B con el objeto que ocurra A 25. Es refutable que A
11. Al menos uno de los dos A ó B 22. Partiendo de A llegamos a B 39. B está implicado a A
12. A o sino B 23. De A inferimos (deducimos, coligamos) B 40. A está implicado por B
13. A alternativamente B Inalternador: A ↓ B
24. Para A es condición necesaria B 41. Solo si A y siempre que B Ni A ni B
14. A y/o B 25. A sólo cuando B 42. Siempre B y solo si A No A y no B
26. Es suficiente A y B necesario 43. A se sigue de B
27. En el caso que A en tal sentido B Incompatibilizador: A/B
No A o no B
 EJERCICIOS PROPUESTOS 09.¿A qué proposición corresponde el siguiente esquema lógico?
(P . Q) → (R . S)

a) Si dos pulsaciones se atraviesan, continúan conservando la forma original y si el juego ha empezado,

01. La formalización correcta de: “Es inconcebible pensar que, Benito cometió este crimen a no ser que sea llegaremos a calentar.
por despecho. Sin embargo nunca tuvo problemas con su esposa dado que ella fue una mujer trabajadora” b) El Sol desaparece detrás de las nubes y enseguida empieza a refrescar o no desaparece y empieza a
es: calentar.
c) Juan es el más pequeño y Pedro es el más alto solamente si Pedro es el más bajo y Juan es el más
a) – (p v q) ∧ (- C → D) b) – (p ∧ q) ∧ (- C → D) c) – (p v q) ∧ (C ← D) grande.
d) – (p v q) ∧ (- C ← D) e) N.A. d) Moche está al sur y Chicama está al norte o Huanchaco no está al oeste y Laredo está al este.

02. La proposición: “Es inobjetable que sea necesario tener experiencia para mejorar la calidad. Pero es e) Todas las anteriores.
insuficiente mejorar la calidad para que las ventas puedan aumentar”. Se formaliza:
10.La correcta formalización de la proposición: “Es innecesario estudiar Razonamiento Lógico para
a) (A ← B) ∧ – (B ← C) b) - - (A ← B) ∧ – (B ← C) c) - - (A ← B) ∧ (B → C) necesariamente ingresar a la Universidad. Sin embargo dominar aptitud es condición suficiente para tener
d) - - (A → B) ∧ (B → C) e) - - (A ← B) ∧ – (B → C) un buen porcentaje de preguntas aseguradas. Pero sólo si tienes un buen porcentaje de preguntas
aseguradas, estudiarás Raz. Lógico”.
03. La formalización de la proposición: “No es cierto, que el Perú no sea democrático y sea autoritario”, es:
a) [(A → B) ∧ (C → D)] ∧ (D ← A)
a) – (D ∧ A) b) - - D ∧ A c) - (- D ∧ A) b) [(A ↔ B) ∧ (C → D)] ∧ (D → A)
d) - A ∧ - - D e) N.A. c) [(A ← B) ∧ (C → D)] ∧ (D ← A)
d) [(A ↔ B) ∧ (C → D)] ∧ (D ← A)
04. La proposición: “En cuanto la teoría de la relatividad sostiene que la gravedad y el movimiento acelerado e) [(A ← B) ∧ (C → D)] ∧ (D → A)
son equivalentes, consecuentemente se niega todo movimiento absoluto”. Se formaliza:
11. La traducción correcta de la fórmula:
a) (A ∧ B) → C b) (A ≡ B) → C c) (A ≡ B) → - C (B ∧ C) → A, es:
d) A → - B e) N.A.
a) Dado que ríes y juegas es obvio que estás alegre.
05. La proposición: “Como Jenny, Antonio y Enrique son hermanos es evidente que viven en la misma casa. b) Reír es condición suficiente para jugar además de estar alegre.
No obstante solo si existe un cuarto habitante, este es el hermano menor”. Se formaliza como: c) Sólo si ríes y juegas, diremos que estás alegre.
d) Sólo si estás alegre, diremos que puedes reír y jugar.
a) (p → q) ∧ (r ← s) b) (p → q) ∧ - (r ← s) c) [(p ∧ q ∧ r) → s] ∧ (t → u) e) N.A.
d) [(p ∧ q ∧ r) → s] ∧ (t ← u) e) N.A.
12. La proposición: “Siempre y solo cuando las proposiciones no puedan ser enunciados abiertos, diremos
06. La proposición: “Dado que si la lógica es una ciencia formal, estudia la validez del razonamiento; en que las supersticiones tampoco lo serán, sin embargo es falso decir que nunca las creencias serán
consecuencia es útil para la sociedad además para la comunidad científica”. Se formaliza: proposiciones dado que no admiten demostración científica. Por lo tanto, si las creencias fueran
demostrables científicamente, las supersticiones serían
a) (p → q) ← (r ∧ s) b) (p → q) → (r v s) c) (p ∧ q) → (r ∧ s) consideradas como proposiciones lógicas”. Se formaliza:
d) (p ∧ q) → (r → s) e) (p → q) → (r ∧ s)
a) [(- A ↔ – B) ∧ (- D → C)] ∧ (D ∧ B)
07. Formalizar el siguiente enunciado: “Una proposición que se contradice, debe ser eliminada” b) [(- A ↔ – B) ∧ (C ← - D)] → (D → E)
c) [- ( A ↔ – B) ∧ (C ← - D)] → (D → B)
a) p b) p ∧ ∼ p c) p → q d) (p ∧ ∼ p ) → ∼ p e) N.A. d) [(- A ↔ – B) ∧ - (- C ← - D)] → (D → B)
e) [(- A ↔ – B) ∧ - (- C ← - D)] → (D → E)
08. La proposición: “Dado que la materia así como la energía, no se crea ni se destruye; es obvio que ambos
solo sufren transformación”. Se formaliza: 13. Dada la siguiente proposición lógica: “Las personas no se alimentan en forma adecuada, es condición
suficiente para que estén débilmente nutridas”. Podemos afirmar que:
a) (∼ A ∧ ∼ B) → C 1. Se formaliza como: - A → B
b) ∼ (A ∧ B) → C 2. Se formaliza como: - A ← B
c) [(∼ A ∧ ∼ B) ∧ (∼ C ∧ ∼ D)] → (E ∧ F) 3. La condición suficiente es: “Las personas no se alimentan en forma adecuada”
d) [(∼ A ∧ ∼ B) ∧ (∼ C ∧ ∼ D)] → E 4. La condición necesaria es: “Las personas no se alimentan en forma adecuada”.
e) N.A.
 5. La condición necesaria es: “Las personas están débilmente nutridas”. d) (p ≡ q) → r e) p → (q ∧ r)

Son ciertas: 20. La proposición: “El que los razonamientos sean válidos está implicado por el que su esquema formal es
tautológico, sin embargo es suficiente que cumplan con las Reglas de Inferencia para poder demostrar
a) 1,3,4 b) 2,3,5 c) sólo 3 y 5 su validez formalmente”.
d) 1,3,5 e) Ninguna Tiene como fórmula:

14. La proposición: “Sólo si es falso que la oferta favorece a la demanda, la calidad del producto tendrá que a) (p → q) ∧ (r → s)
mejorar. Sin embargo bajamos el precio a menos que solamente mejoremos la calidad del producto”. Se
b) (p → q) ∧ (p → r)
formaliza:
c) (p → q)∧ ∼ (p → s)
a) – (A → B) ∧ (C V B) b) – (A ← B) ∧ (C V B) d) (p ← q) ∧ (r → s)
c) (-A ← B) ∧ (C V B) d) (-A → B) ∧ (C V B) e) (p ← q) ∧ ∼ (r → s)
e) N.a.

15. La proposición: “La sede para el mundial del fútbol de 2006 será Alemania, Brasil o únicamente Australia”.
Se formaliza como:

a) p ∨ q ∨ r b) (p ∧ q) ∨ r
c) p ∨ q ∨ r
− −
d) (p → q) ∨ r e) (p ∧ q) ∨ r
−
16. la proposición: “Es mentira que si el eje de la tierra se inclina cada 27 años, los días serán más cortos.
Además, si es mentira que el perímetro ecuatorial de la tierra se ensancha, las estaciones serán más
prolongadas”. Se formaliza como:

a) ¬(p → q) ∧ (¬ r → s)
b) (¬p → q) ∧ (¬ r → s)
c) ¬{p → [ q ∧ ¬( r → s)]}
d) ¬(p → q) ∧ ¬( r → s)
e) ¬{(p → q) ∧ (¬ r → s)}

17. La proposición: “Si la física, la química y la biología son ciencias naturales; la lógica, la psicología o la
matemática son ciencias sociales”. Se formaliza como:

a) (p ∧ q) → (r ∨ s)
b) (p ∧ q ∧ r) → (s ∨ t ∨ u)
c) A←B
d) (p ∧ q) → (r ∧ s)
e) (p ∨ q ∨ r) → (s ∧ t ∧ u)

18. La proposición: “Perú y Ecuador son países fronterizos, además son tropicales”. Se formaliza como:

a) p ∧ q b) p ∧ (q ∧ r)
c) (p ∧ q) ∧ (r ∧ s) d) (p ∧ q) → r
e) (p ∧ q) ∧ r

19. La proposición: “Termodinámicamente el calor es equivalente al trabajo, en consecuencia ambos dependen

de la temperatura del entorno”. Se formaliza como:

a) (p ∧ q) → r b) (p ≡ q) → (r ∧ s) c) p → q