1

1.- Definicin de Lgica

Etimolgicamente la lgica es la ciencia del logos (logos-ike); lo cual, aunque correcto nada
nos dice si ignoramos lo que es el logos, signific palabra o discurso, por ello la lgica lleg a ser
imaginada como una ciencia ocupada de ciertas formas del lenguaje.
Para los Griegos el logos fue la palanca de la razn, para entender al mundo. La religin la
ha considerado como inteligencia divina o representacin entre Dios y el mundo, finalmente y
uniendo todos estos conceptos se tomo al logos como pensamiento despojado de irracionalidad.
Finalmente se llega a definir como la ciencia del pensamiento racional.
En otras palabras es la disciplina que establece criterios rigurosos para identificar los
argumentos correctos y distinguirlos de los incorrectos.

1.1.- Ubicacin de la Lgica como disciplina filosfica.
Aristteles es el fundador de la Lgica. Su trabajo en esta materia est contenido en un
conjunto de escritos que recibi el nombre de Organon (palabra Griega que significa instrumento).
Estos escritos fueron recopilados por los discpulos de ese filsofo en el ao 322 A. C.
El Organon no constituye y un cuerpo ordenado de escritos; esta integrado bsicamente por
cinco libros. Parece que stos fueron elaborados en diferentes pocas y sin seguir un plan unitario;
ms bien son guas de exposiciones orales.
Estos libros tienen la teora de la proposicin; primeros analticos, cuyo contenido es la teora
del razonamiento o deduccin; Segundos analticos, que versa sobre la teora de la ciencia, y
tpicos con sus refutaciones sofistas, que tienen que ver con reglas prcticas para las discusiones
dialcticas, as como con algunas falsas sutilezas del razonamiento.
A la lgica le interesa investigar y recopilar las estructuras de los argumentos correctos y
establecerlos como leyes para aplicarlas en ejemplos concretos. El objeto de su estudio est
constituido por ciertos tipos de argumentos, estos ltimos como formas de expresin de nuestros
razonamientos. No le interesa si los argumentos son de biologa, qumica, fsica, derecho, historia o
de asuntos cotidianos; solamente se concentra en su estructura o forma; hace abstraccin del
contenido y solo analiza la relacin de consecuencias que se da entre las premisas y la conclusin,
veamos algunos ejemplos:

O entramos al cine o vamos al teatro.
No vamos al cine.
Por tanto, entramos al cine.

O el derrumbe se debi a un sismo o a una
explosin.
No hubo explosin.
Por tanto la causa del derrumbe fue un sismo.

Las dos expresiones comparten una estructura que representa esquemas; O, No, Por tanto. Ambos
son correctos. Y por tanto nos permite analizar sus contenidos; por todo lo anterior se dice que la lgica es
una ciencia formal, una ciencia de formas, su contenido es analizar los argumentos para detectar esa
estructura y con base en ello determinar su correccin o incorreccin, de esto se deriva la designacin de
lgica formal.




2
1.2. Objetivo del estudio de la lgica: el pensamiento
El pensamiento es el resultado de la actividad de pensar. De acuerdo con esto las imgenes
mentales, las afirmaciones, las creencias, los deseos, las dudas, las reflexiones son pensamientos porque
son productos de esa actividad intelectual denominada pensar. Muchas de estas concepciones son
simples creencias, pero otras son autnticos conocimientos, de donde se deriva que los conocimientos
tambin pueden considerarse como pensamientos.

1.2.1. Nocin de conocimiento y pensamiento.
Una ciencia del pensamiento se encargara de estudiar todos los pensamientos, averiguara lo que
a ellos se refiere; cmo se forman, cuales son sus contenidos, como se estructuran, en que se distingue
uno de otro, etc. Sin embargo la lgica no es la ciencia del pensamiento, aunque si tiene que ver con l.
Consideremos algunas creencias, deseos, dudas, conocimientos, etc. Los pensamientos son
producidos por un sujeto que realiza la actividad de pensar; esa actividad versa sobre algo o sobre
alguien; luego cada uno de ellos adopta una o varias formas y, por ltimo, puede expresarse mediante el
lenguaje. Todos los elementos enunciados constituyen esos pensamientos y cualquier otro. Si alguno
faltara, entonces no podra hablarse de pensamiento:
- El sujeto pensante.
- El objeto pensado.
- La actividad intelectual.
- La forma o estructura del pensamiento.
- La expresin del pensamiento.

1.2.2. Elementos del conocimiento: el sujeto, el objeto, la operacin y la representacin interna.
El Sujeto.- El ser humano es el sujeto pensante; es un individuo dotado con una capacidad mental
por lo que entiende el medio y se enfrenta a l, lo conoce y hasta lo domina, Es un ser dotado de una
mente donde tiene la actividad de pensar, es imposible considerar el pensamiento sin el sujeto.
El Objeto.- Cualquier cosa puede ser objeto del pensamiento: una planta, un animal o una persona,
lo mismo que una roca, una casa, un edificio, un vehculo. An ms, una idea, un pensamiento, es un
objeto pensado. Pensamos en un refrn, en una afirmacin, en un teorema, etc. Todo lo que se piensa
tambin recibe el nombre de conocimiento del pensamiento. El objeto pensado existe independientemente
tanto del sujeto como del pensamiento.
Los objetos existen sin que alguien los piense o los conozca, excepto los otros pensamientos, que
solo pueden considerarse como producto de la actividad del sujeto pensante. Los objetos estn ah y el
sujeto se relaciona con ellos; se les apropia intelectualmente, los hace formar parte de l.
La operacin.- El sujeto pensante se relaciona con los objetos. Primero los percibe, luego forma una
imagen de ellos, despus abstrae las caractersticas ms importantes y forma nociones generales; por
ltimo, conecta esas nociones a manera de juicios o razonamientos. As los objetos pasan a formar parte
del sujeto como objetos pensados, y esto es posible gracias a que ese sujeto tiene la capacidad de realizar
la actividad intelectual llamada pensar.
Esta actividad es un fenmeno psquico que esta integrado por diversos procesos, estudiado por
diversas disciplinas, que buscan establecer cmo surge, los elementos que la constituyen, cmo
evoluciona, aunque ninguna de ellas es capaz de agotar estos temas; solo ofrecen explicaciones
parciales, es debido a esto que ninguna de ellas puede considerarse como la ciencia del pensamiento, y
por lo mismo tampoco la lgica puede serlo. A la lgica le interesa el anlisis de los resultados, o sea los
pensamientos, mismos que considera como entidades terminadas sin tomar en cuenta el proceso de
formacin.

3

La representacin interna.- Cuando a una persona se le pregunta que es lo que esta pensando
puede ser que responda en forma simple y concreta, por ejemplo; estoy pensando en una pelcula, pero
supongamos que deseamos averiguar mas, entonces volvemos a interrogar mas es posible que la
respuesta sea; estoy pensando en la pelcula que v el fin de semana la que me pareci bastante
interesante, e incluso me gustara volver a ver nuevamente en compaa de mis hermanos para que juntos
aprendamos lo que ah se nos ensea. Si seguimos formulando mas sobre el tema es posible que nos den
una resea sobre el tema de la pelcula.
Los pensamientos adoptan varias formas y se estructuran de diversas maneras, as supongamos
que la persona interrogada se concentra nicamente en la pelcula, como si solo tuviera en mente el
nombre de sta, sin relacionarlo con otra cosa, sin afirmar o negar, sin valorar, etc.; pero es mas comn
que cuando se piensa algo, este se relacione con otros objetos, como en el segundo caso del ejemplo: la
persona tomo en cuenta caractersticas vivencias o circunstancias; en esta vez se hace un juicio: me gusto
por que..., ese persona relaciona varias aseveraciones y con ello da razn o explica algo: me gusto
porque.... Es fcil detectar que esta afirmacin es consecuencia de pensamientos anteriores: que el cine
es una distraccin y que adems muestra determinadas cosas a una persona que tienen que ver con su
vida misma. Como vemos hay tres formas diferentes de pensamientos y tambin, aunque
elementalmente, se observa que las ms simples, constituyen las otras, y que tambin formas a su vez
parte de ellas, esas formas.

