Documentos de Académico
Documentos de Profesional
Documentos de Cultura
moleculares
Una proposición es un enunciado en indicativo; o sea, una aseveración
afirmativa o negativa que puede ser calificada como verdadera o falsa. Los
enunciados que tienen otra modalidad, no son considerados proposiciones. Es
decir, los enunciados imperativos (¡Tráeme el periódico!), exclamativos (¡Qué
bonito!) e interrogativos (¿A qué hora vas por el pan?) quedan fuera de este
ámbito, ya que su veracidad es difícil de juzgar.[1] En otras palabras, no todo
enunciado es una proposición lógica, mucho menos toda oración, ya que las
oraciones no verbales o frases (como “Muy divertida la película”) no son
consideradas en la Lógica proposiciones, dado a que les falta un verbo. Para que
fungieran como tales, tendrían que formalizarse, es decir, adaptarse al modelo de
la oración verbal. Una oración es una unidad mínima de predicación, pero en la
lógica sólo se considera una proposición a aquella que responde a la estructura
sujeto-verbo-predicado. Esa proposición antes que ser una cadena de sonidos
concreta o una estructura vacía absolutamente, es una representación abstracta
de un pensamiento, es decir, dos expresiones distintas de un mismo significado,
constituyen una proposición. Por ejemplo: “Me duele la cabeza” y “Tengo cefalea”
o “I have a headache” responden a la misma proposición y no se identificarían con
“Mis pies están fríos”.
Ahora bien, una proposición se puede representar tanto con una oración
gramatical, como con una expresión matemática (siempre y cuando ésta afirme o
niegue algo). Entonces proposiciones son:
1) Mi perro está chaparro (oración gramatical).
2) 2 +3= 5 (expresión matemática)
En el segundo caso, es una proposición, ya que dicha expresión
matemática equivale a la aseveración “dos más tres es igual a cinco”.
La lógica simbólica distingue dos tipos de proposiciones: las atómicas
(simples o elementales) y las moleculares (compuestas). Las primeras, no se
pueden dividir en otras proposiciones; mientras que las segundas, sí, y se
conectan entre ellas gracias a términos de enlace llamados conectivos lógicos,
los cuales son: "no", "y", "o", "si"...entonces", “luego”, “pero”, “porque”, “aunque”,
etcétera.
Ejemplos de proposiciones atómicas son:
El perro es mordido por el gato.
Thalía y Tony Motola son esposos. [2]
Sócrates es mortal.
El frío es intenso.
Creo que es lunes.[3]
Deberías ser más prudente.
Ejemplos de proposiciones moleculares son:
Nestle es un emporio y Alpura es una compañía menor.
El PRI no es una institución de caridad. [4]
O estás mal o estás bien.
Si el Tecolote canta, entonces el indio ha muerto.
Ayer fui a la tienda que visitamos el otro día en aquella plaza comercial tan lujosa
localizada en la zona de Santa Fe.
27 > 3
Brenda es interesante, pero Ivonne es más interesante.
Esperé una hora, luego me fui a mi casa.
Simbolización de proposiciones
Una proposición se simboliza con una variable, es decir una letra que la
simbolice. La proposición atómica "Mi recámara es cómoda" simplemente se
puede representar con la letra "z". Y la proposición molecular “Mi recámara es
cómoda y tu recámara es más amplia” se puede representar así: “z y p”. Entonces,
cuando nos hallamos frente a proposiciones moleculares, además de simbolizarse
cada una de sus proposiciones atómicas con una variable, se tienen que
representar la relación o relaciones que hay entre las proposiciones atómicas que
las constituyen. Dichas relaciones son constantes y encierran una forma o
estructura lógica, la cual es determinada por los propios conectivos lógicos[5] que
en el uso corriente del lenguaje pueden ser muchísimos, como ya vimos, pero que
en la lógica proposicional se reducen a ciertos elementos típicos o estructuras
lógicas básicas que tienen una función de enlace específica (más tarde veremos
cada una) y hacen más fácil el análisis de las proposiciones en comparación con
los otros conectivos. Así pues, a la unión de proposiciones mediante la partícula
"y" se llamaconjunción; a la unión entre proposiciones mediante el conectivo "o"
se denomina disyunción;[6] a la unión de proposiciones por medio del condicional
"si... entonces" o "si... , ..." se le nombra implicación o condicional; a la unión de
proposiciones por medio de la frase “si y sólo si” se le llama bicondicional; y por
último, al añadido de la palabra "no" a una proposición, se le conoce
como negación o función contradictoria.[7] Veamos el siguiente cuadro:
Conectivo Función o estructura Proposición
Y Conjunción Nestle es una
emporio yAlpura es una
compañía menor
O Disyunción O estás mal o estás bien.
No Negación El PRI no es una institución
de caridad
Si... entonces Implicación o condicional Si el Tecolote canta,
entonces el indio ha muerto
...si y sólo si... Bicondicional Pagaré la apuesta si y sólo
si los Diablos Rojos del
Toluca pierden.
Una proposición molecular podría ser una conjunción que contuviera por un
lado una disyunción y por el otro un enunciado simple. Por ejemplo:
O es el gato Tom o es el gato Felix y está acompañado por un ratón.
Su simbolización por medio de paréntesis resultaría del siguiente modo:
(O (es el gato Tom) o (es el gato Felix)) y (está acompañado por un ratón).
Haciendo uso de variables, resultaría lo siguiente:
[O (T) o (F)] y (R).
Si añadimos los símbolos de sus funciones sería:
[(T) V (F)] & ( R).
Tantos paréntesis nos pueden confundir. Así que la regla es usar la menor
cantidad de paréntesis. Si quitamos aquellos que cubren cada proposición atómica
y sólo dejamos los que indican que hay una proposición molecular en conjunción
con una atómica, la situación se pone más clara:
(T V F) & R
Si quitáramos este último paréntesis. Ya no sabríamos exactamente qué
es lo que simbolizamos. No sabríamos si estamos frente a una proposición
molecular conjuntiva (y) o ante una disyuntiva (o):
TVF&R
De hecho, alguien un poco más desconfiado desde el principio no hubiera
estado conforme con la simbolización que realizamos de la proposición: "O es el
gato Tom o es el gato Felix y está acompañado por un ratón". Esa persona nos
podría objetar que quizá la representación correcta sería:
(O es el gato Tom) o (es el gato Felix y está acompañado de un ratón).
O más brevemente:
T V (F & R)
¿Cómo se puede saber cuál es proposición que se nos quiere
transmitir? Imaginemos que estamos en un mundo ficticio habitado por esas
caricaturas y dos observadores contemplando al horizonte a lo lejos vieran una
imagen borrosa acercarse. Uno de los observadores precisamente está mirando
esa figura a través de unos binoculares. El otro, no, pero le pregunta: "¿qué ves?".
Mas aquel no está muy seguro a pesar de que capta mejor aquella mancha y le
contesta en tono monótono a su compañero: "O es el gato Tom o es el gato Felix y
está acompañado de un ratón". El observador sin binoculares, ¿qué debe
entender: 1) que viene un gato (tal vez es Tom o tal vez es Felix) y está
acompañado de un ratón; o 2) que viene un felino que a la mejor es Tom o que a
lo mejor se trata del gato Felix en compañía de un roedor?
El uso de una pausa (una coma por escrito) o de frases como "a la vez"
ayudaría:
1. O es el gato Tom o es el gato Felix, y está acompañado por un ratón. (T V F) & R.
2. O es el gato Tom, o es el gato Felix y a la vez está acompañado por un ratón. T
V (F & R).
¬ = No ocurre[9]
P = Pedro Picapiedra sea marido de Bety
M = Pablo Mármol sea esposo de Betty
Hay términos de enlace que son más potentes que otros, es decir, que su
función es más fuerte que la de otros. De hecho hay tres de reglas en relación
con esto que nos permiten prescindir de algunos paréntesis:
1) El signo de la implicación es más potente que el resto de símbolos de los
términos de enlace.
Ejemplo:
Si George Bush padre fue presidente y George Bush hijo es presidente entonces
los dos han sido políticos ambiciosos.
[Si (George Bush padre fue presidente) y (George Bush hijo es presidente)]
entonces (los dos han sido políticos ambiciosos).
Si [(P) y (H)] entonces (E).
(P & H) E
P&HE
Para el sentido común esta frase está clara. P y H son una unidad, por lo tanto
si el signo de la implicación aparece al lado de esta conjunción y la relaciona con
otra proposición, sabremos que la proposición molecular que se representa es una
condicional que une a una conjunción con una proposición atómica.
También se aplica esta regla para el resto de los siguientes casos:
A (B & C) que puede ser A B & C
(A V B) C que puede ser A V B C
A (B V C) que puede ser A B V C
En consecuencia, si tenemos una proposición molecular donde haya una
condicional y el término dominante sea otro, no se podrá eliminar el paréntesis:
Si eso es neblina entonces hace frío allá o es el humo de un incendio [(Si (eso es
neblina) entonces (hace frío allá)] o (es el humo de un incendio).
(N L) V F
2) El signo de la negación es el menos potente entre los conectivos lógicos.
La negación sólo afecta a la proposición en la que aparece. Veamos:
Ese sudafricano no es de raza negra o se decoloró la piel como Michael
Jackson.
Su representación es la siguiente:
¬(S) V J
En ningún momento la negación abarcó también a la otra proposición atómica.
Por lo tanto se puede evitar los paréntesis:
¬S V J
La regla funciona en el resto de los casos similares:
SV¬N
¬S V ¬N
¬S & N
S&¬N
¬S & ¬N
¬S N
S¬N
¬S ¬N
Pero cuando la negación es el término dominante de una proposición se
deben respetar los paréntesis:
No ocurre que Marte esté habitado y que los extraterrestres nos invadan.
No ocurre que [(Marte esté habitado) y que (los extraterrestres nos invadan)].
¬ [(M) & (X)]
¬ (M & X)[10]
3) Los signos de la conjunción y de la disyunción son igualmente potentes.
¿Qué es lo que se hace en este caso? Justo lo que indicamos en el inciso de la
"Conjunción versus disyunción".