1.

LÓGICA
Es una ciencia formal que estudia las estructuras del razonamiento estableciendo su validez e
invalidez, las que están sujetas a reglas deducidas de las leyes lógicas.

De esta definición destacamos:

Es ciencia formal porque su objeto de estudio, la validez del razonamiento, se encuentra en la
realidad conceptual (abstracta).
Estudia la validez e invalidez del razonamiento. La validez de una estructura se determina si se
sujeta o no a las reglas de la lógica. Las reglas son deducidas de las leyes lógicas, las mismas que
tienen como fundamento los principios lógicos.

2. ÁREAS DE LA LÓGICA
El desarrollo de la Lógica Formal ha generado los siguientes campos:

2.1. Lógica Proposicional

Establece la validez de los argumentos en base a las conexiones entre proposiciones y los
valores de verdad que asumen éstas. Se divide a su vez en:

a) Lógica Bivalente
Si el cálculo proposicional se hace en función de dos valores: verdadero y falso.
Esta lógica viene desde los tiempos de los filósofos griegos

b) Lógica Trivalente
Desarrollada por Jan Lukasiewicz. Considera tres opciones de verdad para las
proposiciones

c) Difusa o Fuzzy
Las opciones de verdad están en el intervalo cerrado entre 0 y 1, que pertenece a los
números reales.

La lógica difusa está dentro de la lógica polivalente.

Esta lógica fue desarrollada por Lofti A. Zadeh

2.2. Lógica de Términos

Establece la validez de los argumentos en base a las relaciones que se establecen entre
términos. Dentro de la lógica de términos tenemos:

a) Lógica Tradicional
Orientada a las inferencias en base a formas típicas de proposiciones categóricas.
Le da el tratamiento de predicados a los conceptos.

RAZ. LÓGICO
[Link]
Jr. Marcelo Corne 345
– Urb. San Andrés
0401_ PIN _R L _ A23
 b) Lógica Cuantificacional
Matematiza los predicados, sujetos lógicos y cuantores, incluyendo leyes y simbología
de la lógica proposicional.
Orientada a las equivalencias en base a cuantores.

c) Lógica Clasial
Le da el tratamiento de conjuntos a los conceptos.
Dentro de esta lógica distinguimos:

* Álgebra de Boole
Es el tratamiento algebraico de los conceptos.
Se le utiliza tanto para la Teoría de Conjuntos como para la Lógica de Predicados

* Diagramas de Venn
Son diagramas de tratamiento formal
Son usados para representar gráficamente las proposiciones categóricas y
también los silogismos categóricos
Se les usa en las determinaciones de validez

* Diagramas de Euler
Son diagramas de contenido
Son usados principalmente para la Teoría de Conjuntos

2.3. Lógica Modal

Estudia las relaciones lógicas entre las afirmaciones de posibilidad e imposibilidad, de
necesidad y contingencia.
La lógica modal sólo agrega dos símbolos al vocabulario de la lógica proposicional: el símbolo
“”, que representa la expresión del lenguaje natural "es necesario que", y el símbolo “”, que
representa la expresión "es posible que".

2.4. Lógica Deóntica

Investiga las relaciones lógicas entre órdenes o entre afirmaciones de obligación.
A partir del operador O que significa "obligatorio" es posible calificar actos o proposiciones
como obligatorios. Por ejemplo, el acto "pagar impuestos" que representaremos con el símbolo
p, nos conduce a “Es obligatorio pagar impuestos”: Op.
A partir del operador de obligación y de la negación lógica (que se escribe ¬) es posible definir
los operadores de prohibición (Ph) y de permisión (P):

Op ≡ Ph¬p ≡ ¬P¬p

Lo anterior se lee: "(Obligatorio p) si y solamente si (prohibido no p) si y solamente si (no

permitido no p)".

3. Principios Lógicos Clásicos

Principio Dialéctico de La Razón Suficiente

“Nada hay sin razón”
“No hay efecto sin causa”
Autor: Demócrito

RAZ. LÓGICO
[Link]
Jr. Marcelo Corne 345
– Urb. San Andrés
0401_ PIN _R L _ A23
 Principio Formal de Identidad
p→p
“Toda proposición se implica a sí misma”
“Toda proposición es idéntica a sí misma”
Autor: Parménides

Principio Formal de No Contradicción

 (p  p)
“Es imposible que una proposición sea verdadera y falsa a la vez”
Autor: Platón

Principio Formal del Tercio Excluido

(p  p)
“Toda proposición es verdadera o falsa. La tercera opción está excluida”
Autor: Aristóteles

4. LEYES DE LA LÓGICA DIALÉCTICA

a) La ley de la unidad y lucha de contrarios

La ley de la unidad y lucha de contrarios nos afirma que la existencia de uno presupone la
existencia del otro y en eso radica su unidad.

Ejemplo:
CONGRESO, FAMILIA, COMICS

b) La ley del tránsito de los cambios cuantitativos a los cualitativos

La calidad es lo que hace que un objeto sea precisamente lo que es y no otro, y lo distingue
de los demás objetos.
El cambio de la cantidad dentro de ciertos límites no conduce al cambio del estado cualitativo
del objeto. Pero en cuanto esos límites se rebasan o la medida se “infringe”, los cambios
cuantitativos, que antes parecieran poco importantes, originan sin falta transformaciones
radicales, cualitativas. La cantidad pasará a calidad. Los cambios puramente cuantitativos se
truecan en diferencias cualitativas. El tránsito de los cambios cuantitativos a cualitativos es
una ley universal del desarrollo del mundo material.

Ejemplo:
Si colocamos un recipiente con agua en la cocina, este elemento sufrirá cambios cuantitativos,
aumentará de temperatura por cada minuto que pase, pero el agua mantendrá aún su calidad:
estado líquido. Pero cuando el agua llegue a los 100º centígrados ésta dará un salto cualitativo
de su estado inicial: líquido cambiará de calidad a un estado gaseoso.

c) La ley de la negación de la negación

La ley de la negación de la negación da a conocer la dirección general, la tendencia, del
desarrollo del mundo material.
Para comprender la esencia y alcance de esta ley de debe poner en claro, ante todo, que es
la negación dialéctica y qué lugar ocupa en el desarrollo.

Ejemplo:
Toda evolución en la historia es NEGACIÒN DE LA NEGACIÒN.

RAZ. LÓGICO
[Link]
Jr. Marcelo Corne 345
– Urb. San Andrés
0401_ PIN _R L _ A23
 BREVE HISTORIA DE LA LÓGICA FORMAL:

ETAPAS:

a) EDAD ANTIGUA

PARMENIDES DE ELEA
Se cree que fue el creador del principio de IDENTIDAD. Consideró que la razón es la única capaz
de conocer el ser y la verdad de las cosas.

ZENON DE ELEA
Apoyo la posición de Parménides. Dio origen al método dialéctico, al razonamiento hipotético y a
la reducción al absurdo. Sus argumentaciones se conocen como aporias.

DEMÓCRITO
Ideó el principio DE LA RAZÓN SUFICIENTE.

SÓCRATES
En su lucha contra los sofistas utilizo el método MAYÉUTICO.

PROTAGORAS
Fue el primero en utilizar las oraciones en el plano sintáctico y semántico.

PLATÓN
En su obra EL SOFISTA, trato de las afirmaciones y negaciones. Descubrió el principio de la
CONTRADICCIÓN O NO CONTRADICCIÓN. Teorizo y esquematizo la división y la definición
lógica. Empleo el método axiomático.

PERÍODO ARISTOTÉLICO
Aristóteles desarrolló reglas para establecer un razonamiento encadenado que, si se respetaban,
no producirían nunca falsas conclusiones si la reflexión partía de premisas verdaderas (reglas de
validez). En el razonamiento los nexos básicos eran los silogismos: proposiciones emparejadas
que, en su conjunto, proporcionaban una nueva conclusión. En el ejemplo más famoso, “Todos
los humanos son mortales” y “Todos los griegos son humanos”, se llega a la conclusión válida de que
“Todos los griegos son mortales”

