INTRODUCCION A LA LOGICA SIMBOLICA

Avance Histórico de la Lógica

Existen dos momentos en la historia de la lógica, ellos son la lógica aristotélica y la lógica
simbólica
S IV a.C. al XI iniciado por Aristóteles con su obra Organon. Es también
denominada lógica clásica o tradicional. Esta lógica es considerada
como una ciencia formal, normativa, propedéutica. Se enriqueció con
los distintos aportes a través de las edades media y moderna, pero sin
sufrir modificaciones sustanciales.
S XIV Kant critica el Organon y afirma que es una obra completa

S XIX Bertrand Russell con sus principios matemáticos, constituye un

nuevo Organon, conserva los elementos básicos de la lógica
tradicional con un nuevo enfoque.
Aparece la lógica simbólica o matemática.

Los tres volúmenes de Principia Matemática, escritos por Bertrand Russell (en la imagen) y Alfred North
Whitehead, influyeron de forma decisiva en el posterior desarrollo de las matemáticas y la lógica
filosófica. Russell también estuvo profundamente interesado en el campo de la teoría educacional y
puso en práctica sus innovadores métodos de enseñanza en el Beacon Hill School, centro que dirigió
desde 1928 hasta 1932.

UPI/Corbis1

1"Bertrand Russell," Enciclopedia Microsoft® Encarta® 2000. © 1993-

1999 Microsoft Corporation. Reservados todos los derechos.
S XX en la actualidad la lógica se desarrolla con este nuevo enfoque.

Lógica Simbólica o Matemática

Fue elaborada por matemáticos y surgió entre otros motivos con el objeto de
justificar la validez de ciertos razonamientos que la lógica matemática considera
válidos y que la lógica aristotélica no podía justificar como tales.
Sus precursores fueron:
George Boole- " El Análisis Matemático de la Lógica".
August De Morgan Lógica Formal.
Gottlob Frege Begriffschript.
Giuseppe Peano

Alfred North Whitehead, matemático y filósofo británico, colaboró con su colega Bertrand Russell en el
libro Principia Mathematica, en el que hablaban sobre los fundamentos lógicos de las matemáticas. Los
tres volúmenes del Principia identificaban y formalizaban los supuestos básicos de las matemáticas y
demostraban cómo verdades asequibles, como uno más uno igual a dos, se derivaban de ellos.
Su desarrollo y sistematización se debió al trabajo de Bertrand Russell y Alfred
Whitehead (1910-1913) en su obra "Principia Mathematica".
En esta lógica, que intenta superar las deficiencias del lenguaje cotidiano, no se
emplean palabras de los distintos idiomas sino símbolos convencionales y
adoptados para tal fin.
Con estos signos se realizan operaciones de cálculos, se simbolizan
proposiciones y razonamientos.
Desaparecen en esta lógica el concepto de juicio que para los lógicos tiene una
cierta connotación psicológica y se emplea el concepto proposición.
La lógica matemática no se contrapone a la lógica tradicional, sino que, los
conceptos de esta ultima queda comprendida en ella por ser más simbólica.

Características de la Lógica Simbólica

 Se amplio el campo de la lógica pues se considera numerosos razonamiento
que no habían sido estudiados por la lógica clásica. Por ej. , los razonamiento
de tipo relacionales: "Pedro es padre de Juan. Por lo tanto, Juan es hijo de
Pedro.", es estudiado por la lógica de relaciones.
La lógica simbólica es una ampliación de la Lógica Clásica.

 Extendido uso de los símbolos, o sea, de signos convencionales que dotan a la

lógica de un lenguaje similar al matemático.
"Así como el cambio de la simbología de números romanos por los numero
arábigos provocaron fácil comprensión y claridad para el calculo aritmético. La
nueva simbología dentro de la lógica trajo como consecuencia la rapidez y
seguridad para obtener la validez de una proposición y un razonamiento." Copi
 Rechaza firmemente de su campo toda consideración psicológica o
gnoseológica, para mantenerse en un plano estrictamente formal
Insiste en abstraer, es desposeer el pensamiento de su contenido, logrando la
simbolización formal.
La lógica simbólica pretende constituirse en una ciencia positiva,
independientemente de cualquier ontología, gnoseología o psicología.
 La unión de la matemática y la lógica que si bien son distintas entre sí, corren
parejo por igual al ser ambos formales.
La lógica le da gracia a la matemática, y esta la virilidad. Obiols

Frutos de la Lógica Simbólica

 La construcción de la lógica simbólica hizo posible la investigación des de un
nuevo ángulo de las relaciones entre lógica y matemática.
B. Russell y a. Whitehead mostraron que en realidad no hay dos ciencias
formales separadas, sino que la lógica y la matemática constituyen un
continuo, siendo la lógica la juventud de la matemática y la matemática la
virilidad de la lógica.
La lógica simbólica se utilizo ampliamente en la elaboración de una nueva
disciplina matemática: la teoría de conjuntos.
 Encontró una aplicación importante en el análisis gramatical del lenguaje.
