ELEMENTOS DE LGICA PROPOSICIONAL

Cuando escuchamos la palabra Lgica inmediatamente la asociamos, al menos

a la mayora de personas les pasa esto, con la idea o nocin de razonamiento.
Aunque esta relacin nos puede servir de primera aproximacin, hoy en da esto
puede ser considerado desbordado por la enorme extensin y diversidad que ha
alcanzado esta disciplina, sobre todo en la tecnologa e informtica.
Lo cierto es que uno puede razonar correctamente sin ni siquiera haber estudiado
lgica. Y esto no es un caso aislado. Por ejemplo, en el mundo deportivo se
ejecutan maniobras difciles, a veces increbles, sin que los atletas sepan de las
leyes fsicas que les permiten ejecutar dichas maniobras. Algo similar ocurre en
lgica. Entonces, por qu estudiar lgica?... Bsicamente por dos razones que
expongo a continuacin:
Primero, porque un estudio adecuado de sta la enfocar tanto como una ciencia
y como un arte. Esto significa que es menester aplicar las tcnicas y criterios
aprendidos a nuestros propios razonamientos, lo cual a su vez nos da una menor
posibilidad de cometer errores que aquella persona que nunca ha estudiado
lgica. Esta posibilidad disminuye an ms cuando estudiamos y analizamos
los mtodos incorrectos de razonamiento, las llamadas falacias, pues su
conocimiento nos ayuda efectivamente a evitarlas y nos ayuda a conocer, con slo
escuchar, lo que pasa en realidad en la otra persona.
La otra razn tiene que ver con nuestra necesidad tecnolgica. Todos sabemos,
por ejemplo, que cuando una plancha se est calentando demasiado debemos
bajarle la graduacin. Y no necesitamos que se nos diga qu entendemos por
calentando demasiado (basta con acercar un poco la mano, si es que la ropa
no huele ya ha quemado) o cul es esa temperatura. Hasta aqu no hay
problema. Pero como humanos que somos, no nos quedamos contentos con eso.
Para no estar tan pendientes de que si la plancha est muy caliente o no, es mejor
tener una que automticamente baje su temperatura cuando sta se est
elevando demasiado y la eleve cuando baja ms de lo necesario. Aqu la situacin
cambia. Ahora necesitamos precisar lo que antes era obvio para nosotros y
traducirlo de alguna forma en un lenguaje en que la plancha nos entienda. Es
aqu donde se hace imprescindible el uso de las ciencias formales (la lgica y la
matemtica) y naturales.

La lgica como ciencia

Si reparamos en las ciencias que la humanidad ha creado y cultivado,
advertimos que presentan cinco caractersticas invariables:

Aunque pueden interrelacionarse, lo que distingue a una ciencia de otra (lo que
me permite decir: yo soy matemtico y t abogado) es bsicamente el objeto de
estudio. Basndose en este criterio, Mario Bunge clasifica a las ciencias en dos
grandes grupos: Fcticas (su objeto de estudio est en la realidad fsica o social) y
Formales (cuyo objeto de estudio es ideal o abstracto).

De lo anterior, podemos decir que la lgica es una ciencia formal, cuyo objeto de
estudio son los mtodos y los principios usados para determinar la validez
o invalidez de los argumentos.

La lgica proposicional
La lgica proposicional es una rama de la lgica clsica que estudia las
proposiciones, sus posibles valores de verdad y en el caso ideal, su nivel absoluto
de verdad.
1. Enunciado
Es toda frase u oracin.
a.
b.
c.
d.
e.
f.

Lima es la capital del Per

El doble de 3 es 5
Qu hora es?
Auxilio!
x+2=7
x2 + 2

Dentro de los enunciados podemos distinguir los siguientes tipos

1.1.

Enunciado abierto
Es aquel enunciado que presenta variables y que en s mismo
no es ni verdadero ni falso, pero que al asignarle un valor a
aquellas, resulta ser verdadero o falso, pero no ambos. Se abrevia
por E.A.
Otra forma de caracterizar a los enunciados abiertos es considerarlos
como aquellos enunciados que admiten la posibilidad de convertirse
en una proposicin cuando cada variable asume un valor
determinado. sa es la razn por la que tambin se conocen como
funciones proposicionales.
Un enunciado ser verdadero (o falso) si lo que afirma coincide (o
no) con la realidad.
a. l se fue a Lima
Es un E.A pues no se indica quin es l. En este caso, el pronombre
l acta como variable. Si por ejemplo, hacemos que l se refiera
a Luis, el enunciado sera Luis se fue a Lima, enunciado del cual se
puede hablar de que sea verdadero o falso dependiendo si Luis se
ha ido a Lima o no
b. x + 2y = 7
Es un E.A pues si x + 2 y y = 3 el enunciado se convierte en la
proposicin 2 + 2(3) = 7 la cual es, en los nmeros reales, falsa

1.2.

Enunciado cerrado

Es toda definicin, por lo que su valor de verdad es siempre verdadero,