1.2.3. Clases de pensamiento:
Verdadero.- Es el que esta de acuerdo con la realidad, y que da siempre una afirmacin; ejemplo:
los pjaros vuelan.
Falso.- Es el que no est de acuerdo con la realidad, ejemplo: el ao tiene 300 das.
Correcto.- Es aquel que esta de acuerdo con las leyes de la razn, es congruente con uno mismo y
respeta las normas que corresponden a su estructura, ejemplo: la cultura es parte de los pueblos.
Incorrecto.- Es aquel que no esta de acuerdo con las leyes de la razn y no es del todo congruente,
ejemplo: Una persona que ayuda a los pobres es una persona buena.

2.- Desarrollo histrico de la lgica: formal, simblica y dialctica.
Formal.- Se encarga de estudiar las condiciones de la vida, es decir, las leyes para que un
pensamiento sea correcto.
Simblica.- Utiliza smbolos con el fin de lograr mayor sencillez, claridad y exactitud en su lenguaje,
utiliza smbolos universales ya que de esta manera evita las confusiones.













4
1. Definicin:
Es el medio por el cual se busca estudiar las condiciones en las que ocurren los acontecimientos, es
decir; las leyes por las que un pensamiento se rige para hacerlo correcto.

1.1. Divisin por los mtodos: e inductivo.
Mtodo deductivo.- es el que va de lo general a lo particular, busca llegar a una idea partiendo de un
juicio universal, descendiendo poco a poco hasta alcanzar un posicin singular.
Mtodo inductivo.- Es el que va de lo particular a lo general, busca llegar a una idea partiendo de un
juicio particular, ascendiendo poco a poco hasta alcanzar una posicin universal.

2. Formas de pensamiento: idea, juicio y raciocinio.
Idea.- Se tiene conocimiento de las caractersticas esenciales, se unen para representar al objeto.
Esos pensamientos pueden ser exactos o no exactos.
Juicio.- Nos lleva a tener conceptos y compararlos, para finalmente afirmar si hay compatibilidad o
no. De aqu podemos manejar una afirmacin que puede ser verdadera o falsa.
Raciocinio.- Al tener formulado un juicio se busca llegar a la verificacin de la proposicin
enunciada, es decir llegar a determinar si un juicio es vlido o no, esto se logra al analizar los argumentos
planteados.


2.1. Definicin de idea.
Idea es la representacin mental de un objeto, sin afirmar o negar nada de l.

2.1.1. Clasificacin de ideas:
Por su extensin.
a) Universal.- Se aplica del mismo modo a todos y cada uno de los individuos de un universo o
conjunto.
b) Particular.- Se dice que son solo una parte de los individuos de un universo.
c) Singular o individual.- Se dice de un solo individuo del conjunto.
d) Colectiva.- Ideal que se aplican a una totalidad de seres, no a cada uno de ellos tomados
individualmente.
Por su comprensin.
a) Simple.- Se utiliza nicamente una palabra.
b) Compuesta.- Estn implcitas dos o ms palabras.

Por su cualidad.
a) Esencial.- Son las caractersticas que no pueden faltar en la estructura de un objeto.
b) Accidental.- Caractersticas que pueden estar o no estar sin que se altere el objeto.

Por su contenido.
a) Concreta.- Ideas que expresan un contenido haciendo referencia a un sujeto que lo posee.
b) Abstracto.- Ideas que expresan un contenido sin hacer referencia a un sujeto que lo posea.




5
2.1.2. Ideas singulares, particulares universales y colectivas.
Por medio de ejemplos explicar estos conceptos, trabajndolos en equipo en el saln de clase para
finalmente llegar a una definicin colectiva de cada concepto.

2.1.3. Ley de extensin y comprensin de la idea.
Existe una ley universal que explica la manera de llegar a una mejor comprensin de las ideas, as;
si al dar a conocer algo nos extendemos demasiado en las explicaciones es posible que no se de una
comprensin clara de las ideas, en cambio si sucede lo contrario, si los individuos hablamos de un idea en
forma concreta entonces se dar una mayor comprensin de la idea.

2.2. El trmino
Un trmino se refiere a la expresin lingstica de un concepto. Es todo aquello conocido que nos
lleva al conocimiento de otra cosa. Es ante todo un signo; la palabra es un signo. Por tanto no es solo
importante conocer el trmino sino su contenido.

2.2.1. Divisin de trmino de acuerdo a su funcin: categoremticos.
Por su significado:
- Categoremtico
- Sincategoremtico

Categoremtico.- Son trminos que tienen un significado por si mismos, expresan una realidad.
Ejemplos todos los verbos, sustantivos y los adjetivos.
Escuela Bonito

Sincategoremtico.- Son todos aquellos trminos que sirven para conectar o relacionar los trminos
categoremticos. Ejemplo: todas las preposiciones y conjunciones.
Y En Con

2.2.2. Divisin de trmino de acuerdo a sus ideas.
Por su modo de significar:
- Unvoco
- Equvoco
- Analgico

Unvoco.- Son todos aquellos trminos que se aplican de igual modo a por la misma razn, ejemplo:
hombre, rbol, etc.
Sol Luna

Equvoco.- Son todos aquellos trminos que se aplican de modo diferente y por distinta razn,
ejemplo: gato, len; ciudad o animal.
Estrella; forma o cuerpo celeste Pluma; Instrumento de escritura, de un ave

Analgico.- Son todos aquellos trminos que se aplican a diferentes objetos con una significacin en
parte igual y en parte diferente, ejemplo: ser; hombre, gusano, planta.
Bonita; persona, flor Feo; animal, persona.


6
3.- El juicio
Es la operacin mental por la cual se afirma o se niega una idea con respecto a otra, ejemplo; la
tierra es una planta. Constituye la unidad del pensamiento porque es lo mnimo que un ser humano puede
pensar; nadie piensa en conceptos aislados, incluso el nio pequeo que dice perro sealando un animal
esta pensando implcitamente este es un perro.
El juicio puede ser falso o verdadero; en la medida en que establece una relacin de conceptos, est
reportando un estado de cosas que puede o no ser, es decir, al relacionar dos conceptos es posible que
dicha relacin exista efectivamente, entonces, el juicio ser verdadero, pero tambin es posible que dicha
relacin no exista y, en este caso, el juicio ser falso.
El juicio Mxico est en Amrica es verdadero, como todo mundo sabe; pero el que dice Todos los
mexicanos viven en Mxico no lo es, pues muchos mexicanos viven fuera del pas.
Obviamente no compete al lgico decir si un juicio es verdadero o falso; solo se considera esa
posibilidad y la toma como criterio, la tarea de determinar la verdad o falsedad corresponde a los
cientficos.
Elementos del juicio:
- Sujeto: Es la idea de la cual se afirma algo.
- Verbo: Une al sujeto con el predicado y expresa la afirmacin o negacin.
- Predicado: Es la que se afirma o niega.
La diferencia entre idea y juicio es el verbo y a que en la idea no existe.



3.1. Nocin y elementos del juicio.
Los juicios tienen una estructura que los distingue de otras formas de pensamiento, dicha estructura
es una relacin establecida entre los elementos que forman un objeto de acuerdo con sus funciones
especficas.

Los elementos del juicio.- Con la finalidad e identificar la estructura y los elementos de los juicios
debemos entender lo siguiente:
a) La fsica es una ciencia experimental.
b) El oro es un metal precioso.
c) El oro es un metal precioso y el oxgeno es un gas.
d) Si Mxico es un pas soberano, entonces es un pas independiente.

Los ejemplos 1 y 2 estn formados por dos conceptos y se relacionan por medio de una forma del
verbo ser; los ejemplos 3 y 4 poseen una estructura diferente, ya que estn formados por dos juicios, se
conectan mediante los trminos relacionales y, en el ejemplo 3, y si...entonces, en el ltimo.

Estos ejemplos nos muestran que existen dos estructuras deferentes, por lo tanto se deben analizar
por separado, los juicios 1 y 2 son simples y los otros dos son compuestos.







7
3.1.2 Juicios simples
Estn constituidos por: el sujeto, el predicado y la cpula.
El sujeto es el trmino que se designa al objeto material, formal o ideal del cual se afirma o se niega
algo. En el ejemploel limn es agrio, el sujeto es el concepto limn.
El sujeto se representa mediante la letra S y recibe el nombre de trmino sujeto.
El predicado es el concepto que se afirma o niega respecto al sujeto, en el ejemplo la fsica es una
ciencia experimental, el predicado se representa mediante la letra P y se denomina trmino predicado.
La cpula es la expresin que sirve de enlace entre los trminos sujeto y predicado; generalmente
como cpula se usan los verbos ser o estar.