Incide en la gramática con un aporte, la llamada gramática estructural que
surge de su relación
 Influye en la construcción de una joven disciplina, la semiótica.
 Se considera como una ciencia auxiliar que ayuda a todo el resto de las
ciencias. Las leyes y reglas lógica, sus técnicas y métodos juegan un
importante papel en la construcción y justificación de teorías científicas en
cualquier campo del saber.
 En la actualidad se ha constituido una filosofía de la lógica, en la que se debate
sobre el carácter de los entes lógicos.

Clasificación de la Lógica Simbólica (subdivisión)

1. Lógica Preposicional
2. Lógica de Predicados o Cuantificacional o Existencial
3. Lógica de Clases
4. Lógica de Relaciones

El orden expuesto se debe a que se debe presuponer un tema con respecto a

otro. Cada uno ahonda en la forma del pensamiento presuponiendo la/s
anterior/es lógica/s.
Hay signos comunes. Se inventan técnicas, reglas, leyes en cada lógica.
El conjunto de las lógicas elaboran todo un sistema simbólico par simbolizar el
pensamiento, para decidir su validez.
El fin ultimo de la lógica es determinar la validez de la forma del pensamiento, y
eso es lo que se busca con todo esto.
 SEMIÓTICA
La Semiótica como Ciencia
Como la lógica simbólica trabaja con signos, vamos a referirnos a una ciencia
llamada "semiótica", que es precisamente el estudio de los signos. (O ciencia
referida o relativa a los signos).
La semiótica se encuentra en un Nivel Expresional lingüístico.
Es una ciencia antiquísima pero como ciencia sistematizada, estructurada es
nueva.

Signo
Es un objeto sensible que sirve para sustituir o representar a otro objeto ausente
de nuestra percepción.

Característica del signo

 Es un objeto físico, sensible (captado por los sentidos)
Ej. : bandera roja, mapa, nota musical, una palabra escrita.

 Hacen referencia a otra cosa

Ej. : bandera roja. peligro
Mapa. lugar geográfico
Nota musical. sonido

 Hacen referencia a algo para un cierto sujeto (interprete)

Ej. : personas, animales amaestrados

Los signos pueden tener un único interprete (profesor con su sistema de

calificación) o varios interpretes (el lenguaje castellano, semáforo)
El signo es un objeto sensible.
El sustituido del signo puede ser un objeto real (mesa), objeto ideal (el numero
uno), objeto imaginario (pato Donald), etc.
Todos los signos son objetos pero no todos los objeto signos.

Aclaración de conceptos

Percepción
Es una captación compleja. Es una captación sensible de un objeto en forma
integral; se halla conformada por sensaciones.

Sensación
Es una captación simple. Es una captación de las cualidades por medios de los
sentidos.

Ej. :

Sensación rectangular
Sensación verde Percepción de un rectángulo verde y grande
Sensación grande

Imaginación
Es la representación mental y sensible de un objeto determinado.

El Proceso Semiótico o Semiósis

La semiosis o proceso semiótico es el proceso el cual un elemento funciona como
signo para un sujeto que frente a el se remite a otro.
Los elementos que intervienen en el proceso son:

Signo
S - signo o vehículo señal

Denotado
D - el designado, es decir, lo que el signo sustituye, El significado del signo.

Interprete
I - el interprete o usuario, que es el sujeto que pone el signo se remite al
designado.

Interpretación - lo que entiende el sujeto por el signo, algunos autores lo

consideran un cuarto elemento.

Clases de signos

Signos Naturales
Son aquellos signos en que la relación S- D esta dada por su naturaleza y el
hombre los descubre. Obedecen a una relación causa efecto, donde el signo es el
efecto y la causa el designado.
Ej. :
Humo de la chimenea---------------------- señal de que se quema algo
Ruido de la pava-----------------------------señal de que hierve
Huella en la nieve----------------------------señal del paso de algo

Signos Artificiales
Son aquellos signos en que la relación S-D esta creada po0r el hombre. Se
subdivide en:

 Símbolos o signos convencionales: la relación S- D es arbitraria, no hay

ninguna analogía entre signo y su designado
Ej. :
Semáforo en rojo
La palabra "árbol" otorgado a un vegetal

 Iconos o signos icónicos: la relación s-d es de similitud, existe entre ambos

cierta analogía, en el signo están presentes ciertas características del
designado.
Ej. :
Un mapa, un retrato, una maqueta, las señales del camino, etc.

Existen signos en que se combinan estas dos ultimas clases de signos. Por ej. ,
una señal caminera, que tiene en el centro la siluetea de una locomotora
(elemento icónico) y el color de fondo, su forma, su tamaño y su ubicación son
elementos convencionales.
La mayoría de los signos que usamos son convencionales.

Dimensiones del Proceso Semiótico