pues as se ha convenido. Se admiten tambin como enunciados cerrados
a aquellos enunciados cuya verdad se aceptan sin demostracin.
a. El seno de un ngulo agudo es el cociente entre el cateto opuesto y la
hipotenusa.
Enunciado cerrado.
b. El tringulo es un polgono de tres lados
Enunciado cerrado. Se trata de la definicin de tringulo.
2. Proposicin
Es el significado de un enunciado que tenga la propiedad de ser verdadero
o falso, pero no ambas.
a. Todos los peruanos son demcratas
Es una proposicin universal (debido al artculo todos) y afirmativa (el
verbo est afirmando).
b. Algunos osos comen carne
Es una proposicin particular (artculo algunos) y afirmativa (el oso
panda es herbvoro).
c. Miguel Grau muri en el combate de Angamos
Es una proposicin singular (Miguel Grau es nombre propio) y
afirmativa.
d. Io es una satlite de Jpiter
Es una proposicin singular y afirmativa.
e. La Luna no es un planeta
Proposicin singular (la Luna es el nombre del satlite terrestre. Aqu la
no funciona como artculo) y negativa.
Especficamente hablando, no se consideran como proposiciones a los
deseos, dudas, interjecciones, preguntas, pedidos, splicas, rdenes,
las
doxas
o enunciados de opinin o valoracin (por ejemplo, los
mejores jugadores son de la UCV), los enunciados que usan personajes
ficticios (por ejemplo, Romeo se suicid por Julieta), los refranes, los
proverbios, los enunciados abiertos, las pseudoproposiciones (oraciones
declarativas sin sentido), las descripciones definidas, las supersticiones,
mitos y los filosofemas o enunciados filosficos. El porqu de estas
exclusiones debe quedar claro al tener en cuenta la funcin del lenguaje
que predomina en ellos. De la definicin 1.3, todo enunciado cerrado es una

proposicin simple, con valor de verdad siempre verdadero, pero no lo

recprocamente.
a. La Virgen de la Puerta es milagrosa
A pesar de ser una oracin declarativa, es slo un enunciado
b. El ro suena cuando piedras trae
Es un enunciado (refrn)
c. El gato negro trae mala suerte
Enunciado (Supersticin)
d. Qu es la lgica?
Enunciado. Es una pregunta.
e. Debemos honrar a nuestros hroes.
Enunciado. Segn el contexto, puede ser una oracin imperativa o
exhortativa.
f. Sea en hora buena
Enunciado. Oracin desiderativa
En el lenguaje comn, las oraciones se combinan para formar otras ms
complejas. Es natural esperar que lo mismo ocurra con las proposiciones. Para
realizar estas combinaciones, definimos lo siguiente.
3. Trminos de enlace o conectores
Son aquellos trminos que sirven para enlazar una o ms proposiciones y
as formar otras ms complejas. Bsicamente son 7 los conectores
empleados. En la siguiente tabla aparecen sus nombres y la forma ms
pura como aparecen en el lenguaje.
1
.
2
3
4
5
6
7
.

NOMBRE
El Negador
El Conjuntor
El Disyuntor incluyente
El Disyuntor
El Implicador
El Replicador
El Biimplicador

FORMA

...y
no
o
oo
si
si
si y slo
si

Obviamente, dada la diversidad de nuestro lenguaje, hay varios sinnimos

para los conectores mostrados en las tablas y para referirse a cada uno de
stos. P y Q son proposiciones.

Proposiciones Simples y Compuestas

Una proposicin es simple o atmica si no tiene conectivos lgicos en su
estructura. Si los presenta, se denomina compuesta o molecular.
El siguiente grfico muestra las relaciones entre enunciado, enunciado abierto,
enunciado cerrado y proposicin.

Las proposiciones simples pueden ser:

a. Predicativas
Si al sujeto se le atribuye una cualidad o descripcin, es decir, se afirma
una caracterstica respecto a l.
b. Relacionales
Establecen una relacin entre dos o ms sujetos que tienen una
misma categora gramatical. Al sujeto se le compara con otro mediante
trminos relacionales
La siguiente tabla muestra algunos trminos relacionales.
TRMINOS RELACIONALES
Igual

Vecino de

Amigo de

Siams

Semejante a

Amar

Juntos

Compadre de

Contemporneo
de
Gemelo de

Compaero de

Similar a

Hermano de

Correligionario de

Camarada de

Tio de

Mayor que

Menor que

Colega de

Sobrino de

Interrelacionados

Mellizo de

Unidos

Ms que

a. Lima es la capital del Per.

Proposicin simple predicativa
b. El Per es ms rico que Bolivia
Proposicin simple relacional (Relacin comercial)

c. Los felinos son ms carnvoros que los primates.

Relacin simple relacional (Relacin alimenticia)
d. Vallejo fue contemporneo de Maritegui.
Relacin simple relacional (Relacin temporal)
e. Rebeca y Jos obsequian una bicicleta a su sobrino.
Relacin simple relacional (ambos le han obsequiado)
f. Juan y Sara se aman.
Relacin simple relacional (Relacin afectiva)
A su vez, las proposiciones compuestas se clasifican en:
a. Negativas
Si tienen al conector mondico no. Decimos mondico pues slo
necesita de una proposicin para ser una expresin bien formada.
Pueden ser:
i. Simples
Si presenta negador interno, es decir, la negacin va en el verbo.
ii. Complejas
Si tiene negador externo, es decir, la negacin va al inicio de
una proposicin simple o compuesta. Se construye con sinnimos de
no
iii. Por prefijo
Si el trmino predicado va antecedido por un prefijo que indica
negacin