Los discípulos de Aristóteles llamaron ORGANON a sus obras lógicas. No creemos que Aristóteles
haya considerado la lógica en sí misma; propiamente le intereso llegar al conocimiento verdadero
de la naturaleza, de las cosas. Pero podemos hacer una distinción en sus obras y considerar sólo
aquellas que se dedican a la lógica en el sentido que utilizamos aquí el término. Para Aristóteles
una argumentación es un encadenamiento de enunciados y estos son un encadenamiento de
términos. El libro llamado CATEGORÍAS estudia los términos. El libro llamado DE LA
INTERPRETACIÓN estudia el enunciado y los PRIMEROS ANALÍTICOS considera la
argumentación.

Aportes:
Es el descubridor del principio del tercio excluido. Introdujo el uso de variables. Explicación
sintáctica y semántica de las proposiciones. Desarrollo la lógica de predicados. Desarrollo el
silogismo. Desarrollo la lógica formal de ahí que se le conozca como el PADRE DE LA LÓGICA
FORMAL.

RAZ. LÓGICO
[Link]
Jr. Marcelo Corne 345
– Urb. San Andrés
0401_ PIN _R L _ A23
 b) EDAD MEDIA

Guillermo de Shyreswood termina en 1230 el manual de lógica escolástica más antiguo, en donde
formula por primera vez el esquema de división dicotómica conocido como "árbol de Porfirio" y,
también, enuncia por primera vez los famosos versos mnemotécnicos sobre la reducción de los
silogismos a los modos de la primera figura aristotélica:

Barbara celarent darii ferio baralipton

Celantes dabitis fapesmo frisesomorum;
Cesare campestres festino baroco; darapti
Felapton disamis datisi bocardo ferison.

Pedro Hispano, Juan Buridan, Alberto de Sajonia y Pedro Abelardo. Destacaron por emplear
una forma especializada el lenguaje. Redescubrieron la inferencia coligativa.

Tomas Hobbes: Considera al razonamiento como una especie de cálculo de signos. Desarrolla la
lógica formal como combinación de nombres de acuerdo a las reglas establecidas.

c) EDAD MODERNA:

BACON, FRANCIS: En su Novum Organum, hace la primera formulación moderna del método
científico, establece de manera explícita y sistemática la inducción experimental, expone métodos
para determinar las relaciones de causalidad, enuncia las bases empíricas del descubrimiento y la
invención, y desarrolla una teoría de la experiencia. Se le conoce como el “Padre de la Lógica
Inductiva”

Leibniz, Gottfried Wilhelm (1646-1716), también conocido como barón Gottfried Wilhelm von
Leibniz. Filósofo, matemático y estadista alemán, considerado como uno de los mayores
intelectuales del siglo XVII. LEIBNIZ, quien introdujo el cálculo lógico llamado MATHESIS
UNIVERSALIS que fuese operacionalmente mecánico, inequívoco y no cuantitativo que permitiera
acabar con todas las disputas y controversias. También desarrollo el cálculo de la lógica
proposicional. Consideró también que para comprobar la verdad del entendimiento bastan los
principios de identidad, contradicción y tercio excluido; para comprender la verdad de hecho es
indispensable la razón. Estableció la ley de la tautología.

Boole, George (1815-1864), lógico y matemático británico, elaboró el álgebra de Boole. La

primera formulación propiamente algebraica de la lógica, estableciendo definidamente las leyes
para la ejecución de las operaciones y dando una interpretación coherente de los resultados, se
debe a George Boole, quien es así el creador de la lógica simbólica moderna.

VENN, John. (1834-1923) Fue el que trato de encontrar la significación lógica de operaciones
como la sustracción y la división. El mérito de Venn es básicamente el haber aclarado los
procedimientos de Boole representando los procesos algebraicos en los diagramas de Venn.