En la semiosis es forzoso y necesario para que el proceso se realice que existan

los tres elementos (interprete, signo y designado) Ej. acsa no designa nada.
Las dimensiones de la semiosis son las distintas relaciones que el signo entabla
con los distintos elementos del proceso semiótico.

Dimensión Sintáctica
Es la relación del signo consigo mismo o con otros signos.
Los signos se encuentran frecuentemente relacionados unos con otros, formando
sistemas, como los signos que forman la notación musical, la aritmética o el
lenguaje común.

Dimensión Semántica
Es la relación que se da entre un signo y su designado.
Ej. un mapa que indica un lugar geográfico
Me ubico en esta dimensión cuando explicito el objeto del signo, aclaro el
designado, explicito el alcance del signo.
Ej. : el timbre de las 10 indica recreo
Como había olor a pollo quiere decir que cocinaron pollo

Dimensión Pragmática
Es la relación que se da entre un signo o sistema de signos y los interpretes de
estos.
Me ubico en esta dimensión cuando aclaro quien, como usa el signo, como debe
ser usado (regla).
Ej. : en salta se utiliza el término "opa" en vez de tonto

Ramas de la semiótica
El estudio de cada una de estas dimensiones da lugar a una de las distintas ramas
de la semiótica. Ellas son:
La Sintaxis
Se ocupa de establecer las relaciones que los signos tienen o pueden tener entre
sí.
Cuando estudiamos un lenguaje desde este punto de vista nos interesa los signos
en tanto cosas, independientemente de lo que significan o designan, nos interesa
saber:
1.- cuales son los signos primitivos, básicos o elementales
2.- como formar nuevas combinaciones de signo primitivos
3.- como obtener una nueva expresión a partir de otras que se construyeron

La Semántica
Se ocupa de establecer las relaciones que los signos tienen con sus designados.
En este caso de estudio, nos interesa saber:
1.- que designan o designaran nuestros signos
2 que denotan
3 .- cuando un complejo dado de signos (proposición) es V o F

La Pragmática
Se ocupa de establecer las relaciones que los signos tienen con sus usuarios o
interpretes
aquí nos interesa:
1. como debe interpretarse un signo de nuestro del lenguaje
2. como es interpretado por los demás
3. como debe entenderse una expresión de nuestro lenguaje
4. que convenciones vamos a adoptar para su uso

Hay reglas que rigen las relaciones que se dan en cada una de las tres ramas
mencionadas:

 REGLAS SINTÁCTICAS rigen las relaciones entre signos

Ej. : reglas ortográficas o del álgebra.

 REGLAS SEMÁNTICAS rigen las relaciones entre los signos y los designados.
Ej. : cuando suenan los dos timbres consecutivos se podrá ingresar al comedor-
uniforme

 REGLAS PRAGMÁTICAS analizan las reglas de uso de los signos, es decir,

como los usan los interpretes.
Ej. : como utilizamos los gerundios los argentinos
Utilización de "b" y "v"
Utilización de "c", "s" y "z"
La gramática es una ciencia semiótica porque estudia los signos.
La lógica simbólica también es semiótica.

El Lenguaje y el Metalenguaje
En el enunciado en la sala hay cuatro sillas, la palabra silla tiene por designado un
tipo de mueble con determinadas características. En este caso decimos que la
palabra es usada para hacer referencia a dicha clase de objeto.
En cambio, en el enunciado silla tiene 4 letras, la palabra silla no hace referencia
al objeto de esa denominación sino a la palabra, en si, y afirma que tiene 4 letras.
En este caso la palabra es mencionada.
Cuando usamos una palabra para designar, hablar, estamos en un nivel que
corresponde al lenguaje.
Pero cuando mencionamos un lenguaje estamos en un nivel de metalenguaje.
(lenguaje que utilizamos para analizar a otro)
Ej.:
Nivel 1° en la sala hay cuatro sillas lenguaje
Nivel 2° silla tiene 4 letras metalenguaje
Nivel 3° la proposición silla tiene 4 letras esta escrita en español meta-
metalenguaje
Nivel 4°, nivel 5°, etc.

La semiótica es un metalenguaje porque es un lenguaje que se ocupa de los

signos.
A su vez, toda expresión que esta en metalenguaje pertenece a una dimensión del
proceso semiótico (sintáctica, semántica o pragmática)
Ej. :
La palabra gato hace referencia a ciertos animales domésticos. Metalenguaje.
Dimensión Semántica
Cielo se escribe con "c" y no con "s". Dimensión Sintáctica

Designado y Denotado de un Signo Lingüístico

Los signos lingüísticos son los signos que constituyen un lenguaje.
La semántica distingue, por un lado, el designado de un signo lingüístico y por
otro, su denotado.

Designado: es el conjunto de características a que hace referencia el signo

Es el objeto que es sustituido por el signo
Ej. :
"Mesa" tiene como designado las propiedades o características de ser un mueble:
tener una superficie de apoyo con uno o más soportes.

