LÓGICA

La lógica es la ciencia formal que estudia los principios y procedimientos que permiten
demostrar la validez e invalidez de las inferencias o razonamientos deductivos.

Es una ciencia formal porque solamente se interesa por la forma o estructura lógica y no el
contenido de las inferencias

Nociones Básicas de Lógica y la Simbolización

1. Concepto de inferencia y su estructura.

La inferencia es un proceso de razonamiento lógico que consiste en derivar la verdad de una

conclusión a partir de la verdad de una o más premisas, y de acuerdo a un conjunto de reglas
de deducción. Estas reglas garantizan el paso lógico de las premisas a la conclusión, es decir,
que nuestro razonamiento sea correcto.

Elementos:

 Premisa: Es toda proposición que sirve de punto de partida a cualquier inferencia.

 Conclusión: Es la proposición que se afirma sobre la base de las premisas.
 Reglas de deducción: Aquellas leyes que permiten el correcto paso de las premisas a la
conclusión.

Importante:

 Una inferencia es válida o lógicamente verdadera porque lo que afirma la conclusión se

deriva necesariamente de las premisas; es decir, siendo las premisas verdaderas la
conclusión también es verdadera
 Una inferencia es inválida o lógicamente falsa cuando la verdad de la conclusión no se
deriva necesariamente de la verdad de las premisas; es decir, no hay una relación lógica
entre las premisas y la conclusión. En este caso, técnicamente se le denomina falacia
(razonamiento incorrecto pero que es correcto aparentemente).

2. Tipos de inferencias.

Por el número de premisas

A. Inferencia inmediata: Es una forma de razonamiento que presenta una sola premisa de la
cual derivamos una conclusión.
B. Inferencia mediata: Es una forma de razonamiento compuesto por dos o más premisas de
las cuales se deriva la conclusión.

Por la forma de razonamiento

A. Inferencia deductiva: Es una forma de razonamiento cuya conclusión se deriva del

contenido directo de las premisas enunciadas, haciendo referencia expresa de los términos
enunciados. Esta forma de inferencia es la más usada en la Lógica Formal iniciada por
Aristóteles.

B. Inferencia inductiva: Es un razonamiento cuyas premisas representan casos singulares o

particulares de las cuales se deriva una conclusión que resulta un principio general. Esta forma
de inferencia usada en las ciencias naturales fue defendida por Francis Bacon en oposición a
lógica aristotélica.

3. Historia de la lógica.
4. Las proposiciones y su simbolización.

La proposición es cualquier expresión a cuyo sentido lógico con propiedad se le puede calificar
como verdadera o falsa, pero nunca con ambos valores a la misma vez, es decir, es imposible
que una proposición sea verdadera y falsa a la misma vez (“Principio de no contradicción”).
Significado lógico de una expresión aseverativa o declarativa. Estas sirven de base a las
inferencias.
Proposiciones simples: Una proposición simple es toda aquella en la que no hay operadores
lógicos. O sea, aquellas cuya formulación es, justamente, simple, lineal, sin nexos ni
negaciones, sino que expresa un contenido de manera sencilla.

Por ejemplo: “El mundo es redondo”, “Las mujeres son seres humanos”, “Un triángulo tiene
tres lados” o “3 x 4 = 12”.

Proposiciones compuestas: Por el contrario, las proposiciones compuestas son aquellas que
contienen algún tipo de operadores lógicos, como negaciones, conjunciones, disyunciones,
condicionales, etc. Generalmente poseen más de un término, o sea, están formadas por dos
proposiciones simples entre las cuales hay algún tipo de vínculo lógico condicionante.

Por ejemplo: “Hoy no es lunes” (~p), “Ella es abogada y viene de Irlanda” (pˆq), “Llegué tarde
porque había mucho tráfico” (p→q), “Comeré tortilla o me iré sin almorzar” (pˇq).

ˆ (y): conjunción.
ˇ (o): disyunción.
→ (Si… entonces): condicional.
↔ (Si y solo si): bicondicional
Δ (o bien… o bien): disyunción exclusiva.

Implicancias Notables, Equivalencias Notables y Circuitos Lógicos

1. Implicancias notables.

Son representaciones de las proposiciones.

2. Equivalencias notables.

3. Circuitos lógicos.
Proposiciones Categóricas

1. Definición, estructura, características y tipos de proposiciones categóricas.

Toda proposición categórica es un enunciado acerca de los miembros de dos clases y de

relación entre ellos.

Estructura:

Características:

1. Tienen sujeto y/o predicado Los cuales indican clases o conjuntos.

2. Tienen verbo copulativo: Es el verbo "SER" que está en presente y en modo indicativo,
mayormente se presentan con los términos "SON" o "ES", en su forma afirmativa o negativa.

3. Tienen un cuantificador: Que indica si se tomó integra o parcialmente el sujeto.

Tipos:
2. Equivalencia de las formas atípicas a proposiciones categóricas típicas.

3. Clases de inferencias inmediatas: conversión, obversión y oposición (Boecio)

Una inferencia inmediata es una inferencia que puede ser hecha a partir de una afirmación o
proposición.1 Por ejemplo, partiendo de la afirmación "Todos los sapos son verdes" podemos
obtener la inferencia inmediata "Ningún sapo es no verde". Hay varias inferencias inmediatas
que se pueden utilizar de forma válida en las operaciones lógicas, el resultado de estas es la
forma de afirmación lógicamente equivalente a la afirmación dada. También existen
inferencias inmediatas no válidas que son falacias silogísticas.

Conversión: Se cambia el sujeto de la premisa por el predicado de la conclusión y el predicado

de la premisa por el sujeto de la conclusión.

 Dada una declaración de tipo E, a partir del orden tradicional de oposición, "Ningún S es P"
se puede obtener la inferencia inmediata "Ningún P es S", que es la conversión de la
declaración dada.
 Dada una declaración del tipo I, "Algún S es P", se puede obtener la inferencia inmediata
"Algún P es S", que es la conversión de la afirmación dada.

Oposición: Por oposición se pasa de la veracidad a la falsedad y viceversa.

 Dada una afirmación de tipo A, "Todo S es P", se puede obtener la inferencia inmediata
"Ningún S es no P", que es la oposición de la afirmación dada.
 Dada una afirmación de tipo E, "Ningún S es P", se puede obtener la inferencia inmediata
"Todo S es no P", que es la oposición de la afirmación dada.
 Dada una afirmación de tipo I, "Algún S es P", se puede obtener la inferencia inmediata
"Algún S no es no P", que es la oposición de la afirmación dada.
 Dada una afirmación de tipo O, "Algún S no es P", se puede obtener la inferencia inmediata
"Algún S es no P", que es la oposición de la afirmación dada.
Contra positiva/obversión: Permite cambiar la cualidad de cualquier proposición de negativa a
positiva y viceversa, después debe negarse el predicado.

 Dada una afirmación de tipo A, "Todo S es P.", se puede obtener la inferencia inmediata
"Todo no P es no S", que es la contra positiva de la afirmación dada.
 Dada una afirmación de tipo O, "Algún S no es P.", se puede obtener la inferencia
inmediata "Algún no P es no S", que es la contra positiva de la afirmación dada.