FREGE, GOTTLOB (1848-1925), matemático y filósofo alemán, fue el fundador de la lógica

matemática moderna. Nació en Wismar y estudió en las universidades de Jena y Gotinga;
posteriormente se incorporó a la facultad de matemáticas de Jena. Frege intentó deducir los
principios de la aritmética de los principios de la lógica. Enfrentándose a la ambigüedad del
lenguaje normal y a la insuficiencia de los sistemas lógicos disponibles, inventó muchas notaciones

RAZ. LÓGICO
[Link]
Jr. Marcelo Corne 345
– Urb. San Andrés
0401_ PIN _R L _ A23
 simbólicas, como cuantificadores y variables, estableciendo así las bases de la lógica matemática
moderna. Su trabajo influyó especialmente en el filósofo británico Bertrand Russell. Su obra
Notación conceptual (1879) está considerada como la más importante de sus publicaciones, entre
las que también destacan Fundaciones de la aritmética (1884) y Leyes básicas de la aritmética (2
volúmenes, 1893-1903)

Es el personaje más resaltante de esta época, su obra CONCEPTOGRAFIA, marca el comienzo de

la lógica moderna y; solo es comparable con los Primeros Analíticos de Aristóteles, dado que
ambas obras hay una serie de perspectivas totalmente nuevas, de ahí que a Frege se le puede
considerar el PADRE DE LA LÓGICA MODERNA.

RUSSELL, BERTRAND, tercer conde de Russell (1872-1970), filósofo y matemático británico,

galardonado con el Premio Nobel,
Russell alcanzó el éxito con su primera gran obra Principios de matemáticas (1902), en la que
intentó trasladar las matemáticas al área de la filosofía lógica y dotarlas de un marco
científico preciso. Colaboró durante ocho años con el filósofo y matemático británico Alfred
North Whitehead para elaborar la monumental obra Principia Mathematica (Principios
Matemáticos; 3 volúmenes, 1910-1913), donde se mostraba que esta materia puede ser planteada
en los términos conceptuales de la lógica general, como clase y pertenencia a una clase.

WITTGENSTEIN
Ideó el método de la tabla o matriz para determinar la significación de autenticidad de los ciertos
de probabilidad.

JAN LUKASIEWICZ (1878-1950). Se ocupó de la lógica de sentencias, de la lógica plurivalente,

de la lógica modal, del silogismo aristotélico y de la historia de la lógica, Lukasiewicz inventó un
simbolismo que evita los paréntesis y puntos. Se preocupó de la axiomática de la lógica de
sentencias formulando un interesante sistema de tres axiomas; por otra parte, logró formular un
sistema con un solo axioma.

TARSKI, Alfred (1902), lógico y matemático, notable representante de la Escuela Lvoviano-

Varsoviana. También es fundador de la semántica formal, que estudia las significaciones de los
juicios y conceptos en lógica. Estudia también los problemas de la construcción de las teorías
deductivas, de la metalógica, la semiótica, define el concepto de verdad en los lenguajes
formalizados, estableció que cada enunciado es demostrable, es verídico pero no cada enunciado
verídico es demostrable, etc.

RAZ. LÓGICO
[Link]
Jr. Marcelo Corne 345
– Urb. San Andrés
0401_ PIN _R L _ A23
 01. La lógica formal utiliza como referente de 05. Acerca de la lógica y ciencia podemos
demostración: afirmar que:
1. La experiencia 1. No están relacionadas.
2. Leyes lógico – formales 2. La lógica es la madre de las ciencias
3. Postulados 3. Existe una relación de dependencia
4. Reglas lógico – formales entre ciencia y lógica.
5. Teoremas 4. La lógica permite validar los
argumentos científicos
No son ciertas: 5. La lógica permite construir lenguajes
a) 1, 2 y 3 b) 3, 4 y 5 científicos artificiales.
c) 2 y 4 d) 1, 3 y 5
e) Todas Son ciertas:
a) 1, 2 y 3 b) 2, 3 y 4
02. El objeto de estudio de la lógica formal c) 3, 4 y 5 d) 1, 2 y 5
difiere de la dialéctica porque investiga: e) 1, 4 y 5