Denotado: es el conjunto de todas las entidades que poseen las características

del designado, siempre y cuando a lo que se refiere el signo es un objeto real. 2
Ej. :
"Mesa" tiene como denotado la clase de las mesas, es decir, todas las mesas.

También puede utilizarse los siguientes pares:

Designado - Denotado
Designación - Detonación
Intensión - Extensión
Sentido - Detonación
Connotación - Detonación

Verdaderamente existe una relación entre comprensión - extensión y designado -

denotado:

Comprensión
Nivel Mental
(Lóg. Aristotélica) Extensión

Designado
Nivel Referencial
(Lóg. Simbólica) Denotado

2
Paz, fantasma, duende, centauro tienen designado pero no denotado
 1.- LOGICA PROPOSICIONAL

Introducción
Esta lógica constituye el primer gran capitulo de la lógica simbólica. Es el tema
más grueso de la lógica simbólica, no ofrece un panorama amplio a vuelo de
pájaro sobre la lógica simbólica en general.
El punto de partida es la PROPOSICION.

La Proposición

Son aquellas expresiones que afirman o niegan algo y de las que,

por lo tanto, tiene sentido predicar, que poseen un valor veritativo,
esto es, que son verdaderas o falsas.

Ej. :
La luna es blanca.
Sócrates nació en macedonia.

No son proporciones aquellas expresiones como: ¡retírate! ¡Ay! ¿Cómo se llama?,

pues ellas no afirman (ni niegan) nada, no son ni verdades ni falsas.
En una primera aproximación puede decirse, pues, que las proposiciones
corresponden a lo que los gramáticos llaman oraciones enunciativas o declarativas
y no a las oraciones interrogativas, imperativas o exclamativas.
Sin embargo, no es licito identificar totalmente oración declarativa con proposición.
La diferencia existente entre ambas radica en que la primera es una formula
material(oral o escrita) de una determinada lengua (castellano, ingles, francés,
etc.) que consta de ciertas palabras dispuestas de un determinado modo. Las
proposiciones, en cambio, corresponden al significado de estas oraciones.

Ej. :

Juan es buen alumno.

John is a good pupil. p
Jean est un bon élevé.

Es decir, que dos o más oraciones distintas pueden corresponder la misma

proposición si ella tiene el mismo significado.

Una proposición es una unidad de sentido que puede

expresarse en distintos idiomas.

A la lógica simbólica le interesa la proposición como elemento mínimo, como un

elemento todo cerrado, como una unidad de calculo. No le interesa los términos
sujeto y predicado que se tenían en cuenta en la lógica clásica.

Clases de proposiciones

Proposiciones atómicas y moleculares

Proposiciones atómicas: (o simples) son aquellas que no contienen ninguna otra

proposición como parte constituyente. No llevan
conectivas.
Ej. : Llueve.

Proposiciones moleculares: (o compuestas) aquellas que contienen dentro suyo

otras proposiciones. Llevan conectivas.
Ej. : Si viene Juan, yo me voy.
 No llueve.3

El valor de V o F de las proposiciones atómicas la lógica no lo puede determinar,

solo la experiencia, por ej. : observando un termómetro, podré determinar el valor
de verdad de la proposición "hoy hace frío".
En cambio, el valor de verdad de las proposiciones moleculares esta en función
del valor de verdad de las proposiciones atómicas.

Proposiciones extensionales y no extensionales

Proposiciones extensionales: son aquellas proposiciones moleculares cuyo valor
de verdad esta determinado por el valor de verdad de las proposiciones
componentes y el significado de ciertas palabras como "y", "o", etc.
Ej. : Carlos se fue y Juan lo acompaño.
1era. 2da.
Proposición proposición

Proposiciones no extensionales: son aquellas proposiciones moleculares que no

son funciones de verdad de sus proposiciones componentes.
Ej. : hace frío porque llovió.4

Sistema Simbólico

Variables Proposicionales
son símbolos que representan a cualquier
proposición.
Son variables porque varían su contenido y
proposicional porque se refieren a proposiciones
simples.

Se emplean en forma convencional los siguientes signos:

p _q_ r_s
Ej. : El pizarrón es negro ..................... p
proposición variable proposicional

en caso de ser necesario, las mismas con subíndice:

p1 _ q1 _ r1 _ s1; p2 _ q2 _ r2 _ s2
y así sucesivamente.
Cada letra representa un enunciado, y a su vez, cada enunciado se dice que es un
caso de sustitución de una letra.
Ej. :
"El lápiz se rompió" se simboliza mediante "p", y es un caso de sustitución de "p".

Conectivas Extensionales
 Son partículas que sirven de nexos, para unir las
proposiciones entre sí.
 Son constantes lógicas porque van a cumplir un
función especifica.
 Son extensionales porque cumplen una función de
verdad. Es decir, que la verdad de todas las