Ejemplos de juicios simples:

Sujeto Cpula Predicado
El payaso es parlanchn.
Las mujeres son tristes.
Los leones estn enjaulados.
La estatua de la libertad est en Nueva York.



Hay otros enunciados que no tienen esta estructura y, sin embargo, tambin expresan juicios y
forman parte de las argumentaciones. Estos enunciados estn formados por verbos que representan
diversas acciones, como ganar, correr, pensar, estudiar, trabajar y otros. A estos se les da el nombre de
enunciados predicativos, ejemplos;
- Soraya Jimnez gan la medalla de oro.
- Los deportistas comen alimentos energticos.

En lgica se considera que todos los enunciados predicativos pueden convertirse en copulativos.
Para ello, el verbo se convierte en sustantivo y funcionar como trmino predicado:
- Gan; ganador o ganadora.
- Comen; comedor o comedora.

La estructura de los juicios simples esta dada por los tres elementos, los cuales pueden formularse
de diversas maneras, ejemplos:

David es estudiante de matemticas.
Es David estudiante de matemticas.
Estudiante de matemticas es David.
David estudia matemticas.
Estudia matemticas David.
Estudia David matemticas.




8
3.1.2 Juicios Compuestos
Estn constituidos por dos o ms juicios, los cuales se relacionan mediante diversas expresiones
conocidas como trminos de enlace. Ejemplos:
- La ciudad de Mxico es la ms poblada del mundo, pero tambin la ms contaminada.
- Alejandro Crdenas practica el ftbol americano en el Tecnolgico de Monterrey aunque sigue siendo
el mejor corredor en la carrera de 400 metros planos.
En estos ejemplos podemos descubrir la siguiente estructura:
Juicio enlace juicio

Tambin puede haber juicios compuestos que adopten la siguiente estructura y otras ms
complejas:
Juicio enlace juicio enlace juicio

Ejemplos:
- Si Claudio estudia y trabaja, entonces tendr xito.
- Si el nio lee, entonces aprende y se divierte.
- Juan se postula como candidato y realiza la campaa o se retira de la poltica.
Como enlace entre los juicios pueden usarse diversas expresiones, ejemplo; si... entonces, pero, y, con
la condicin de que, aunque y otras.

3.2. Clasificacin del juicio por su cantidad
Cuando se emiten juicios como los siguientes:
- La joven Aurora es guapa.
- Algunas jvenes son guapas.
- Todas las jvenes son guapas.
Se observa que los tres conceptos sujeto se refieren a la extensin del concepto mujeres jvenes,
pero lo hacen de diferente manera: en el primero se menciona a un solo individuo; en el segundo, a una
parte indeterminada de dicha extensin; y en el tercero, a toda la extensin. Esta caracterstica de los
juicios se llama cantidad. La cantidad indica el nmero de individuos mencionados por el concepto sujeto.
Atendiendo a esta caracterstica, los juicios pueden ser singulares, particulares y universales.

3.2.1 Juicios singulares
Son aquellos cuyo concepto sujeto se refiere nicamente a un objeto. Si los conceptos representan
clases, entonces estos juicios denotan clases unimembres, es decir, clases constituidas por un solo
individuo. Ejemplos:
- Karla es adolescente.
- Esta universalidad es una de las ms grandes de Latinoamrica.

3.2.2 Juicio particulares
Son aquellos cuyo trmino sujeto denota una parte indeterminada de una clase. Son juicios
particulares:
- Algn preparatoriano es adolescente.
- La mayora de los universitarios son jvenes.
- Casi todos los profesores son adultos.
Los trminos que preceden al trmino sujeto del juicio, independientemente de sus distintas formas
de expresin.

9
3.2.3 Los juicios universales
Son aquellos cuyo concepto se refiere a todos y cada uno de los individuos de una clase, ya sea de
manera afirmativa o negativa; incluyendo o excluyendo una clase de la otra. Ejemplos:
- Todos los preparatorianos son adolescentes.
- Todos los arquitectos son dibujantes.
- Ningn hombre es inmortal.
A los trminos algn o algunos y todos se les llama cuantificadores porque cumplen la funcin
de determinar la cantidad del trmino sujeto. Se pueden sustituir por expresiones como varios, la
mayora de... y casi todo unos; trminos utilizados en juicios particulares, mientras que para los
universales seria; totalmente, absolutamente todo, ninguno, nadie, ni uno solo, etc.

3.3. Clasificacin del juicio por su cualidad.
Este tipo de juicios pretenden resaltar las cualidades del sujeto enunciado en las diversas
preposiciones planteadas, as al combinar la cantidad con la calidad se pueden presentar bajo la forma S
es P, ejemplo:
- Todo hombre sigue la ley de la vida (universal).
- Algn hombre es Mdico (particular).
Tales juicios, por convencin, se simbolizan mediante las primeras cuatro vocales, con la finalidad
de facilitar su identificacin.

3.4. Clasificacin del juicio por su propiedad fundamental.
Los juicios universales afirmativos son los que se expresan mediante los enunciados de la forma
Todo S es P y se simbolizan con la vocal A. Ejemplo:
_ Todo estudiante es romntico.

Juicios universales negativos se expresan mediante los enunciados de la forma Ningn S es P y se
simbolizan con la vocal E. Ejemplo:
_ Ningn estudiante es romntico.

Juicios particulares afirmativos se expresan mediante los enunciados de la forma Algn S es P y se
simbolizan con la vocal I. Ejemplo:
_ Algunos estudiantes son romnticos.

Juicios particulares negativos se expresan mediante enunciados de la forma Algn S no es P, y se
simbolizan con la vocal O. Ejemplo:
_ Algn estudiante no es romntico.

3.5. Expresin del juicio: la proposicin.
Se utilizan para expresar los juicios. Son los pensamientos en los que se afirma algo y que se
pueden expresar mediante enunciados y oraciones declarativas, dichas proposiciones pueden ser
verdaderas o falsas, simples o compuestas. Ejemplo:
Afirmativas; - 22 es un nmero par Y 11 es impar.
- Enero tiene 31 das Y marzo 30.
- Hoy es lunes O es martes.
- Jpiter es un planeta O es un satlite.


10
4.- El Raciocinio
Es un proceso mental encaminado a enlazar ideas y hacer brotar otras de acuerdo a una funcin
cerebral, nos permite comunicarnos con el mundo exterior o volver sobre nosotros mismos.


4.1 El mtodo deductivo
Consiste en partir de lo general para llegar alo menos general o particular. Por ejemplo, si la
zoologa me dice que ningn reptil tiene sangre caliente (juicio universal), yo deduzco que esta tortuga
que esta frente a mi no tiene sangre caliente, independientemente de la clase de reptil que sea la tortuga o
de la especie de tortuga.
Todo S es P (universal positivo)
X pertenece a
Luego, X es P (particular positivo)

X forma parte de S, como una parte comprendida dentro del todo, entonces participa de sus
mismas caractersticas: Lo que vale para el todo vale para cada una de sus partes.
Todos los alumnos del curso de lgica van a probar la materia, luego deducimos que Juan, Pedro,
Luis, etc., van a aprobar la materia. Como se nota con facilidad, la validez del razonamiento deductivo, o
sea, la validez de la conclusin inferida, depende de que el juicio o los juicios de que se parte sean vlidos.

4.2 El mtodo inductivo
Es un razonamiento que va desde lo particular hasta lo general. Ejemplo; se dice que el fsico
estudia mucha a las matemticas, el qumico y el bilogo tambin, por tanto inferimos por induccin, que
todos los cientficos de la naturaleza dominan muy bien las matemticas. Es decir, de juicios particulares
podemos concluir un juicio universal.

4.3. Expresin del raciocinio: el argumento.
La formulacin de los razonamientos en el lenguaje cotidiano oculta su estructura y dificulta su
evaluacin y aceptacin; por ello es necesario saber qu formas pueden adoptar y cules son los
elementos que los constituyen.
Antes de pasar a los elementos, debemos explicar que el razonamiento como tal se da en un plano
intelectual, solo lo tenemos en la cabeza; para comunicarlo es necesario utilizar un medio de expresin;
sta es el Argumento, que se da en un plano o nivel lingstico. Dicho de otro modo, si pensamos sin
hablar ni escribir, tenemos un razonamiento; pero lo expresamos oralmente o por escrito, tenemos un
argumento. As pasa tambin con los conceptos y los juicios.
En lo que sigue ya no haremos la distincin entre formas del pensamiento y sus medios de
expresin, simplemente hablaremos de trminos, enunciados y argumentos.

4.4. Principios del raciocinio: identidad, contradiccin y exclusin de terceros.
Identidad.- es una afirmacin con respecto a las cosas Toda cosa es idntica a s misma, Sin
embargo la lgica no estudia cosas, sino pensamientos. La ciencia que estudia las cosas entes es la
ontologa. Si nos atenemos a ese enunciado, el principio es ontolgico y no lgico (pero no por eso deja de
ser verdadero). En el principio de identidad es necesario que enunciemos de manera que diga con
respecto a los pensamientos, que es lo que la lgica estudia. Y lo que el principio dice. Entendiendo
lgicamente, es que todo juicio analtico es verdadero.

11
Contradiccin.- Es imposible que algo sea y no sea al mismo tiempo y en el mismo sentido. As
podemos enunciar el principio de contradiccin desde el punto de vista ontolgico, es decir refirindolo a
las cosas. Es imposible que una figura sea un tringulo y no sea un tringulo.
Es imposible que A sea B y no sea B (puede ser B ahora y no ser B despus; pero no al mismo
tiempo), El principio establece que una cosa no es dos cosas.
Tercero excluido.- Es un principio que declara que todo tiene que ser o no ser. Afirmar
simultneamente A es y A no es, es imposible, por el principio de contradiccin; negar
simultneamente A es y A no es, es imposible, pero por el principio de tercero excluido si es posible que
se de ya que no podemos negar los dos juicios. Este principio dice que dos juicios contradictorios no
pueden ser falsos los dos.
Dados dos juicios contradictorios, la lgica no puede establecer cual de ellos es el verdadero y cual
es el falso. Si me encuentro con los juicios el delfn es un mamfero y El delfn no es un mamfero, por el
principio del tercero excluido se que no puedo rechazar los dos como falsos. Uno es verdadero y el otro es
falso, cual de ellos lo es lo determina la zoologa, y no la lgica.
Se establece que entre la verdad y la falsedad no hay trmino medio, un juicio es verdadero o falso,
no existe un trmino medio.

5.- El Silogismo
Es la inferencia mediata en que, dados dos juicios se sigue de ellos, forzosamente, otro, por la
simple forma de los juicios dados. A=B, y B=C; por lo tanto C=A: este es un esquema silogstico. Dados los
dos primeros juicios, de ellos se obtiene o concluye el tercero, sin necesidad de que sepamos nada acerca
del contenido de los dos primeros. Es la simple estructura de esos juicios, la sola fuerza de su forma, lo que
permite obtener el tercer juicio Los dos primeros se llaman premisas y el tercero conclusin, este ultimo
est legado a los otros por concepto derivativo: por lo tanto.
El silogismo es la estructura de los pensamientos en que tres juicios estn relacionados entre ellos
de manera tal que uno deriva de los otros dos. Para que se de esa estructura es necesario que esos dos
juicios tengan algo en comn entre ellos y con el tercero. En el esquema A=B y C=A y C=A; por lo tanto
C=B, C resulta = B a travs de A. A permite el paso o trnsito de C a B. Se trata de una relacin entre dos
trminos, C y B, establecida gracias a un tercer trmino, A, que se halla en relacin con ellos. La relacin
que obtenemos C=B, es una relacin nueva, ejemplo:
- Todos los hombres son mortales (trmino mayor),
- Scrates es hombre (trmino menor),
- Por lo tanto, Scrates es mortal (conclusin).

5.1. Nocin de silogismo
En matemtica vemos que la conclusin a = c puede obtenerse, indiferentemente, en cualquiera de
estas cuatro combinaciones:

b = c
a = b
a = c


c = b
a = b
a = c
a=ca

b = c
b = a
a = c

c = b
b = a
a = c

Premisa mayor
Premisa menor
conclusin




12
En estos casos se treta de igualdades pero no siempre las proposiciones expresan igualdades:
Scrates es mortal no es una igualdad, es un razonamiento correcto:
Todos los hombre son mortales,
Scrates es hombre

Scrates es mortal.

Pero no es un razonamiento correcto:

Todos los mortales son falibles
Scrates es falible

Scrates es mortal.

5.2. Clasificacin del silogismo: tpico y especial.
5.2.1 Reglas del silogismo tpico.
Todas estas reglas resultan de una nica regla que puede ser considerada como el principio
general del silogismo: lo que se afirma o niega de todos los individuos de una clase, se afirma o niega de
cualquier nmero de individuos de esa clase. Grficamente, este principio puede representarse as:
En el grfico (1) las S son P, porque son M (que son P)
En el grfico (2) las S no son P, porque son M (que no son P).
























S M
P
P S
M
1 2

13
5.2.2 Silogismos especiales: entimema, epiquerema, polisilogismo, sorites, disyuntivo, condicional y
dilema.
Entinema.- Es el silogismo en cuya expresin no aparece una de las premisas o la conclusin est
tctica no se expresa. En el lenguaje corriente, sa es la forma que el silogismo cobra con ms frecuencia:
Usted no es socio del club, as que no puede entrar (premisa mayor tcita); los que no son socios no pueden entrar, y
usted no es socio (conclusin tcita).
El entinema se llama de primero, segundo o tercer orden, segn que calle la mayor, la menor o la
conclusin.

Epiquerema.- Es el silogismo al que se agrega la prueba de la verdad de una de las premisas
(epiquerema simple) o de las dos premisas (epiquerema doble):
Los quirpedos no son aves, porque no son ovparos; los murcilagos son quirpedos; los murcilagos no son aves.

Polisilogismo.- Cuando varios silogismos se relacionan entre ellos, tenemos un polisilogismo o
silogismo compuesto, cuya validez est determinada por la validez de los silogismos que lo componen:
Los veraces son hroes; los filsofos son veraces; por lo tanto los filsofos son hroes; Scrates fue filosofo; por lo
tanto, Scrates fue hroe.
El primer silogismo se llama prosilogismo; el segundo, episilogismo.

Sorites.- Es un silogismo compuesto de manera tal que; 1, el predicado de la primera
proposicin pasa a ser sujeto de la segunda, el predicado de la segunda a sujeto de la tercera, etc.

Disyuntivo.- Es aquel cuya premisa mayor es un juicio disyuntivo y cuya premisa menor es un juicio
categrico en que se afirma o niega una de las disyuntivas. Ejemplo:
O me pagaba la deuda o lo denunciaba a la justicia;
me pag la deuda;

por lo tanto, no lo denuncie a la justicia.

Dilema.- es un razonamiento silogstico en que se combina un juicio disyuntivo con juicios
hipotticos, y que conduce a dos conclusiones igualmente desfavorables para aquel a quien se le plantea.
Su valor es retrico o psicolgico, ejemplo;
Cometiste esa mala accin o en un momento de ofuscacin o con plena conciencia de lo que hacas; si
la cometiste en un momento de ofuscacin, eres culpable (porque sabias lo que hacas).

Puedo ganar o perder el pleito;
si lo gano, tienes que pagarme porque as lo dispondr el juez; si lo pierdo (es decir si lo ganas tu), tienes que
pagarme porque as lo habamos estipulado (que me pagaras cuando ganramos el pleito).











14
1. LGICA SIMBLICA
1.1 Nocin de Lgica Simblica.
Habiendo seguido el proceso de formacin de los enunciados compuestos a partir de los
enunciados simples y los conectivos lgicos, estamos en condiciones de llevar a la prctica la
simbolizacin.
La lgica utiliza smbolos con el fin de lograr mayor sencillez, claridad y exactitud en su lenguaje, as
mismo que sean smbolos universales para que se eviten las confusiones.