Los felinos no son herbvoros

Es una proposicin compuesta negativa simple. Negador interno no.

Es mentira que en el Per hay democracia.

Es una proposicin compuesta negativa compleja. Negador externo

Es mentira que.

Es absurdo que Juan sea amigo de Luis

Es una proposicin compuesta negativa compleja. Negador externo
Es mentira que.

Alejandro es un amoral
Es una proposicin compuesta negativa por prefijo. Prefijo que
indica negacin amoral.

Este libro est desactualizado

Es una proposicin compuesta negativa por prefijo. Prefijo que
indica negacin desactualizado.

b. Conjuntivas
Si tienen el conector didico y. Didico pues necesita de dos
proposiciones para tener sentido.
Las comas (,) y los puntos seguidos (.) significan muchas veces una
conjuncin.

Alberto es mdico y Juan es abogado

Es una proposicin compuesta conjuntiva.

Per y Brasil son pases sudamericanos.

Es una proposicin compuesta conjuntiva. La oracin puede ser
reescrita como: Per es un pas sudamericano y Brasil es pas
sudamericano. Observa la redundancia.

c. Disyuntivas incluyentes o dbiles

Si tienen el conector didico o en sentido incluyente, esto es,
cuando ambas proposiciones pueden ser ciertas a la vez, es decir, al
menos una es cierta.
Las comas (,) a veces significan disyuncin. El contexto aclarar si se
trata de una conjuncin o de una disyuncin.

La ingeniera es una ciencia o la medicina es un arte.

Es una proposicin compuesta disyuntiva incluyente.

La matemtica o la biologa son ciencias exactas.

Es una proposicin compuesta disyuntiva incluyente. La oracin
puede ser reescrita como: La matemtica es una ciencia exacta o la
biologa es una ciencia exacta.

Los hongos son causantes de enfermedades o ayudan en el

metabolismo.
Es una proposicin compuesta disyuntiva incluyente. Se puede
reescribir como: Los hongos son causantes de enfermedades o los
hongos ayudan en el metabolismo

Los peruanos o los ecuatorianos son pacifistas o buscan el

desarrollo.
Es una proposicin compuesta disyuntiva incluyente. Al reescribirla
como: Los peruanos son pacifistas o los ecuatorianos son pacifistas
o los peruanos buscan el desarrollo o los ecuatorianos buscan el
desarrollo. Se observa que hay en realidad cuatro proposiciones
simples.

d. Disyuntivas excluyentes o fuertes

Si tienen el conector didico o en sentido excluyente, es decir,
cuando ambas proposiciones no pueden ser ciertas al mismo tiempo.
Pueden ser reconocidas por las siguientes caractersticas:
i. Por su forma
Se presentan los siguientes casos:
oo
Esta forma incluye el caso cuando la segunda o es reemplazada
por un sinnimo de la o inclusiva.
o + trmino modificador
Algunos trminos modificadores son slo, nicamente, solamente,
exclusivamente, prioritariamente, etc.
ii. Por su contenido

Si las proposiciones no pueden ser verdaderas a la vez

la ingeniera es una ciencia o es una tcnica.
David es ingeniero o nicamente es poltico.
Marlene es actriz salvo que solamente sea mdico.
Per est en Amrica o Europa.
e. Implicativas o proposiciones hipotticas
Si tienen el conector didico sientonces. Las proposiciones entre
estos trminos reciben nombres especiales.

o Si todos los hombres son mortales y Scrates es hombre, entonces

Scrates es mortal.
o Si Can es soltero, entonces no est casado.
o Si coloco en un cido papel de tornasol azul, entonces el papel de
tornasol se volver rojo.
o Si nuestro equipo pierde el partido, entonces te entrego mil soles.
Existen otros trminos lingsticos para representar a la proposicin implicativa.
Veamos el siguiente ejemplo:

Porque la oferta aumenta, por eso los precios disminuyen.

La demanda aumenta nicamente porque los precios aumentan.

Es suficiente construir la democracia para respetar la constitucin.

Condicin necesaria para construir la democracia es respetar la constitucin
f. Replicativas
Si tienen el conector didico si. Las proposiciones a ambos lados
del si reciben nombres anlogos a los de las implicativas.

o No hay tuberculosis, puesto que no hay infeccin de bacilos.

o Para matricularse es suficiente tener dinero.
o Es necesario matricularse para tener dinero.
o Condicin suficiente para matricularse es tener dinero.
g. Biimplicativas
Si tienen el conector didico si y slo si. Tambin se consideran
biimplicativas las proposiciones de la forma Para es condicin
necesaria y suficiente
o Para ser profesional es suficiente y necesario ser buen estudiante.
La siguiente figura resume los tipos de proposiciones simples y compuestas que
aparecen en nuestro lenguaje: