OBJETIVO 1 LA LGICA

PROF. ANDRS MONTENEGRO

La lgica es la ciencia del razonamiento. El estudio de la lgica es el estudio de los

mtodos y principios usados para distinguir el razonamiento correcto de lo incorrecto.
Todo razonamiento es pensamiento pero no todo pensamiento es razonamiento. La
distincin del razonamiento correcto de lo incorrecto es el problema central que debe
tratar la lgica. Un razonamiento es cualquier grupo de proposiciones tal que una de
ellas se afirma ya que deriva de las otras, las cuales son consideradas como evidencia
de verdad de la primera.
La conclusin de un razonamiento es la proposicin que se afirma sobre la base de otra
proposicin del mismo razonamiento. Razonamiento es la estructura completa y la
conclusin es lo que se deduce.
La inferencia es el proceso en el cual se llega a una proposicin y se le afirma sobre
una base de otra u otras proposiciones aceptadas como punto de partida del proceso.
Operaciones Mentales
.- Simple Aprehensin: Es el acto mediante el cual la inteligencia capta o percibe una
cosa sin afirmar o negar nada de l.
.- El Juzgar: Es el acto mediante el cual una cosa se afirma o se niega algo de l.
.- El Razonar: Es el acto mediante el cual una cosa se infiere de otra.
Estructuras del Pensamiento
.- Concepto o Idea: Es la representacin intelectual de un objeto sin afirmar y negar
nada de l y dicho objeto debe ser inteligible, es decir que sea capaz de conocer y
entender el hombre.
.- El Juicio: Es el producto resultante de la operacin mental y es forzosamente
verdadero o falso, es una afirmacin positiva o negativa.
.- El Razonamiento: En sentido amplio, se entiende por razonamiento la facultad
humana que permite resolver problemas. Se llama tambin razonamiento al resultado
de la operacin mental de razonar, es decir, un conjunto de proposiciones enlazadas
entre s que dan apoyo o justifican una idea. El razonamiento se corresponde con la
actividad verbal de argumentar. En otras palabras, un argumento es la expresin
verbal de un razonamiento.
El Juicio
El juicio es un pensamiento en el que se afirma o se niega algo de algo.
Segn Aristteles, el juicio es el "pensamiento compuesto de ms de una idea, pero
dotado, a la vez, de una unidad especial que se logra por medio de la cpula".
ELEMENTOS DEL JUICIO
1.

Sujeto: es el concepto del objeto del juicio, es decir, es el concepto de quien se

predica o se dice algo.
2.
Predicado: es el concepto que se aplica al sujeto, es decir, es lo que se afirma
o niega acerca del sujeto.

OBJETIVO 1 LA LGICA

3.

PROF. ANDRS MONTENEGRO

Cpula: aquello que establece que lo pensado en el predicado es propio o no es

propio del objeto del juicio.
Ejemplo:

Juicio: El hombre es racional.

Sujeto: "El hombre"
Predicado: "racional"
Cpula: "es", establece que el contenido pensado en el predicado es
propio del objeto del juicio, establece que al hombre le es propio el
carcter de racional.

CLASIFICACIN DE LOS JUICIOS

1. Por la Cantidad
a) Universales
Son aquellos que se refieren a todos los individuos de la especie.
Ejemplo: Todos los hombres son racionales.
b) Particulares
Son aquellos que se refieren a varios objetos sin llegar a la totalidad, es decir,
que se refieren tan solo a una parte del todo.
Ejemplo: Algunos hombres son leales.
c) Singulares
Son aquellos que hacen referencia a un solo individuo de la especie.
Ejemplo: Juan es leal.
2. Por la Calidad
a) Afirmativos
Son aquellos juicios que expresan la compatibilidad entre el sujeto y el
predicado. Se realiza el predicado en el sujeto.
Ejemplo: Los hombres son racionales.
b) Negativos
Son aquellos que expresan la incompatibilidad entre el sujeto y el predicado.
Dan como resultado que en la relacin sujeto predicado los separa entre s.
Ejemplo: Los animales no son piedras. (Quedan separados, negados)
3. Por la Relacin
a) Categricos
Son aquellos en los que la relacin sujeto predicado se nos ofrece sin
condiciones. Son juicios no sujetos a otra condicin.
Ejemplo: Los minerales son seres inertes. (No lo condicionamos a nada)
b) Hipotticos
Son aquellos en los que la relacin sujeto predicado se establece
condicionalmente. Se hace un enunciado cuya veracidad depende siempre de
una condicin.
Ejemplo: Si llueve, la cosecha ser buena.

