Elementos de Lgica

La lgica estudia los principios y mtodos que se emplean para distinguir el razonamiento
correcto del incorrecto.
Un razonamiento es un conjunto de proposiciones tal que una de ellas, la conclusin, se afirma
sobre la base de las otras, las premisas, que proporcionan elementos para aceptarla.
Para distinguir entre los razonamientos correctos e incorrectos la lgica opera, en principio desde
un punto de vista formal: considera la forma o estructura de un razonamiento y no su contenido o
materia.
Al procedimiento por el cual se pasa de un razonamiento o de una proposicin a su forma o
estructura lgica se lo llama abstraccin. Abstraer es descubrir los elementos estructurales en
una proposicin o en un razonamiento.
Todos los chilenos son americanos =>

Todo S es P.

El procedimiento inverso al de abstraccin es la interpretacin. La misma consiste en pasar de

una forma de proposicin o de razonamiento a una proposicin o a un razonamiento. Esto se
logra asignando un contenido a las formas vacas.
Abstraccin e interpretacin son dos procedimientos muy tiles para considerar la correccin o
incorreccin de los razonamientos. Dado un razonamiento, por abstraccin se obtiene su forma,
su esqueleto. Esta forma puede ser interpretada de mltiples maneras
Lgica proposicional
Las proposiciones se dividen en dos grandes grupos: atmicas y moleculares. Atmicas son las
mnimas unidades de las que tiene sentido predicar su verdad o falsedad: Hoy es martes. Cada
proposicin atmica se simboliza con las letras p, q, r, llamadas variables
proposicionales. Las proposiciones moleculares estn compuestas por una o ms atmicas y su
valor de verdad, es decir, el ser verdaderas o falsas, est en funcin del valor de verdad de las
atmicas que la componen. Hoy es martes y hace fro. es una proposicin molecular formada
por dos proposiciones atmicas: Hoy es martes y Hoy hace fro. La experiencia y no la
lgica determina el valor de verdad de las proposiciones atmicas. Pero s puede determinar el
valor de la verdad de la molecular en base a los valores de verdad de las atmicas. Hoy es

martes y hace fro ser verdadera cuando sea verdad que Hoy es martes y tambin sea verdad
que hace fro.
La mayor parte de las proposiciones moleculares est compuesta por dos o ms atmicas. Pero
existe un tipo de proposicin molecular, la proposicin negativa, que est compuesta por una
nica atmica: Sandy no es un tigre. Est compuesta por una atmica Sandy es un tigre, pero
negada. El valor de verdad de la molecular est en funcin del valor de verdad de la atmica: la
molecular ser verdadera cuando la atmica sea falsa y falsa, cuando la atmica sea verdadera.
Conjunciones
Cuando se afirma en una nica proposicin la unin de dos proposiciones atmicas. Lasie es un
perro y Flix es un gato. p q . En castellano es el y, pero, aunque, etc. Una proposicin
conjuntiva es verdadera cuando ambos componentes son verdaderos, y falsa en todos los otros
casos.
La siguiente tabla, tabla de verdad, expresa grficamente todos los casos posibles: 4
p

Disyunciones: La conectiva en este caso equivales al o: Voy a tomar el 85 o el 34.

La o es ambigua. Puede querer decir o lo uno o lo otro o ambos (disyuncin inclusiva) o o
lo uno o lo otro pero no ambos (disyuncin exclusiva). Una proposicin disyuntiva incluyente
es falsa cuando ambos componentes son falsos y verdadera en todos los otros casos:
p

Condicionales: En estas proposiciones podemos distinguir un antecedente y un consecuente. El

antecedente es condicin suficiente para el consecuente. Si estudia ingls entonces viajar a
Estados Unidos. Estudia ingls, antecedente, es condicin suficiente para que se d el
consecuente, viajar a Estados Unidos Una proposicin condicional es falsa si y slo si su
antecedente es verdadero y su consecuente falso. Es verdadera en todos los otros casos.
p

El condicional establece una cierta relacin entre el antecedente y el consecuente. El que afirma
un condicional, no afirma p, ni afirma q, slo afirma que si p entonces q. No puede ser que
se d p y que no se d q, esto es, que p sea verdadero y q sea falso. Slo en este caso,
cuando p es verdadero y q es falsa, el condicional es falso.
Negacin. La negacin invierte el valor de la proposicin. Supongamos una proposicin
Napolen muri en Francia su correspondiente negativa es Napolen no muri en Francia.
La negacin de una proposicin verdadera es falsa y la negacin de una proposicin falsa es
verdadera.
p

~p

Si tenemos ms de una conectiva, como en No fue al cine, pero fue al teatro.

fue al cine es p y fue al teatro es q.
La negacin afecta a la primera proposicin nada ms.
Se simboliza: ~p q.

~ p

FV

VF

FV

VF

Si la forma proposicional fuera ~ ( p q )

~

(p

q)

la tabla de verdad sera:

No te olvides que primero, como en matemticas, hay que resolver lo que est dentro del
parntesis y despus lo que est afuera.