Universidad nororiental “Gran mariscal de Ayacucho”

Facultad de ingeniería

Ingeniería en informática

Asignatura: Lógica

Profesor: estudiante:

Robinson sanchez

Ciudad Bolívar, marzo del 2023

 Definición de lógica

Ciencia que estudia las formas del pensamiento –conceptos, juicios, razonamientos,
demostraciones, desde el punto de vista de su estructura lógica, desentendiéndose del
contenido concreto que expresan. Por ejemplo: en los juicios: “Todos los estudiantes
son escolares”, “Todas las ballenas son mamíferos”, “Todos los hombres son
mortales”, existe un contenido distinto; sin embargo, desde el punto de vista de la
lógica formal los juicios antes mencionados son de un mismo tipo lógico y en ese
sentido no existen diferencias entre ellos

Reseña de lógica formal

Aristóteles fue el primero en emplear el término “Lógica” para referirse al estudio de
los argumentos dentro del “lenguaje apofántico” como manifestador de la verdad en la
ciencia. Pensaba que la verdad se manifiesta en el juicio verdadero y el argumento
válido en el silogismo: “Silogismo es un argumento en el cual, establecidas ciertas
cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente”.

Nació así la lógica formal. Aristóteles formalizó el cuadro de oposición de los juicios y
las formas válidas del silogismo. Kant en el siglo XVIII pensaba que Aristóteles había
llevado la lógica formal a su perfección, por lo que básicamente hasta entonces no
había habido prácticamente modificaciones de importancia. Y lo justificaba al
considerar que siendo la lógica una ciencia formal, era por ello analítica y a priori, lo
que justifica su necesidad y su universalidad, pues es la razón la que trata consigo
misma respecto a sus leyes del pensar, sin contenido de experiencia alguno.
A partir de mediados del Siglo XIX la lógica formal comenzó a ser estudiada en el
campo de las matemáticas y posteriormente por las ciencias computacionales,
naciendo así la Lógica simbólica. La lógica simbólica trata de esquematizar los
pensamientos de forma clara y sin ambigüedades. Para ello usa un lenguaje
formalizado constituido como cálculo.

De este modo, en la edad contemporánea, la lógica generalmente es entendida como

un cálculo y se aplica a los razonamientos en una forma prescripta mediante aplicación
de reglas de inferencia como un cálculo lógico o matemático.

Tipos de lógica
Lógica formal
También conocida como clásica o aristotélica, la lógica formal es aquella que no se
centra en la veracidad (o falsedad) de un argumento concreto, sino en que el proceso
de razonamiento para llegar a él sea perfecto.

Lógica informal
La lógica informal es aquella que analiza la validez de los argumentos que derivan del
lenguaje. Es decir, no le importa tanto la estructura y la forma del razonamiento (como
a la lógica formal), sino que su objetivo, en este caso, sí que es el de dar (o quitar)
validez a un argumento, ya sea enunciado por nosotros mismos o por otra persona. La
lógica informal nos permite saber si lo que vemos en los medios de comunicación es
válido o no partiendo de razonamientos que, sabemos, son correctos.

Lógica matemática
La lógica matemática, que dispone de su propia ciencia formal (las matemáticas), es
aquella en la que, partiendo del valor que le damos a unos números y del significado
que tienen unas letras y signos (como la suma, la resta, la multiplicación…) creamos
unos sistemas donde se relacionan y, en caso de haber seguido un razonamiento
adecuado y haber operado correctamente, llegamos siempre a un resultado numérico
correcto.

Lógica simbólica
La lógica simbólica es aquella que tiene el objetivo de transformar pensamientos
humanos en estructuras formales, es decir, plasmables y observables. Por ello, se
crean símbolos a los que nosotros les damos un significado único e inamovible.
Evidentemente, las matemáticas están totalmente relacionadas con ella.

Lógica computacional
La lógica computacional es aquella que, derivando de la matemática, permiten
desarrollar un lenguaje de programación que permite a los sistemas computacionales
(ordenadores) ejecutar acciones y realizar tareas.

Lógica no clásica

La lógica no clásica, también conocida como lógica moderna, es aquella que nace a
mediados del siglo XIX y que rechaza algunos de los argumentos de la clásica.
Evidentemente, la lógica de Aristóteles tenía carencias. Y, en este contexto, la lógica
moderna introduce nuevos teoremas para adaptar la lógica a la nueva sociedad y,
especialmente, mejorar el lenguaje matemático.

Lógica modal

La lógica modal es aquella cuyo objetivo es, claramente, el de encontrar la verdad (o la

mentira) detrás de los juicios que se formulan. En este sentido, busca que el lenguaje
persiga siempre la verdad, evitando así expresiones como “siempre” o “nunca”, pues
no siempre se pueden hacer conclusiones generales.

Lógica bivalente

La lógica bivalente es aquella que afirma que, en lo que se refiere a argumentos y

pensamientos, solo hay dos valores: verdad y mentira. No cree en los matices, es decir,
todo es blanco o es negro.

Lógica polivalente

La lógica polivalente, en relación con la difusa, es aquella que cree que en la inmensa
mayoría de veces, es imposible afirmar que un argumento es únicamente verdad o
únicamente mentira. Defiende que la verdad es, en realidad, una escala de grises (no
existe el blanco o el negro) y que los matices son muy Importantes.

Lógica proposicional

La lógica proporcional forma parte de la lógica clásica, y permite estudiar las

implicaciones de las variables proposicionales, así como los valores de verdad de las
proposiciones. Estos valores se construyen a partir de conectores lógicos, y son
aplicables tanto en matemáticas como en otras ramas de conocimiento.

Lógica de predicado

Lógica de predicados es una extensión de la lógica de proposiciones, y a ella se

extienden también los conectivos lógicos y operadores de la lógica proposicional. La
lógica de predicados descompone la proposición en sus dos componentes básicas
(sujeto y predicado) y cuantifica al sujeto, introduciendo símbolos para el sujeto, para
el predicado y para los cuantificadores “todos” y “alguno”, además de un símbolo de
relación entre sujeto y predicado.
Desde la lógica de predicados, una proposición expresa relaciones entre objetos y/o
atributos asignados a los objetos. En la oración “Juan es hermano de Pedro” lo que
realmente se está expresando es una relación (de hermandad) entre Juan y Pedro.