OBJETIVO 1 LA LGICA

PROF. ANDRS MONTENEGRO

c) Disyuntivos
Son aquellos en los que se afirma alternativa o exclusivamente uno u otro
predicado, o varios predicados.
Ejemplo: Juan es estudiante o profesor.
4. Por la Modalidad
a) Problemticos
Son aquellos que expresan una opinin no demostrada por lo que hay
posibilidad que esa opinin sea verdadera o falsa.
Ejemplo: Es posible que Juan sea locutor.
b) Asertricos
Son aquellos que expresan una verdad de hecho. El predicado se relaciona con
el sujeto de una manera real.
Ejemplo: Juan es locutor.
c) Apodcticos
Aquellos que expresan una necesidad, es el juicio lgicamente necesario, no
admiten contradiccin.
Ejemplo: Los hombres son seres racionales.
FORMAS TPICAS DEL JUICIO CATEGRICO
Al combinar la cantidad y la cualidad, tenemos cuatro formas tpicas del juicio
categrico.
Universal afirmativo: se lo representa con la letra A. Ejemplo: Todos los hombres
son mortales.
Universal negativo: se lo representa con la letra E. Ejemplo: Ningn animal es
mineral.
Particular afirmativo: se lo representa con la letra I. Ejemplo: Algunos hombres son
genios.
Particular negativo: se lo representa con la letra O. Ejemplo: Algunos hombres no
son sensatos.
NOMENCLATURA TRADICIONAL
Los escolsticos medievales designaron las vocales indicadas a estos cuatro juicios, de
acuerdo con las palabras latinas: AffIrmo (A I) y nEgO (E O).
Estas ideas se resumen en estos dos versos mnemnicos de Pedro Hispano (siglo XIII)
A afirma, E niega; ambas, universalmente.
I afirma, O niega; ambas, particularmente.
DIAGRAMA DE EULER
Este cientfico del siglo XVIII invent una representacin
grfica de estas cuatro formas tpicas.
Representa
Representa
Representa
Representa

a la A = Universal Afirmativa = Todo S es P

a la E = Universal Negativa = Ningn S es P
a la I = Particular Afirmativa = Algn S es P
a la O = Particular Negativa = Algn S no es P

OBJETIVO 1 LA LGICA

PROF. ANDRS MONTENEGRO

La primera figura significa que todo el sujeto est incluido en la extensin del
predicado.
La segunda, que todo el sujeto est excluido de la extensin del predicado.
La tercera, que parte del sujeto se incluye en la extensin del predicado (de la otra
parte del sujeto nada se dice).
La cuarta, que parte del sujeto se excluye de la extensin del predicado (nada se dice
del resto de la extensin del sujeto).
RELACIONES LGICAS ENTRE LOS JUICIOS
EQUIVALENCIA
Son equivalentes los juicios que no difieren sino por la expresin, por ejemplo, no todo
hombre es sabio = algn hombre no es sabio.
OPOSICIN
Son juicios opuestos aquellos que tienen el mismo sujeto y el mismo predicado, pero
que difieren por la cualidad, por la cantidad, o por ambas cosas a la vez.
ESQUEMA DE LAS OPOSICIONES

OBJETIVO 1 LA LGICA

PROF. ANDRS MONTENEGRO

Razones:

EL JUICIO
Forma tpica:

.- Existe una relacin entre el concepto sujeto y

el concepto predicado.

S es P

.- Pensamiento verdadero porque la fsica lo

afirma.

La gravedad es una fuerza

Concepto sujeto

Concepto predicado
.- Es una afirmacin positiva.
Copula

Concepto sujeto: Es lo que antecede a la copula.

Nota: Para el estudio de la lgica

es indiferente que la copula sea
singular o plural.

Concepto predicado: Es lo que sigue a la copula.

DIVISIN DE LOS JUICIOS:

1.2.3.4.5.6.7.-

Afirmativos
Negativos
Infinitivos
Universales
Particulares
Individuales
Hipottico

Tiene la forma