3
Esta proposición, se la considera, a pesar de su aparente simplicidad, como molecular pues podemos aislar
dentro de ella una "p", aun más simple.
4
En el ejemplo, si suponemos que son verdaderas las dos proposiciones componentes "hace frío" y "llovió",
sin embargo, no podemos por eso decir que sea cierto que hace frío porque llovió, pues podría ocurrir que
hiciera frío por otras razones.
 proposiciones unidas (las moleculares) depende de
la conectiva y de las proposiciones simples.

Tabla de Conectivas
Veamos en una tabla las conectivas mas usadas:

I.- Símbolo II.- Locución en III.- Ilustración en IV.- Simbolización

Conectiva
Lógico lenguaje usual lenguaje usual de III

No...
 Ni... No llueve
Negación No es cierto que... p
 No es verdad que...

... y..
... e.. Llueve y truena
Conjunción pero...
. además...
o p.q
Producto  sino...
sin embargo...
aunque...

Si... ,...
Condicional Si... entonces... Si llueve entonces
o  ...es condición necesaria habrá cosecha
para... pq
Implicación  ...es condición suficiente
para...

Bicondicional ...si y solo si...

o  necesariamente...
...es condición necesaria
Habrá cosecha si y
Equivalencia solo si llueve.
o  y suficiente para.... pq
Doble  únicamente en el caso...
Implicación
... o..
...y/o... Estaba triste o
Disyunción ... u.. preocupado. (o
inclusiva v ...a menos que... pvq
ambas cosas)
...o bien...

... o..
Iremos al cine o al
Disyunción
exclusiva w teatro (pero no a pwq
ambos lados)
Tablas de Verdad de las Formas Proposicionales
Es una técnica que sirve para determinar cuando una proposición es verdadera o
falsa.
Indica, dadas las distintas combinaciones posibles de valores de verdad de sus
componentes, cual será el valor de verdad de la proposición molecular.

1° Tabla de la Negación
La negación invierte el valor de verdad de una proposición. Así, la negación de
una proposición verdadera es falsa y la negación de una proposición falsa es
verdadera.
La tabla de verdad de la negación es la siguiente:

p p
V F
F V

2° Tabla de la Conjunción
Una proposición conjuntiva es verdadera si y solo si ambos componentes son
verdaderos, en cualquier otro caso es falsa.
Las proposiciones componentes se denominan conjuntivas.

p q p.q
V V V
F V F
V F F
F F F

3° Tabla de la Disyunción Inclusiva

Una proposición disyuntiva incluyente es verdadera cuando, por lo menos, uno de
los valores es verdadero.
Las proposiciones componentes se denominan "disyuntivos".

p q p v q
V V V
 F V V
V F V
F F F

4° Tabla de la Disyunción Excluyente

Una proposición disyuntiva excluyente es verdadera cuando los dos valores son
distintos, en cualquier otro caso es falso.
Las proposiciones componentes se denominan "disyuntivos".

p q pwq
V V F
F V V
V F V
F F F

5° Tabla del Condicional

En estas proposiciones distinguimos un antecedente y un consecuente. El
antecedente es condición suficiente para el consecuente.
Ej. :
"Si en este colegio hay 100 alumnos, en este curso hay menos de cien.
La proposición "en este colegio hay cien alumnos", antecedente, es condición
suficiente para que se dé el consecuente, "en este curso hay menos de cien"
Una proposición condicional es verdadera en todos los casos, menos cuando el
antecedente es verdadero y el consecuente falso.5

p q pq
V V V
F V V
V F F
F F V

6.- Tabla del Bicondicional

Son proposiciones que expresan la equivalencia o mutua implicación entre sus
componentes.

5
Las proposiciones condicionales establecen una cierta relación entre el antecedente y el consecuente. El que
afirma un condicional, no afirma "p", ni afirma "q" individualmente, solo afirma que " si p entonces q", es
decir que o puede ser que se dé "p" y no se dé "q"; en otras palabras que "p" sea verdadero y "q" sea falso.
Solo en este caso, cuando "p" es verdadero y "q" falso, el condicional es falso.
En términos rigurosos, puede decirse que la formula condicional no afirma su antecedente ni su consecuente;
solo afirma que no es el caso de que el antecedente sea verdadero y el consecuente falso pues sino no existiría
condición, implicación.
Las proposiciones bicondicionales son verdaderas si y solo si ambos componentes
tienen el mismo valor de verdad. (V o F)

p q pq
V V V
F V F
V F F
F F V

Ejemplos y Construcción de Tablas de Verdad

Para construir la tabla de verdad con 2 variables debemos primero hacer la
distribución de los valores de verdad, teniendo en cuenta que los valores de
verdad son 2 (V y F), numero que funciona como base, y si tengo 2 variables,
entonces tengo 22, donde el numero de variables es el exponente. En el caso 22 =
4, o sea, 4 valores para p y 4 para q distribuidos en escala de duplicación.

Ej. :

22 = 4
p q
V V
F V
V F
F F