1.2 Lgica proposicional.
Por qu la necesidad de smbolos en la lgica proposicional? La lgica estudia la validez de los
argumentos. Pero el lenguaje natural, por sus caractersticas, dificulta el anlisis lgico.
La lgica, en su inters por alcanzar el anlisis riguroso, exacto y objetivo de los enunciados y los
argumentos, ha creado un lenguaje simblico elemental as como reglas y otros recursos lgicos.

1.3 Nocin de lgica proposicional.
La Lgica proposicional es la parte de la Lgica que estudia las formas en que se relacionan unas
proposiciones con otras. Es tambin llamada Clculo e enunciados y se apoya en un lenguaje simblico
para descubrir las diversas estructuras lgicas y establecer criterios de validez. Sintticamente presentado,
el clculo est constituido por un alfabeto y reglas de formacin y transformacin.

1.4 Proposiciones simples y compuestas.
Las proposiciones simples son aquellas en las que no se utilizan conectivos lgicos; son los
enunciados simples o atmicos que son singulares afirmativos. Ejemplos de este tipo de proposiciones son:
El presidente Fox es guanajuatense
El presidente de Mxico, Vicente Fox, es guanajuatense
El seor presidente de Mxico, Vicente Fox, es guanajuatense
El C. Lic. Vicente Fox, presidente de Mxico, es guanajuatense
Los enunciados anteriores estn constituidos por sujeto, cpula y predicado y esto es suficiente para
decir que son simples; no importa que unos sean ms largos que otros. El nmero de palabras que
contiene un enunciado no es criterio para determinar si es simple o compuesto. Lo definitivo es que
contengan una sola afirmacin.
No slo las oraciones copulativas son enunciados simples, tambin lo son las oraciones predicativas
(que solo contengan un sujeto y un predicado), igual que las impersonales y las que tienen un sujeto
implcito, como: Remos, Llueve.

Las proposiciones compuestas son aquellas que utilizan conectivos lgicos para unir dos
proposiciones. Son enunciados compuestos o moleculares que se forman con enunciados simples
relacionados o modificados por trminos de enlace. Es posible combinar dos enunciados simples de varias
formas, por ejemplo:
1. El huracn es martimo y el tornado es terrestre.
2. El huracn es martimo o el tornado es terrestre.
3. O el huracn es martimo o el tornado es terrestre.
4. Si el huracn es martimo, entonces el tornado es terrestre.
5. El huracn es martimo si y slo si el tornado es terrestre.


15
Estos cinco ejemplos estn formados por los enunciados simples el huracn es martimo y el
tornado es terrestre, unidos por diversas expresiones, como se ve claramente. Esta estructura se puede
complicar an ms segn las necesidades comunicativas que se tengan. Lo importante para la lgica es
que todos los enunciados simples que intervengan sean o verdaderos o falsos.

Los enunciados negativos o negaciones se forman anteponiendo la negacin al verbo de un
enunciado simple, aunque tambin se pueden formar anteponiendo una expresin negativa a todo el
enunciado. Por ejemplo, el enunciado simple Los adolescentes tienen inteligencia emocional se convierte
en negacin como sigue:
Los adolescentes no tienen inteligencia emocional.
No es cierto que los adolescentes tienen inteligencia emocional.
La expresin no es cierto que equivale a no es verdad que o no se da el caso que, que tambin
se usan para formar negaciones. La razn de considerar los negativos como enunciados compuestos
radica en que la negacin funciona como un operador que cambia el valor de verdad del enunciado al que
se le aplica. Por tanto, negar un enunciado verdadero da por resultado un enunciado falso, y a la inversa,
la negacin de un enunciado falso es verdadera; ejemplos:
Enunciado verdadero: El Sol es una estrella.
Negacin falsa: El Sol no es una estrella.
Enunciado falso: Mxico es una monarqua.
Negacin verdadera: No es cierto que Mxico es una monarqua.
En general, es posible negar cualquier enunciado, ya sea simple o compuesto, afirmativo o
negativo. Si se niega una negacin, se estar negando un enunciado compuesto, y el resultado ser un
enunciado conocido como doble negacin, que es equivalente a una negacin. Ejemplo: la negacin del
enunciado Yo estudio lgica sera Yo no estudio lgica. Si este tambin se negara se expresara No es
cierto que yo no estudio lgica, que sera lo mismo que el enunciado afirmativo, es decir, un enunciado y
su doble negacin con equivalentes.

Los enunciados conjuntivos o conjunciones se forman por la unin de dos enunciados mediante el
trmino de enlace y, como en los siguientes ejemplos:
Hermosillo es la capital de Sonora y Jalapa es la capital de Veracruz.
Los Pumas ganaron y el Amrica empat.
Juana trabaja en un despacho y Juana estudia leyes.
En la comunicacin cotidiana, no siempre se formulan explcitamente los enunciados en los que se
repite el sujeto, como en el tercer ejemplo. Es comn que se exprese en forma abreviada:
Juana trabaja en un despacho y estudia leyes.
Adems el conectivo y puede sustituirse con las expresiones adems, pero y tambin, como
en estos ejemplos:
Beatriz juega ajedrez, adems practica el baloncesto.
Rosa est embarazada, pero sigue trabajando.
El Popocatpetl est activo, tambin el volcn de Colima.
Los enunciados que forman una conjuncin reciben el nombre de conjuntivos, y cada uno de stos
puede ser simple o compuesto. Los siguientes ejemplos contienen un conyunto compuesto (destacado en
negritas):
El Popocatpetl est activo y el Iztacchuatl no est activo.
Amparo es morena y Gina, rubia, adems Laura es prima de ellas.


16
Los enunciados disyuntivos o disyunciones son enunciados que estn formados por el conectivo o.
Expresan una alternativa, cuyas opciones reciben el nombre de disyuntos. Pueden ser inclusivos o
exclusivos.
Los enunciados disyuntivos inclusivos son los que expresan la posibilidad de que las dos opciones
se verifiquen:
Gabriela es inteligente o Gabriela es guapa.
El Ro Bravo pertenece a Mxico o pertenece a Estados Unidos.
Los dos ejemplos precedentes son inclusivos porque es perfectamente posible que tanto Gabriela
posea las dos cualidades, como que el ro Bravo, por ser limtrofe, pertenezca a los dos pases.
En cambio, el siguiente ejemplo es exclusivo porque una opcin excluye a la otra; no es posible que
los dos conyuntos sean ciertos simultneamente.
O Carlos Fuentes naci en Mxico o naci en Panam.
Para evitar confusiones entre los dos sentidos o tipos de disyuncin, es costumbre usar la expresin
o o cuando se trata de la exclusiva. La inclusiva slo se expresa con una sola o.
Las disyunciones, tanto inclusivas como exclusivas, tambin pueden estar constituidas por
enunciados simples o compuestos. Ejemplos:
O apagas la tele y te pones a estudiar o reprobars el examen.
Juan se fue temprano o no vino.

Los enunciados condicionales estn constituidos por dos enunciados simples enlazados por la
expresin si entonces.
El enunciado que est entre las palabras si y entonces se llama antecedente y el que va despus
de entonces es el consecuente. El enunciado
Si la UNAM se privatiza, entonces los alumnos pagarn colegiatura.
es un condicional cuyo antecedente es la UNAM se privatiza y el consecuente es los alumnos pagarn
colegiatura.
El trmino condicional implica un requerimiento que debe cumplirse. En este sentido, el antecedente
condiciona, y el consecuente depende del cumplimiento de la condicin.
En el lenguaje coloquial, es comn que el enunciado condicional se exprese invirtiendo el orden de
sus elementos, como se muestra aqu:
Mxico saldr de la pobreza si se carga el IVA a los alimentos.
Venderemos ms si hacemos una campaa publicitaria.
En casos como sos el antecedente es el enunciado que aparece despus de la palabra si. El
antecedente y el consecuente de un enunciado condicional tambin pueden ser compuestos:
Si comemos rpido, entonces podemos pasar a la nevera y entrar al cine.
Si no pagamos impuestos, iremos ala crcel.










17
Los enunciados bicondicionales constan de dos enunciados simples relacionados mediante el
conectivo si y slo si; ejemplos:
Jenny es libre si y slo si es responsable de sus actos.
El Toluca ganar si y slo si el rbitro se vende.
Mxico crecer econmicamente si y slo si aumenta el precio del petrleo.
Los bicondicionales expresan una doble condicin, esto es, el primer miembro es condicin del
segundo y, a su vez, ste es condicin del primero. En general, se puede entender que un bicondicional es
equivalente a dos condicionales recprocos. El enunciado:
3 + x
2
= 6 si y slo si x = 2
es equivalente a estos dos:
Si 3 + x
2
= 6, entonces x = 2
Si x = 2, entonces 3 + x
2
= 6
La condicin recproca entre dos enunciados tambin se expresa mediante otros trminos como
stos: equivale a, nicamente y slo.