S es P
S no es P
S es no P
Toda S es P
Alguna S es P
S es P
Si S es P entonces P es Q

CLASES DE JUICIOS:
a) Juicios por cantidad:
1.2.3.-

Universal:
Particular:
Individual:

Toda S es P
Alguna S es P
S es P

Todos los hombres son razonables

Algunos futbolistas son profesionales
Anglica es una analista de sistemas

b) Segn su cualidad o calidad:

1.2.-

Afirmativo:
Negativo:

S es P
S no es P

Los perros son animales cuadrpedos

Los perros no son bpedos

c) Segn su relacin:
1.2.-

Hipottico:
Disyuntivo:

Si S es P entonces S es Q
S es P o Q

Si llueve entonces la cosecha ser buena

Lorianni es profesora o estudiante

d) Segn su modalidad:
1.2.3.-

Apodcticos:
Asertrico:
Problemticos:

S es forzosamente P
S es P
S es probablemente P

Los hombres son seres humanos

Lilianita es preciosa
El informe probablemente este mal redactado

OBJETIVO 1 LA LGICA

PROF. ANDRS MONTENEGRO

Descomponer en proposiciones simples

2

Si Y es igual a 1 entonces Y es igual a 1

P

P: Y es igual a 1
2

Q: Y es igual a 1

Si P entonces Q

JUICIOS DE CANTIDAD Y CUALIDAD COMBINADOS

1.2.3.4.-

Universal Afirmativo
Particular Afirmativo
Universal Negativo
Particular Negativo

Toda S es P (A)
Alguna S es P (I)
Ningn S es P (E)
Alguna S no es P (O)

Todo vehculo es transporte (A)

Algn matemtico es cientfico (I)
Ningn ocano es pequeo (E)
Algn pintor no es famoso (O)

JUICIOS POR CONVERSIN

En los juicios por conversin a partir del juicio S es P se obtiene otro juicio P es S, donde S es P
es el convertiente y P es S es el converso. Para cada juicio de cantidad y cualidad combinados
como convertiente existe un converso exceptuando los juicios particular negativo.

CONVERTIENTE

CONVERSO

Universal Afirmativo
(A)

Particular Afirmativo
(I)

Particular Afirmativo
(I)

Particular Afirmativo
(I)

Universal Negativo
(E)

Universal Negativo
(E)

Particular Negativo
(O)

No tiene Converso

CONVERTIENTE

CONVERSO

Todo cura es adulto (A)

Algn adulto es cura (I)

Algn atleta es famoso (I)

Algn famoso es atleta (I)

Ningn cientfico es delincuente (E)

Ningn delincuente es cientfico (E)

Algn abogado no es fiel (O)

No tiene converso

OBJETIVO 1 LA LGICA

PROF. ANDRS MONTENEGRO

TABLAS DE VERDAD:
Es un procedimiento grafico que se utiliza para conocer los posibles valores de verdad
de una proposicin molecular, para ello se utiliza las combinaciones de los valores de
las proposiciones simples intervinientes.
Para conocer el resultado de los posibles valores de verdad de una proposicin
compuesta se hace uso de la siguiente ecuacin:
N
X=2
Donde: X es la cantidad de valores veritativos de la proposicin compuesta
N es el nmero de proposiciones atmicas intervinientes.
Ejem: Si la proposicin molecular est formada por dos proposiciones
X=2

X = 4.

Por qu se les llama Tablas de Verdad y quin les coloc ese nombre? Se les
llama tablas de verdad ya que devuelven un valor booleano (V o F) para determinar
situaciones lgicas. Las invent Charles Peirce en los aos 1880.
Conectivo
Lgico

Smbolo
Conector

Nombre del
Smbolo

Tipo del
Smbolo

Nombre de la
Proposicin

Simbolizacin de
la Proposicin

Conjuntor

Didico

Conjuncin

pq

Disyuntor

Didico

Disyuncin

pq

Disyuntor
Exclusivo

Didico

Disyuncin
Exclusiva

pq

Sientonces,

Implicador

Didico

Implicacin

pq

si y slo si

Coimplicador

Didico

Coimplicador
Bicondicional

pq

Nini

Negador
Conjuntor

Didico

Negacin
Conjuncin

pq

O noo no

Negador
Disyuntor

Didico

Negacin
Disyuncin

p q

no

Negador

Mondico

Negacin

~p