Con tres variables:

23 =8
p q s
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

Clasificación de las Formas Proposicionales por su Tabla de Verdad

Algunas tablas de verdad dan por resultado final todos valores "V", otras dan por
resultado valores "F" y un tercer grupo alterna en su resultado final, valores "V" y
"F". Se dice que las primeras son formas proposicionales tautológicas, las
segundas contradictorias y las terceras contingentes.

Las Tautológicas
Son formas proposicionales que corresponden a proposiciones lógicamente
verdaderas, es decir, verdaderas por su forma lógica.
Ej. :
p  (p . p)
V V F F
F V F V

Las Contradicciones
Son formas proposicionales que corresponden a proposiciones lógicamente
falseas, es decir, falsas por su solo forma lógica.
Ej. :
p p . p
V F F
F F V

Las Contingencias
Son formas proposicionales que corresponden a proposiciones lógicamente
indeterminadas, es decir, proposiciones que son verdaderas o falsas por razones
fácticas, pero no por su solo forma lógica.
Ej. :
p q  p . q
V V F F
F V V V
V F F F
F F V F

Leyes Lógicas o Principio Lógico

Se denomina ley lógica a toda forma proposicional tal que aplicada la tabla de
verdad se obtiene una tautología.

Relaciones Lógicas entre Proposiciones

Al enunciar estas relaciones se utilizan las letras "A", "B", "C", etc. , que se
denominan variables metalógicas, para indicar que cada una de ellas puede
designar una proposición atómica o molecular tan compleja como se quiera.

a.- Implicación
Una proposición A implica lógicamente a otra B cuando no puede darse que A sea
verdadera y B sea falsa.
 A  B
Ej. : "No llueve y no hace frío" implica a "No llueve", porque siempre que la
primera sea verdadera, también lo será la segunda.

Decir que "A implica a B" es lo mismo que decir que "B se deduce lógicamente de
A" o que "B se sigue lógicamente de A".

Ej.:

A  B

p q ( -p . -q )  - p
V V F F F V F
F V V F F V V
V F F F V V F
F F V V V V V

"A" implica lógicamente a "B" si y solo si el resultado es una TAUTOLOGÍA.

b.- Equivalencia
Dos proposiciones "A" y "B" son lógicamente equivalentes cuando "A" implica a
"B" y "B" implica a "A". Si dos proposiciones son lógicamente equivalentes no
puede ocurrir que tengan distinto valor de verdad.

A  B
A  B
B  A

Ej.: "No es cierto que Pablo trabaja o estudia" A

"Ni Pablo trabaja, ni Pablo estudia" B

A  B

P q -(p v q)  (- p . - q)
V V F V V F F F
F V F V V V F F
V F F V V F F V
F F V F V V V V

"A" es lógicamente equivalente a "B" si y solo si es resultado es una tautología.

Ej.: ( p  q ) Si me encuentra me saluda siempre A

A  B
- ( p .-q ) No me encuentra nunca sin saludarme B
c.- Contradicción
Dos proposiciones "A" y "B" son lógicamente contradictorias cuando no pueden
ser ni ambas verdaderas ni ambas falsas.

Ej.: "O bien llueve o bien hace frío" (p w q) A

"Llueve si y solo si hace frío" (pq) B

A  B

P q (p w q)  (p  q)
V V F F V
F V V F F
V F V F F
F F F F V

Los Razonamientos en la Lógica Proposicional

La Lógica Proposicional posee métodos para determinar cuando un razonamiento
dado es válido o no lo es. Para ello hay varios procedimientos; de entre ellos, el
método del condicional asociado y el método demostrativo, y una prueba de
invalidez.
Estos procedimientos poseen en una primera parte que es común; dado un
razonamiento, para determinar su validez o invalidez, debe abstraerse su forma
lógica. La abstracción de la forma lógica de un razonamiento se realiza de modo
similar a la abstracción de la forma lógica de una proposición. Se abstrae la forma
lógica de cada proposición que lo integra - premisas y conclusión - cuidando
repetir la misma variable proposicional cuando se repite una proposición.
EJ.:
Si llueve, hace frío. pq
Llueve. p  (p  q) . p   q
Hace frío. q

Método del Condicional Asociado

Permite verificar mecánicamente la validez o invalidez de un razonamiento dado
afectado a los siguientes pasos:
1. Dado un razonamiento se abstrae su forma lógica.
2. De la forma de razonamiento se pasa a la forma de proposición mediante la
construcción de un condicional cuyo antecedente esta constituido por la
conjunción de las premisas y cuyo consecuente es la conclusión del
razonamiento.

Forma del Razonamiento Forma de Proposición

pq
p  (p  q) . p   q
q

3. Se realiza la tabla de verdad de la forma proposicional obtenida. Si el resultado

final es una tautología, el razonamiento en análisis es válido, en caso contrario
no lo es.
  (p  q) . p   q