1.5 Conectivos lgicos, valores de verdad y signos de agrupacin.
Las expresiones que designamos como trminos de enlace y que en gramtica se conocen, en
general, como conjunciones, en lgica se denominan conectivos lgicos o simplemente conectivos.
En el lenguaje natural se usan muchas expresiones de este tipo para unir oraciones; incluso algunas
veces tales trminos se sobreentienden y slo se yuxtaponen los enunciados simples.
Todos estos trminos, que sirven de enlace entre otras oraciones, se pueden representar con unos
cuantos conectivos lgicos, que se denominan y expresan de esta manera:
Nombre del conectivo Expresin del lenguaje natural Smbolo
Negacin No, no es cierto, no ocurre que ~
Conjuncin Y, pero, adems, tambin & . -
Disyuncin inclusiva o v
Disyuncin exclusiva o o v
Condicional Si entonces c
Bicondicional Si y slo si

Desde hace ms de un siglo se practica la simbolizacin en la lgica, pero en cuanto a los signos
que se utilizan no hay unanimidad. Se aceptan algunos signos por ser representativos, otros por ser ms
usuales o familiares. La eleccin de los signos es libre, pero debe ser consistente.
Adems de los conectivos lgicos, se encuentran las letras enunciativas o variables que son letras
minsculas p, q, r, s, t hasta z, y sirven para simbolizar enunciados simples. En un enunciado compuesto o
en un argumento, una letra enunciativa simboliza siempre un nico enunciado simple.
El conectivo de negacin, como ya sabemos, es un operador monario o mondico, es decir, acta
slo sobre un enunciado y cuando se simboliza, se escribe a la izquierda de la letra correspondiente.
Los conectivos conjuncin, disyuncin inclusiva, disyuncin exclusiva, condicional y bicondicional son
binarios, relacionan dos enunciados, por lo cual cuando se simbolizan, se escriben en medio de las letras
enunciativas.
Junto con los conectivos y las letras enunciativas, tambin se encuentran los signos de agrupacin.
stos sirven para reunir enunciados simples que integran un enunciado compuesto y son parntesis,
corchetes y llaves. Dicha agrupacin facilitar la identificacin del conectivo principal y, de ese modo, se
determinar la forma del enunciado compuesto.

18
Una serie o sucesin de smbolos del alfabeto del lenguaje simblico, que acabamos de describir,
es una frmula bien formada si est de acuerdo con las siguientes definiciones o reglas de formacin:
1. Toda letra enunciativa es una frmula bien formada.
2. La negacin de una frmula bien formada tambin es una frmula bien formada.
3. La conjuncin, disyuncin (inclusiva y exclusiva), condicional y bicondicional de dos frmulas bien
formadas son frmulas bien formadas.
4. Cualquier otra combinacin no es una frmula bien formada.
De acuerdo con estas definiciones, todas las expresiones que aparecen a continuacin son
frmulas bien formadas:
p q t
p t w
p v s t & q x y
No todas las expresiones del lenguaje simblico tienen una estructura tan simple; hay otras ms
complejas, pero que se construyen de acuerdo con las mismas definiciones. Por ejemplo: como la
expresin t & q que es una frmula bien formada, tambin lo es la siguiente, pues simplemente es la
negacin de la anterior:
(t & q)
Aqu debe observarse el uso de parntesis para no confundir la estructura principal de la frmula.
De la misma manera, se puede confirmar que las siguientes expresiones tambin cumplan con las
definiciones:
p v (x y) (t & q) (x y) (t & q) x
[(v & w) (x y)] [(s & t) u] w
Mientras que las que vienen a continuacin no lo son:
pv p &tq prs
Las definiciones anteriores son muy importantes porque se aplican directamente en el proceso de
simbolizacin, y permiten construir un lenguaje que evita confusiones y errores.



1.6 Simbolizacin de proposiciones.
Observando las reglas de formacin de frmulas se podr traducir el lenguaje natural al lenguaje
simblico; para ello procederemos de ejemplos simples a otros ms complejos.
1. Enunciados simples. Todos los enunciados simples se simbolizan con una letra enunciativa:
ENUNCIADO SIMBOLIZACIN
Los polticos dicen la verdad. p
Los defeos salieron de vacaciones. q


2. Enunciados compuestos.
Negacin de un enunciado simple. Se simboliza anteponiendo el smbolo a la letra enunciativa
que corresponde al enunciado simple:
ENUNCIADO SIMBOLIZACIN
El agua no es saludable. p
No es cierto que el agua es saludable. p
No es verdad que hoy hay examen. r

19

Conjunciones. Primero se simbolizan los enunciados simples y las letras enunciativas se unen con el
smbolo &:
ENUNCIADO:
Los pjaros trinan y los caballos
relinchan.

r = Los pjaros trinan.
q = Los caballos relinchan.
SIMBOLIZACIN: r & q
Disyunciones inclusivas. Se simbolizan igual que las conjunciones pero con el smbolo v:
ENUNCIADO:
El azcar produce caries dental o el
azcar es buena para la salud.

p = El azcar produce caries dental.
q = El azcar es buena para la salud.
SIMBOLIZACIN: p v q

Disyunciones exclusivas. Se utiliza el smbolo v:
ENUNCIADO: O Luca es qumica o Luca es zologa.

t = Luca es qumica.
s = Luca es zologa.
SIMBOLIZACIN: t v s

Condicionales. Se simbolizan con el conectivo . Siempre se pone primero el antecedente y luego
el consecuente:
ENUNCIADO: Si llueve, entonces la ciudad se inundar.

r = Antecedente: Llueve.
u = Consecuente: La ciudad se inundar.
SIMBOLIZACIN: r u
Se proceder de la misma manera aunque la expresin castellana est invertida. Conviene
recordar que la expresin si siempre precede al antecedente:
ENUNCIADO:
Rub acreditar fsica si resuelve el
cuestionario.

t = Antecedente: resuelve el cuestionario.
q = Consecuente: Rub acreditar fsica.
SIMBOLIZACIN: t q

Bicondicionales. Se simbolizan con el conectivo :
ENUNCIADO:
El oxgeno es inflamable si y slo si el
oxgeno es gas.

s = El oxgeno es inflamable.
p = El oxgeno es gas.
SIMBOLIZACIN: s p




20
3. Enunciados complejos. Para mayor comprensin denominaremos complejos a los que estn
formados por ms de dos conectivos, aunque en sentido estricto stos tambin son compuestos.
Para simbolizar los enunciados complejos el uso de signos de agrupacin es obligado, porque sin
ellos se produciran confusiones. En la simbolizacin se proceder segn estos pasos:
a) Presentan el enunciado completo.
b) Identificacin del conectivo principal. ste es el que predomina en el enunciado complejo y
determina su forma.
c) Localizacin y simbolizacin de enunciados simples.
d) Los enunciados compuestos por un conectivo binario se encerrarn entre un par de signos de
agrupacin.
e) Simbolizacin del enunciado completo.

1. ENUNCIADO: No es cierto que ayer no fui al cine.
ste es una doble negacin que slo contiene un enunciado simple, y se simboliza as:
r = Ayer fui al cine.
r = Ayer no fui al cine.
r = No es cierto que ayer no fui al cine.
Estrictamente, este enunciado se debera simbolizar como (r), pero como no hay
confusin, se pueden omitir los parntesis.

2. ENUNCIADO: El oro no es valioso y el cobre es caro.
Este enunciado es conjuntivo, ya que el conectivo negativo forma parte del primer conyunto.
Su simbolizacin es la siguiente:
p =
r =
p =
El oro es valioso.
El cobre es caro.
El oro no es valioso.
SIMBOLIZACIN:
p & r

3. ENUNCIADO: El plomo no es pesado y el nquel no es ligero.
Los conectivos negativos afectan slo a los enunciados simples y las negaciones estn
relacionadas por la conjuncin, es decir, es un enunciado conjuntivo.