a) La verdad objetiva de los argumentos 06. En la Lógica Dialéctica los objetos son de
b) Sólo la corrección verdadera o falsa carácter:
de los argumentos 1. Ideal 2. Material
c) La validez o invalidez de los 3. Concreto 4. Abstracto
argumentos formalizados 5. Racional
d) Los errores en la demostración
e) Única y exclusivamente la validez de Son ciertas:
los argumentos formalizados. a) Sólo 1 y 3 b) Sólo 2 y 4
c) Sólo 3 y 5 d) Sólo 3 y 4
03. La lógica se ubica dentro de las ciencias: e) Todas

a) Naturales b) Sociales 07. El objeto de estudio de la Lógica formal es:

c) Formales d) Factuales 1. La verdad Objetiva
e) Experimentales 2. La validez del concepto
3. La validez del juicio
04. Las ciencias formales tienen objeto de 4. La validez del razonamiento
carácter: 5. Determinar mediante reglas y leyes la
1. Material 2. Abstracto validez del razonamiento.
3. Inmaterial 4. Racional
5. Concreto Son innegablemente ciertas:
a) Sólo 1 y 2 b) Sólo 2 y 3
Son ciertas sin excepción: c) Sólo 3 y 4 d) Sólo 4 y 5
a) 1 y 5 b) 2, 3 y 4 e) Todas
c) 2, 4 y 5 d) 1 y 3
e) Sólo 2 y 4

RAZ. LÓGICO
[Link]
Jr. Marcelo Corne 345
– Urb. San Andrés
0401_ PIN _R L _ A23
 08. Son enunciados que expresan principios 12. Corresponden a características de las
lógicos: ciencias fácticas:
1. “Iré o no iré a la playa" 1. Permiten la experimentación.
2. "Si ingreso, ingreso a la universidad" 2. Sus conocimientos son verificables.
3. "Es mentira que postulo y postulo a la 3. Su objeto de estudio es diverso.
UNT" 4. Generalmente utilizan la inducción.
4. "Es falso que hay guerra o no hay 5. Sus principios tienen aplicaciones
guerra" prácticas.
5. "No aprendo o aprendo lógica"
Son ciertas:
Son ciertas: a) 1, 2 y 3 b) 2, 3 y 5
a) 1, 2 y 3 b) 2, 3 y 4 c) 1, 3 y 4 d) 2, 4 y 5
c) 3, 4 y 5 d) 1, 2 y 5 e) Todas
e) 1, 3 y 5
13. Son características de la lógica formal:
09. Del argumento: "Ya que el pensamiento es 1. Estudia la correspondencia del
abstracto y el juicio es abstracto, por lo pensamiento con la realidad.
tanto el juicio es pensamiento". Podemos 2. Estudia los conceptos, juicios y
decir: raciocinios.
1. Es válido 3. Estudia la estructura de las formas
2. Es verdadero del pensamiento.
3. La conclusión es verdadera 4. Estudia la forma lógica de los
4. Es inválido razonamientos.
5. Las premisas son verdaderas 5. Estudia la validez o corrección formal
solo de hechos concretos
Son ciertas:
a) 1, 3 y 5 b) 2, 3 y 4 Son correctas:
c) 3, 4 y 5 d) 1, 2 y 3 a) 1, 2 y 3 b) 2, 3 y 4
e) 2, 3 y 5 c) 3, 4 y 5 d) 1, 3 y 5
e) 2, 4 y 5
10. El enunciado: “La globalización se benefició
con la aparición del internet”, es un hecho: 14. De las siguientes afirmaciones:
1. La Lógica formal estudia el
a) Formal b) Inmaterial pensamiento, fundamentalmente su
c) Abstracto d) Factual contenido.
e) Ninguna Anterior 2. La Lógica dialéctica estudia la validez
del razonamiento.
11. El enunciado: “La pendiente de una recta se 3. El razonamiento tiene estrecha
determina por su ángulo de inclinación”, es relación con las otras formas de
un hecho: pensamiento.
4. Los principios lógicos tienen valor de
a) Factual b) Real verdad contingente
c) Concreto d) Formal 5. La lógica fuzzy estudia las
e) Fáctico proposiciones con múltiples valores
de verdad