V V V V V V V
F V V F F V V
V F F F V V F
F V F F F V F

Es interesante recalcar que el procedimiento del Condicional Asociado es un

método "mecánico" de decisión que permite determinar tanto la validez como la
invalidez de un razonamiento dado.
Esta técnica es licita en virtud de la analogía que existe entre las condiciones que
hacen valida una estructura de razonamiento y las que hacen tautológico un
condicional. En efecto:

Una estructura de razonamiento es valida

si y solo si no se presenta nunca el caso
de que sus premisas sean verdaderas
y su conclusión sea falsa.

Sabemos además que:

Una forma condicional es tautológica

si y solo si no se presenta nunca el caso
de que su antecedente sea verdadero
y su consecuente sea falso.

Esto avala, por otra parte, la conveniencia de haber escogido aquella tabla de
verdad par el condicional, gracias a la cual el análisis veritativo funcional puede
utilizarse para el estudio de la validez.

Reglas Lógicas
Son formas de razonamiento válidos y elementales que al sustituir sus variables
por constantes dan lugar a razonamientos válidos. Es una forma de razonamiento
válido que permite que de premisas verdaderas llegar a una conclusión verdadera
y no falsa.
Con ayuda de estas reglas lógicas elementales es posible demostrar la validez de
razonamientos bastante complejos. En su formulación se utilizan, al igual que en
las relaciones lógicas entre proposiciones estudiadas anteriormente, las letras "A",
"B","C", etc.; denominadas variables metalógicas, para indicar que cada una de
ellas puede designar una proposición atómica o molecular, tan compleja como se
quiera.

Método Demostrativo
La técnica del condicional asociado con la tabla de verdad resulta un
procedimiento teóricamente adecuado para decidir acerca de la validez o
invalidez de un razonamiento.
Sin embargo, su aplicación resulta en la practica dificultosa cuando se trata de
razonamientos en que intervienen muchas variables proposicionales distintas,
debido a que el numero de filas de la tabla será entonces muy elevado. Ej.: si un
razonamiento tiene 7 variables , requerirá de una tabla de 128 filas.
Afortunadamente existe un procedimiento alternativo, llamado "método
demostrativo".
El método consta de los siguientes pasos.
I. Dado un razonamiento , se abstrae su forma lógica.
II. Se enumeran las premisas y se separa la conclusión mediante una línea.
III. Se aplican las reglas lógicas a las premisas (lo cual permite descartarlas) y
se van derivando (concluyendo) formas proposicionales, que también se van
anotando debajo de las premisas, (deben enumerarse también), hasta llegar a la
conclusión y si esto se logra el razonamiento es válido, en caso contrario es
inválido.

Ej.:

PASO I

Si Patricia fue a la fiesta entonces estuvo con Eusebio.

Si Patricia estuvo con Eusebio, Andrés estará molesto.
Andrés no esta molesto.
Patricia no fue a la fiesta.

pq
pr FORMA
r LOGICA
p

PASO II y PASO III

1. pq
2. pr
3. r p
4. pq de 1 y 2 por Silogismo Hipotético.
5. p de 4 y 3 por Modus Tollendo Tollens.

RAZONAMIENTO VALIDO

Este procedimiento no es mecánico.

Las demostraciones anteriores constituyen ejemplos de lo que se denomina una
prueba formal de validez.

"Una prueba formal de validez par un argumento dado se define

como una sucesión de enunciados, cada uno de los cuales es una
premisa de ese argumento o se sigue de los precedentes por un
argumento válido elemental, y tal que el ultimo enunciado de la
secuencia es la conclusión del argumento cuya validez se esta
demostrando"6

en el razonamiento anterior también se pudo haber procedido de la siguiente

manera:

1. pq
2. pr
3. r p
4. q de 2 y 3 por Modus Tollendo Tollens.
6
Lógica simbólica, Copi. Cecsa. Mex. Cap. 3,1
5. p de 1 y 4 por Modus Tollendo Tollens.

Prueba de Invalidez
El Método Demostrativo permite demostrar que un determinado razonamiento es
válido. Pero si por aplicación reiterada de las Reglas Lógicas no se puede llegar a
la conclusión , no se habrá demostrado que el razonamiento es inválido: puede
ocurrir que efectivamente lo sea o que sencillamente no demos con las reglas
adecuadas para efectuar la demostración.
La Prueba de Invalidez , que complementa al Método Demostrativo, es un
procedimiento que permite demostrar que un razonamiento dado es inválido.
La prueba consta de los siguientes pasos:

1. Dado un razonamiento se abstrae su forma lógica

Ej.: Federico posee cédula de identidad o pasaporte. Tiene cédula de identidad.

Luego, no posee pasaporte.

pvq
p
q

2. Si el razonamiento es inválido, su forma podrá dar lugar a la combinación de

premisas verdaderas y conclusión falsa. Suponemos entonces que es inválido
anotando al lado de cada premisa el valor de V y al lado de la conclusión el
valor de F.