s =
q =
s =
q =
El plomo es pesado.
El nquel es ligero.
El plomo no es pesado.
El nquel no es ligero.
SIMBOLIZACIN: s & q

4. ENUNCIADO: No es cierto que la calle es segura y que los policas vigilan.
Aqu observamos que el relativo que antecede a los dos enunciados simples; esto indica que
se trata de la negacin de un enunciado conjuntivo, por tanto, el conectivo principal es la negacin, y se
simboliza as:

p =
q =
La calle es segura.
Los policas vigilan.
SIMBOLIZACIN: (p & q)
La necesidad de usar los parntesis se detecta comparando esta ltima simbolizacin con el
ejemplo 3. Mientras aqul es la conjuncin de dos negaciones, ste es la negacin de una conjuncin. Si no
se hubieran usado parntesis, entonces quedara la simbolizacin de una conjuncin cuyo primer conyunto
sera una negacin.

21

5. ENUNCIADO: Per y Cuba son pases latinos, y enfrentan los mismos problemas.
Se trata de un enunciado conjuntivo, pero tiene dos conjunciones. Cul de las dos es la
principal? La coma sirve para indicar que el primer conyunto es un enunciado conjuntivo y, por tanto, el
segundo conectivo es el principal. Este ejemplo se simboliza como sigue:

p =
q =
r =
Per es un pas latino.
Cuba es un pas latino.
Per y Cuba enfrentan los mismos
problemas.
SIMBOLIZACIN: (p & q) & r

6. ENUNCIADO: Terminas la tarea y aseas tu cuarto, o no vas al cine.
Este ejemplo es un enunciado disyuntivo, eso tambin lo indica la coma. El primer disyunto es
una conjuncin y el segundo una negacin. Para simbolizarlo debe considerarse que es inclusivo, pues
aunque se cumplan las dos acciones, es posible que el interpelado se quede en casa.

p =
q =
s =
p&q =

s =
Terminas la tarea.
Aseas tu cuarto.
Vas al cine.
Terminas la tarea y aseas tu cuarto.
No vas al cine.
SIMBOLIZACIN: (p & q) v s

7. ENUNCIADO: Los genios son inteligentes o no son inteligentes.
Aqu se trata de un enunciado disyuntivo exclusivo, porque slo admite una de las opciones.
Adems slo tiene un enunciado simple que aparece dos veces. En casos como ste, slo se usar una
letra enunciativa:

t =
t =
Los genios son inteligentes.
Los genios no son inteligentes.
SIMBOLIZACIN: t v t

8. ENUNCIADO: Si Martha y Mara fuman, entonces Marina no duerme.
Como el enunciado conjuntivo aparece entre las expresiones si entonces, constituye el
antecedente y, por tanto, el enunciado completo es condicional. Este enunciado se simboliza como sigue:

q =
t =
s =
s =
q&t =
Martha fuma.
Mara fuma.
Marina duerme.
Marina no duerme.
Martha y Mara fuman.
SIMBOLIZACIN: (q&t) s

9. ENUNCIADO: Elena sanar si y slo si se inyecta y guarda reposo.
Este ejemplo es bicondicional. En casos como ste, no hay seal ortogrfica, por eso se debe
entender al sentido y poder determinar la estructura que domina, es decir, identificar el conectivo principal.
El enunciado ejemplificado se simboliza as:

r =
t =
q =
t&q =
Elena sanar.
Elena se inyecta.
Elena guarda reposo.
Elena se inyecta y guarda reposo.
SIMBOLIZACIN: R (t & q)

22

10. ENUNCIADO: O el Amrica gana este partido o no consigue el campeonato, y si no consigue el
campeonato, entonces la directiva contratar jugadores extranjeros y los sueldos de los nacionales
bajarn.
En estructuras tan complejas como sta, primero se debe identificar el conectivo dominante;
para ello, es necesario leer con atencin y tomar en cuenta la puntuacin. Aqu se trata de una conjuncin
cuyos conyuntos son suna disyuncin exclusiva y un condicional. La simbolizacin se efecta como sigue:

p =
q =

r =

s =

q =
El Amrica gana este partido.
El Amrica consigue el campeonato.
La directiva contratar jugadores
extranjeros.
Los sueldos de los jugadores nacionales
bajarn.
El Amrica no consigue el campeonato.
SIMBOLIZACIN: (p v q) & [q (r & s)]

El proceso de simbolizacin puede alargarse tanto como la complejidad del lenguaje natural, pero
los ejemplos anteriores proporcionan los fundamentos para simbolizar cualquier enunciado. Hay que
tomar en consideracin que, en el lenguaje natural, la estructura lgica no es tan evidente, pero no
siempre se usan los recursos gramaticales (como los relativos y los signos de puntuacin) para resaltar el
conectivo principal (de aqu en adelante, en la simbolizacin, ste se definir como el que queda fuera del
parntesis); por ello se debe leer atentamente cada enunciado que se desee simbolizar para captar el
sentido y descubrir la estructura predominante (el conectivo principal).























23
1.7 Tablas de verdad: negacin, conjuncin, disyuncin inclusiva, disyuncin exclusiva, condicional y
bicondicional.
El clculo lgico se fundamenta en las condiciones de verdad de los enunciados. Ya dijimos que, por
el principio del Tercio excluso, cualquier enunciado es verdadero o falso, no hay una tercera posibilidad.
Como un recurso para construir tablas de verdad, primero introduciremos la nocin de diagrama de
rbol; ste deber aplicarse, por comodidad y economa a enunciados simbolizados. Por ejemplo:
(p v q) (q & r)
Este enunciado es bicondicional, pues ste es precisamente su conectivo principal porque es el
nico que est fuera de parntesis; consta de dos enunciados compuestos. stos sern las primeras
ramas del rbol y se trazan como se muestra:
(p v q) (q & r)


p v q q & r

Cada uno de los enunciados constituyentes, a su vez, est formado por dos enunciados simples, y
eso lo representamos as:

(p v q) (q & r)


p v q q & r


p q q r

El diagrama muestra completamente la estructura de nuestro ejemplo. En este procedimiento,
fuimos de lo complejo a lo simple hasta descubrir los elementos atmicos.

El anlisis es necesario para construir las tablas de verdad, pues como ya identificamos los
enunciados simples que intervienen en el ejemplo, entonces bastar saber si los simples son verdaderos o
falsos para determinar si el compuesto es verdadero o falso tambin. Slo que para esto necesitamos la
definicin de los conectivos.

La definicin de los conectivos consiste en decir en qu condiciones el enunciado es verdadero y en
qu condiciones es falso. Lo cual significa que las definiciones se darn en trminos de valores de verdad.











24
Negacin.-
Un enunciado negativo es verdadero si el enunciado afirmativo es falso, y es falso cuando el
afirmativo es verdadero. Esta definicin se representa esquemticamente en la siguiente tabla:

P p
V F
F V

Conjuncin.-
Un enunciado conjuntivo es verdadero si y slo si los dos conyuntos son verdaderos. En cualquier
otro caso es falso. Estas condiciones se reflejan en la siguiente tabla:

p q p & q
V V V
V F F
F V F
F F F

Disyuncin inclusiva.-
Un enunciado disyuntivo inclusivo es verdadero si al menos uno de sus disyuntos es verdadero. En
cualquier otro caso es falso. La definicin se resume en la siguiente tabla:

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

Disyuncin exclusiva.-
Una disyuncin exclusiva es verdadera si uno de sus disyuntos es verdadero y el otro falso. En
cualquier otro caso el enunciado es falso:

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









25
Condicional.-
Un enunciado condicional es verdadero si el antecedente es falso o el consecuente es verdadero; el
nico caso en que es falso es cuando el antecedente es verdadero y el consecuente es falso. La siguiente
tabla representa la definicin del condicional:

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


Bicondicional.-
Un enunciado bicondicional es verdadero si sus dos miembros tienen exactamente el mismo valor
de verdad: los dos verdaderos o los dos falsos. En cualquier otro caso el bicondicional es falso:

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


Las definiciones se aplican directamente en todos los enunciados concretos constituidos por un solo
conectivo. En otras palabras, todos los enunciados constituidos por un solo conectivo tienen exactamente
la misma tabla de verdad que la definicin correspondiente.
Ya sabemos que un enunciado complejo cuenta con dos o ms conectivos y uno de ellos es el
principal. Para determinar el valor de verdad de estos enunciados se tiene que construir una tabla de
verdad.