Son indudablemente falsas:

a) 1, 2 y 3 b) 2, 3 y 4
c) 3, 4 y 5 d) 1, 2 y 4
e) 2, 3 y 5

RAZ. LÓGICO
[Link]
Jr. Marcelo Corne 345
– Urb. San Andrés
0401_ PIN _R L _ A23
 15. La lógica como ciencia del razonamiento, le 20. La lógica que utiliza diagramas de Venn–
permite al hombre: Euler para determinar la validez de los
razonamientos:
a) Manifestar sus sentimientos
b) Relacionarse con los demás a) Lógica Proposicional
c) Determinar la relación entre b) Lógica Modal
pensamiento y realidad c) Lógica Cuantificativa
d) Razonar correctamente y/o d) Lógica Clasial
válidamente e) Lógica Fuzzy
e) Todas las anteriores
21. La lógica que utiliza las formas clásicas
16. El conocimiento inicial del cual se deriva la SaP, SeP, SiP y SoP para determinar la
conclusión en un razonamiento está dado validez de los razonamientos:
en:
a) Lógica Tradicional
a) la conclusión b) las leyes b) Lógica Modal
c) las reglas d) la inferencia c) Lógica Cuantificativa
e) las premisas d) Lógica Clasial
e) Lógica Fuzzy
17. El conocimiento inferido o final, obtenido
del proceso de razonar está dado en: 22. Son ciencias sistemáticas, racionales y
demostrativas, cuyo objeto de estudio es
a) la conclusión b) las leyes eminentemente abstracto:
c) las reglas d) la inferencia
e) las premisas a) Ciencias Sociales
b) Ciencias Naturales
18. El conocimiento corroborador, el que c) Ciencias Formales
justifica la conclusión obtenida en el d) Ciencias Fácticas
proceso de razonar, esta dado en: e) Todas

a) la conclusión 23. Son ciencias cuyo objeto de estudio es

b) la verdad de la conclusión concreto, lo que les permite verificar,
c) las reglas experimentar y contrastar:
d) la inferencia
e) las premisas a) Ciencias Formales
b) Ciencias Abstractas
19. La Lógica que estudia las relaciones lógicas c) Ciencias Racionales
entre las afirmaciones de posibilidad e d) Ciencias Fácticas
imposibilidad, de necesidad y contingencia: e) N.A.

a) Lógica Proposicional
b) Lógica Modal
c) Lógica Cuantificativa
d) Lógica Clasial
e) Lógica Fuzzy

RAZ. LÓGICO
[Link]
Jr. Marcelo Corne 345
– Urb. San Andrés
0401_ PIN _R L _ A23
 24. De los siguientes enunciados:
1. La Lógica modal es bivalente
2. La lógica fuzzy es conocida también
como lógica difusa
3. La lógica bivalente utiliza
proposiciones que utilizan muchos
valores de verdad
4. La lógica bivalente es parte de la
lógica proposicional
5. Cuántos son verdaderos:

a) 1 b) 2
c) 3 d) 4
e) ninguno

25. Son expresiones que condujeron a la

aparición de Lógicas Multivaluadas:
1. El vaso está semi lleno de agua
2. El plátano tiene tono amarillento
3. Tres es un número natural
4. El conjuntor es un operador lógico
5. El chofer aceleró ligeramente la
velocidad

Son correctas:
a) 1, 2 y 3 b) 2, 3 y 4
c) 3, 4 y 5 d) 1, 2 y 5
e) 1, 4 y 5

RAZ. LÓGICO
[Link]
Jr. Marcelo Corne 345
– Urb. San Andrés
0401_ PIN _R L _ A23