1 2

pvq V
p V
q F

3. Tratamos ahora de confirmar nuestra suposición asignando a cada variable

proposicional un valor de verdad de modo tal que ratifique la suposición inicial.
En nuestro ejemplo hemos optado por considerar a p como V y a q también.

1 2 3

pvq V V v V
p V V
q F V

4. Resolvemos las expresiones que tenemos en 3.

1 2 3 4

pvq V V v V V
p V V V
q F
 V F

En la ultima columna 4, observamos que se ha confirmado la suposición que

habíamos hecho en dos; por lo tanto, el razonamiento es inválido.

Cabria pensar que dado cualquier razonamiento proposicional, se podría

demostrar su validez por el método demostrativo o bien se podría construir una
prueba de su invalidez. Pero , lamentablemente, esto no es así, es decir, hay
razonamientos sobre los cuales no se puede decidir; esto es así porque nuestro
sistema de reglas es todavía incompleto. 7

7
Para completarlo y poder entonces si demostrar la validez de cualquier razonamiento correcto hace falta
agregar 2 reglas: la regla de la demostración condicional y la regla de prueba por el absurdo; lo cual no se vio.
 INDICE GENERAL
INTRODUCCION A LA LOGICA SIMBOLICA _______________________________ 1
Avance Histórico de la Lógica __________________________________________________ 1
Lógica Simbólica o Matemática _________________________________________________ 2
Características de la Lógica Simbólica ___________________________________________2
Frutos de la Lógica Simbólica __________________________________________________ 3
Clasificación de la Lógica Simbólica (subdivisión) __________________________________3
SEMIÓTICA ____________________________________________________________ 4
La Semiótica como Ciencia ____________________________________________________ 4
Signo_______________________________________________________________________4
Característica del signo _______________________________________________________ 4
Aclaración de conceptos _______________________________________________________ 4
Percepción _________________________________________________________________________ 4
Sensación __________________________________________________________________________ 4
Imaginación ________________________________________________________________________ 4
El Proceso Semiótico o Semiósis ________________________________________________ 4
Signo _____________________________________________________________________________ 5
Denotado __________________________________________________________________________ 5
Interprete __________________________________________________________________________ 5
Clases de signos ______________________________________________________________ 5
Signos Naturales ____________________________________________________________________ 5
Signos Artificiales ___________________________________________________________________ 5
Dimensiones del Proceso Semiótico ______________________________________________6
Dimensión Sintáctica _________________________________________________________________ 6
Dimensión Semántica ________________________________________________________________ 6
Dimensión Pragmática _______________________________________________________________ 6
Ramas de la semiótica _________________________________________________________ 6
La Sintaxis _________________________________________________________________________ 7
La Semántica _______________________________________________________________________ 7
La Pragmática ______________________________________________________________________ 7
El Lenguaje y el Metalenguaje __________________________________________________ 7
Designado y Denotado de un Signo Lingüístico ____________________________________8
1.- LOGICA PROPOSICIONAL_____________________________________________ 9
Introducción ________________________________________________________________ 9
La Proposición ______________________________________________________________ 9
Clases de proposiciones _______________________________________________________ 9
Proposiciones atómicas y moleculares ___________________________________________________ 9
Proposiciones extensionales y no extensionales ___________________________________________ 10
Sistema Simbólico ___________________________________________________________ 10
Variables Proposicionales ____________________________________________________________ 10
Conectivas Extensionales ____________________________________________________________ 10
Tabla de Conectivas ________________________________________________________________ 11
Tablas de Verdad de las Formas Proposicionales _________________________________ 12
1° Tabla de la Negación _____________________________________________________________ 12
2° Tabla de la Conjunción ____________________________________________________________ 12
3° Tabla de la Disyunción Inclusiva ____________________________________________________ 12
4° Tabla de la Disyunción Excluyente __________________________________________________ 13
5° Tabla del Condicional _____________________________________________________________ 13
 6.- Tabla del Bicondicional ___________________________________________________________ 13
Ejemplos y Construcción de Tablas de Verdad ___________________________________ 14
Clasificación de las Formas Proposicionales por su Tabla de Verdad _________________ 14
Las Tautológicas ___________________________________________________________________ 15
Las Contradicciones ________________________________________________________________ 15
Las Contingencias __________________________________________________________________ 15
Leyes Lógicas o Principio Lógico _______________________________________________ 15
Relaciones Lógicas entre Proposiciones _________________________________________ 15
a.- Implicación _____________________________________________________________________ 15
b.- Equivalencia ____________________________________________________________________ 16
c.- Contradicción ___________________________________________________________________ 17
Los Razonamientos en la Lógica Proposicional ___________________________________ 17
Método del Condicional Asociado ______________________________________________ 17
Reglas Lógicas ______________________________________________________________ 18
Método Demostrativo ________________________________________________________ 18
Prueba de Invalidez _________________________________________________________ 20