La tabla de verdad de los enunciados complejos se construye de acuerdo con los siguientes pasos:
1. Se determina el conectivo principal del enunciado.
2. Se identifican los componentes simples que lo constituyen mediante un diagrama de rbol.
3. Se asignan los valores de verdad a los enunciados simples.
4. Se aplican las definiciones de los conectivos para determinar los valores de verdad del
enunciado complejo.











26
1. DIALCTICA
1.1 Nocin dialctica.
Dialctica proviene de dialcticos que significa dialecto. Es la ciencia lgica que trata de raciocinio y
de sus leyes, formas y modos de expresin. Mtodo que procura definir y resolver las contradicciones del
pensamiento y de la realidad histrica.

1.2 Tres momentos de la dialctica: tesis, anttesis y sntesis.
La dialctica consiste en una contraposicin de intuiciones sucesivas, que cada una de ellas aspira a
ser la intuicin plena de la idea, del concepto, de la esencia, pero como no puede serlo, la intuicin
siguiente, contrapuesta a la anterior, rectifica y mejora aquella anterior. Y as, sucesivamente, en dilogo o
contraposicin de una a otra intuicin, se llega a purificar, a depurar lo ms posible esta vista intelectual.
En otras palabras:
TESIS = Proposicin
ANTTESIS = Proposicin opuesta a la TESIS
SNTESIS = Resultado de la unin de las dos proposiciones.

2. El pensamiento y la experiencia sensible, lo emprico y lo terico, lo concreto y lo abstracto, lo absoluto y
lo relativo, lo terico y lo prctico.
Al hablar de representaciones internas del objeto en el sujeto encontramos que existen dos tipos de
representaciones internas:

1) Imgenes o representaciones sensibles: Si muestro a un nio un reloj de pulsera, de arena,
despertador, el nio forma representaciones sensibles o imgenes. Todo reloj es diferente, el nio capta la
imagen determinada para cada uno, y esto lo lleva a cabo a travs de los sentidos.
Caractersticas de la representacin sensible:
Son captadas por los sentidos.
Son captados tanto por el hombre como por los animales.
Es singular
Se llaman imgenes porque es representada por la imaginacin.

2) Pensamiento o representaciones intelectuales: Todos los relojes aunque son diferentes tiene algo
en comn que nos permite formar una representacin que los abarque a todos por igual, es decir, son
aparatos que miden el tiempo.
Caractersticas de las representaciones intelectuales:
Son universales.
Se captan por la inteligencia.
Estas representaciones son llamadas tambin pensamientos.









27
Pensamiento mgico.-
Es una creencia errnea de que los propios pensamientos, palabras o actos causarn o evitarn un
hecho concreto de un modo que desafa las leyes de causa. Es algo cotidiano y siempre, en todo momento
en la actividad psquica normal. El concepto de pensamiento resulta muy restrictivo, puesto que la actividad
mgica de la mente se extiende a los mbitos de afectividad, por lo que sera ms adecuado denominarlo
modo mgico.
Las caractersticas principales de lo mgico son:
La analoga.- Es la ley bsica del pensamiento mgico. En el pensamiento mgico lo mismo
que en los sueos, la asociacin entre las ideas, imgenes, a los afectos, se hacen buscando
semejanza y coincidencia en el espacio y tiempo.
El adualismo.- Significa que en el modo mgico no se hace distincin entre lo que se piensa y
la realidad; nuestras representaciones son tomadas como cosas reales.
La indisociacin.- Consiste en la confusin existente entre cognicin, afectividad, deseos,
conducta y reacciones somticas.
El animismo.- Es una consecuencia de la ley bsica del modo mgico, la analoga. El ser
humano interpreta todo modo como un anlogo de s mismo. Como ser vivo todas sus
caractersticas se dan durante sueos.

Pensamiento ordinario.-
El pensamiento es un trmino genrico que indica un conjunto de actividades mentales tales como
el razonamiento, la abstraccin, la generalizacin, etc., cuyas finalidades son, entre otras, la resolucin de
problemas, la toma de decisiones y la representacin de la realidad externa.
El pensamiento ordinario va a resolver un simple problema que cualquier persona promedio es
capaz de resolver en poco tiempo. O tambin la toma de decisiones, que es cuando entra la lgica, en
sentido comn y nuestras convicciones que tienen que ver en el ambiente sociocultural en el que se
desenvuelve el individuo.
Por eso, el pensamiento ordinario parte de las experiencias directas o de indicaciones prcticas.
Este pensamiento es insuficiente para resolver situaciones especiales (origen de enfermedades) o
cuestiones de carcter terico (principio que rige el movimiento de los astros).

Pensamiento potico.-
Trata de captar la realidad mediante una imagen creadora con la finalidad no de dar a conocer la
realidad como tal sino el sentimiento despertado por dicha realidad.
Sus caractersticas son:
Emplea imgenes visuales, auditivas y tctiles.
Se vierte a travs de la sensibilidad del artista.
Trata de despertar el mismo sentimiento que tuvo el autor de la obra.
Da una visin conmovedora de la realidad.
Dicho pensamiento se expresa a travs de la poesa, pintura, escultura, danza, etc., y pretende
presentarnos al mundo a travs de la imaginacin y de la sensibilidad del hombre.







28
Pensamiento mtico.-
En la antigedad antes de que apareciera la filosofa exista otra mentalidad, la mtica. Esta
mentalidad mtica se sustentaba en los mitos. Estos mitos eran historias que haban sido creadas por los
hombres para ejemplificar y ensear a otros hombres formas desconocidas sobre algo. Estos mitos
estaban sustentados en historias arcaicas y fomentaban una nica forma de pensar. Una de las
principales caractersticas es que todo estaba sacralizado y movido por lo sagrado, por tanto todo tenda a
los dioses. As, los mitos, base del pensamiento mtico, son la explicacin de todo lo que ocurra en la vida
de nuestros ms remotos antepasados, haciendo de esta un ritual constante bajo la supuesta mirada de
los dioses, siempre jugando con estas sociedades a su antojo.

Pensamiento cientfico.-
La ciencia es un conjunto de conocimientos aprobados y sistematizados, obtenidos mediante el
concurso de mtodos lgicos, rigurosamente. Estos conocimientos, despus de estar sujetos a la crtica y la
comprobacin, se presentan organizados y distribuidos en las diversas ramas del saber; la ciencia busca
resolver problemas. La importancia de la ciencia y el esquema del pensamiento o mtodo que ello define,
es fundamental en el mundo moderno ya que la ciencia est siempre al servicio del hombre y su fin es el
proceso de la humanidad.
Una de las principales aplicaciones del pensamiento cientfico es utilizar el mtodo cientfico, que es
un proceso de razonamiento que intenta no slo describir los hechos sino tambin explicarlos.
El pensamiento cientfico se clasifica en: a) Ciencias filosficas: Tratan de descubrir los
conocimientos inteligibles del ser, de todo lo existente y de dar una visin total de la realidad. b) Ciencias
formales: Estudian la validez del razonamiento tanto en su aspecto lgico como en su aspecto matemtico.
c) Ciencias fcticas: Intentan descubrir la estructura de los diferentes objetos de la realidad, pero slo de la
realidad perceptible por los sentidos.

Pensamiento religioso.-
Dicho pensamiento ha evolucionado de acuerdo a la sociedad. En un inicio la religin se
consideraba politesta, es decir, exista el dios del agua, fuego, etc. En la actualidad la religin es
monotesta adorando a un solo dios.
El pensamiento religioso est constituido por tres pasos que se siguen en secuencia lgica: 1. El
reconocimiento de un ser trascendente, que es el principal objeto religioso. 2. Conjunto de proposiciones
acerca de ser trascendente y relaciones con el mundo, incluyendo el hombre, es decir, la religin. 3. Un
conjunto de hombres que aceptan y viven una religin creando la iglesia o la comunidad religiosa.
Al conocimiento religioso se le puede acceder de dos modos: a) Por la va de la razn, es decir,
cuando se te inculca sin explicacin a pertenecer a una religin; b) Por la va de la revelacin, es decir,
cuando t sientes verdadera fe en tu religin.