UNIVERSIDAD PERUANA LOS ANDES

FACULTAD DE DERECHO Y CIENCIAS POLITICAS

Escuela Profesional de Derecho

Lógica Formal y Lógica No For-

mal
CÁTEDRA:
MATEMATICA BASICA I
CÁTEDRATICA:
MG. RAUL CORILLA MELCHOR
INTEGRANTES:
• EGOAVIL ANGLAS FABIOLA MARIANA
• ÑAHI AQUISE, AIRTON
• WAGATSUMA RODRÍGUEZ, SAYURI

CICLO: 2021-I
 Introducción
El presente trabajo tiene como objetivo introducir herramientas y conceptos
básicos de la lógica, tanto formal como no formal y sus aplicaciones, para,
así, ayudar al lector a aprender, razonar y formalizar correctamente. El texto
se compone de dos capítulos, cada uno contiene la teoría necesaria para la
comprensión de la lógica en toda su extensión. En el primer capítulo se desa-
rrollan la lógica formal, estudiando tanto la sintáctica como la semántica de
esta disciplina. En el próximo capitulo se analiza la lógica no formal, dándole
así un enfoque práctico a esta parte de la lógica tan subjetiva para muchos y
proporcionando una visión completa de la aplicación de la lógica en la infor-
mática. Teniendo en cuenta todo ello, los autores han querido ofrecer un ma-
nual claro, sencillo, con explicaciones bien desmenuzadas, aunque hayan de
ser prolijas a veces; pero todo ello, dentro de un constreñimiento de brevedad
y concisión.

3
 Índice
Introducción ------------------------------------------------ 3
Índice --------------------------------------------------------- 4
Capítulo I: Lógica formal --------------------------------- 5
I. Conceptos
II. Objetivos del Estudio
III. Características
IV. Clases de Lógica formal
V. Leyes
VI. Ejercicios resueltos
Capítulo II: Lógica Informal ----------------------------- 16
I. Concepto
II. Razones Teóricas y filosóficas
Para una lógica informal
III. Objetivos del análisis
IV. Falacias informales
Conclusiones----------------------------------------------- 18
Bibliografía ------------------------------------------------- 19
 Capítulo I
Lógica Formal
I. Concepto:
1.1. Lógica: La palabra “lógica” proviene del griego antiguo λογικήlo-
gikḗ, que significa “dotada de razón intelectual, dialéctica, argu-
mentativa”. La lógica es una de las ramas de la filosofía y las ma-
temáticas, y se considera de gran utilidad para estas disciplinas.
1.1.1. División de la lógica: La lógica se composición en
cálculos. lógica viene definido en funcionalidad de
cómo sean dichos cálculos. La lógica formal actuali-
zada puede caracterizarse como una especie de cebo-
lla, en donde sobre un cálculo base se monta otro que
tiene más recursos expresivos y que requiere de nue-
vos recursos, sobre esta segunda capa se puede montar
otras novedosas.
1.1.1.1 Lógica de Proposiciones o de Enunciados:
el cálculo vital de la lógica formal es el
cálculo de enunciados o proposicional, cu-
yas fórmulas son proposiciones, oraciones o
enunciados sin examinar internamente. La
interacción lógica a aprender es la que está
establecido entre oraciones que conforman
la unidad mínima de importancia lógica.
Este cálculo es un cálculo hipotético, pues
la deducción está establecida en una interac-
ción condicional entre las conjeturas y la
conclusión (si ocurren las hipótesis, enton-
ces pasa la conclusión).

5
 1.1.1.2 Lógica de Predicados o Cuantificacional:
Sobre este cálculo fundamental se lleva a
cabo el siguiente grado que van a ser los
cálculos de predicados o cuantificaciones,
que se caracterizan por examinar las oracio-
nes en sus elementos, individuo y predicado,
y ya que se puede cuantificar sobre indivi-
duos, o sea tenemos la posibilidad de inten-
tar con todos o con ciertos de los recursos
que tienen la posibilidad de ser sujetos de Es
prácticamente una lógica de clases donde la
interacción lógica que se estudia es la perte-
nencia a un grupo o la posesión de caracte-
rísticas por lógica de proposiciones, la ló-
gica de predicados es una lógica categorial,
ya que o de posesión de características de las
personas con las categorías en lo cual se aso-
cia.
1.2. La lógica formal: Es el fragmento de la lógica que, se dedica al
análisis de la inferencia por medio de la obra de idiomas formales,
sistemas deductivos y semánticas formales. La lógica formal no
debería ser confundida con la lógica matemática, previamente lla-
mada lógica simbólica, que es una subdisciplina de la lógica for-
mal.
Ejemplo: Se acostumbra a conceptualizar la lógica formal
como aquella ciencia que estudia los razonamientos a partir
del punto del estudio formal, o sea, a partir de la perspectiva
de su validez o no validez. Dado el siguiente silogismo: Los
insectos son artrópodos; los dípteros son insectos; por

6
 consiguiente, los dípteros son artrópodos; al lógico única-
mente le atrae su validez o corrección (que es formal) expre-
sada en la composición vacía de contenido Todo A es B;
todo C es A; por consiguiente, todo C es B.
Descripción Grafica:

II. Objetivo del Estudio:

2.1. Según su objetivo de Estudio: Siendo éste último, el objeto
propio de la lógica, debido a que en "él se reúnen cada una de las
condiciones elementales para implantar cada una de las interaccio-
nes lógicas probables entre conceptos y juicios" (Sergio Custodio.
Así, se frecuenta conceptualizar a la lógica respecto a su objeto de
análisis como la "ciencia que se encarga de las interrelaciones entre
premisas y conclusiones", de esta forma. Para la lógica, pensar es
derivar conclusiones a partir de premisas, de tal forma que a la ló-
gica se le dio en llamar ciencia de la prueba, ya que solamente le
atrae el entendimiento o argumento conveniente.
2.2. Según su método: Ya indicamos que el objeto de análisis de
la lógica es el saber, mientras tanto que su procedimiento es por
una sección formal y por otra, dirigida al argumento. La lógica se
define como ciencia formal, ya que estudia las maneras y no los
contenidos, maneras que se 7dirigen al argumento o a la argumenta-
ción. 6

7
 2.3. Según la ciencia: Mencionamos que, la lógica nos muestra a
pensar y a comunicar nuestros propios pensamientos en una forma
clara y ordenada. Así, tenemos la posibilidad de mencionar que la
lógica es una ciencia ya que sistematiza las maneras de pensar, para
lograr estudiarlas y implantar de forma clara, como se debería de
pensar correctamente y eludir los razonamientos incorrectos o fa-
llos del pensamiento.

III. Características:
➢ Es una ciencia que estudia la manera de la conjetura, a dife-
rencia de otros tipos de lógica que estudian solo lo material.
➢ Se instituye bajo un subconjunto de sistemas formales.
➢ Aplica procedimientos tan eficientes que por medio de la ló-
gica formal puede distinguirse lo erróneo de lo adecuado.
➢ Las conclusiones del argumento conveniente o con validez
emergen ya que se examina la composición de las conjeturas
verdaderas.
➢ Se caracteriza por ser simbólica.
➢ Desde la perspectiva de una ciencia formal, juega un papel
fundamental en las matemáticas, la filosofía, la informática
y las estadísticas.
➢ Está relacionada con la gramática debido al análisis de la se-
mántica.
➢ También se relaciona con la psicología ya que se enfoca en
el análisis del pensamiento de cada persona.

8
IV. Clases de Lógica Formal:
4.1. Lógica Enunciados: Estudia la validez de los razonamien-

tos teniendo presente el costo de verdad (verdadero o falso)

de cada uno de los enunciados, toma el enunciado como un
todo, y no los examina internamente en individuo y predi-
cado, esto comporta varias restricciones en esos comporta-
mientos cuya valides no puede averiguarse sin examinar los
enunciados que lo conforman, veamos esta inferencia, que
es valida.

Analizando así, es viable conocer que hay en la composición

de la inferencia que realice que esta sea válida, tanto la ló-
gica de predicados como la lógica de clases analizando in-
ternamente los enunciados en individuo y6 predicado, y tie-
nen la posibilidad de enseñar la validez de esta clase de ra-
zonamientos.

9
4.1.1. Variables y valores de verdad: El contenido de
una proposición lo representamos por medio de
una variable. Para lo que emplearemos letras con-
sonantes minúsculas desde p,q,r,s,... Las proposi-
ciones que interesan a la lógica son constante-
mente proposiciones enunciativas O aseverativas,
y como es una lógica bivalente, sus proposiciones
por la variable p va a poder tener el costo verda-
dero o falso, obtendremos lo siguiente:
p
1
0
Para dos variables las posibles combinaciones de
sus valores de verdad que se pueden dar entre ellas
serían:
p q
1 1
1 0
0 1
0 0

Para dos variables las posibles combinaciones de

sus valores de verdad que se pueden dar entre ellas
serían:
p q r
1 1 1
1 1 0
1 0 1

10
 1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
4.1.2.Conectivas y sus interpretaciones semánticas:
4.1.2.1. La negación: La negación es una co-
nectiva monádica, toma como argu-
mento una propodiante el símbolo —
, y la utilizaremos prefija a la variable
proposicional.

4.1.2.2. La Conjunción: Sean p y q dos propo-

siciones cualesquiera podemos unir-
las conjuntivamente mediante 'y' o
cualquier otra forma de unión conjun-
tiva del lenguaje natural, en la nota-
ción lógica usaremos el siguiente
signo A y la colocaremos de forma in-
fija entre las dos variables proposicio-
nales que conecta, p AQ.

4.1.2.3. La Disyunción: puede interpretarse

de dos maneras distintas.
11
 4.1.2.3.1. Disyunción exclusiva: Si
se da una de las alternativas
no se da la otra.
4.1.2.3.2. Disyunción inclusiva: se
puede dar una u otra de las
alternativas o las dos a la
vez.

4.1.2.4. La condicional: sí...entonces' es tam-

bién una partícula para formar fórmu-
las
de suma importancia en lógica pues
formaliza la estructura deductiva en-
tre dos
premisas. Podemos entonces relacio-
nar p y q condicionalmente, sí p en-
tonces q,
y lo simbolizaremos mediante el sím-
bolo >, que expresaremos en lógica
de la
siguiente manera: p > q.

12
 4.1.2.5. El Bicondicional: El Condicional ex-
presa la condición suficiente, pero no
la necesaria. De ahí la tabla de verdad
del condicional.

4.2. Lógica de Predicados: Esta lógica examina la composición

interna de los enunciados, a los que estima proposiciones en
los cuales una propiedad se atribuye o predica del individuo.

4.3. Lógica de Clases: Los enunciados son proposiciones que

manifiestan lazos entre sujeto y clases son analizados como
características que comparten todas las personas que preten-

sen a una misma clase o grupo, aun cuando son tipos de ló-
gica semejantes la manera en que se muestran los razona-
mientos tienen la posibilidad de variar.

13
V. Leyes:

14
VI. Ejercicios resueltos:
a. Si es cierto que Aristóteles nació en Estagira y que fue tutor de
Alejandro Magno y, además, que si nació en Estagira era ma-
cedonio por su nacimiento, entonces era efectivamente mace-
donio.
Convenciones simbólicas:
- p: Aristóteles nació en Estagira
- q: Aristóteles fue tutor de Alejandro Magno
- r: Aristóteles era macedonio por su nacimiento
Formalización: (p ∧ q) ∧ (p → r) → r
b. Los salarios no suben si no aumentan los precios. No obstante,
subirán los salarios y no los precios, a no ser que suban los sa-
larios y simultáneamente se produzca inflación. Luego, en
cualquier caso se producirá inflación.
Convenciones simbólicas:
- p: los salarios suben
- q: aumentan los precios
- r: se produce inflación
Formalización: ¬q → ¬p, (p ∧ ¬q) ∨ (p ∧ r) ├ r

15
 Capítulo II
Lógica No Formal
I. Concepto:
1.1. La lógica informal o lógica no formal: es el análisis
de los argumentos, de la misma forma que se mues-
tran en la vida cotidiana, en contraposición al análisis
de los argumentos en una forma técnica o artificial,
correspondiente a la lógica formal. Esta parte de la ló-
gica se dedica primordialmente a distinguir entre ma-
neras necesarias e incorrectas en que se realiza el len-
guaje y el raciocinio diario, en particular al análisis de
los procesos para obtener conclusiones desde infor-
mación dada.
II. Razones teóricas y filosóficas para una lógica informal:
En esta parte trataré de demostrar que, aun cuando es verdad que
una de las motivaciones de la aparición de libros de escrito sobre
lógica informal ha sido pedagógicas, no obstante, éstas no fueron,
para nada, las únicas causas que ocasionaron la emergencia de la
lógica informal en tanto que disciplina filosófica autónoma: otras
deben ver con el reconocimiento de los parámetros de la lógica for-
mal frente al lenguaje ordinario y, en especial, en la argumentación
III. Los argumentos, el objeto de análisis de la lógica infor-
mal:
En esta parte trataré de enseñar que el objeto de análisis de la lógica
informal es diferente al de la lógica formal: argumentos en la situa-
ción de la primera e inferencias y razonamientos en la situación de
la segunda, lo que justifica la soberanía teórica de la primera
16
 respecto de la segunda. Usualmente se plantea que la lógica se
ocupa indistintamente de las inferencias, los razonamientos o ar-
gumentos puesto que, en teoría, dichos 3 términos se refieren exac-
tamente a lo mismo. En impacto, términos como inferencia y de-
ducir, así como argumento y pensar tienen la posibilidad de ser
empleados en ciertos entornos como sinónimos de argumento y re-
plicar. Y no únicamente ocurre aquello en el lenguaje ordinario,
poco preciso, sino además en ciertos libros de escrito sobre lógica
formal, simbólica o matemática.
IV. Falacias Informales:
4.1 Falacia ad verecundiam: Defender una teoría debido a que
ha sido dada por algún personaje famoso en el tema.
4.2 Falacia ad hominem: Se intenta rebatir una afirmación/nega-
ción debido a que se está en contra de la persona.
4.3 Falacia ad populum: Se llega a una conclusión apelando los
sentimientos, emociones o prejuicios.
4.4 Falacia ad ignoratiam: Es defender algo que es totalmente
erróneo por el simple hecho de carecer de respuestas.
4.5 Falacia ad baculum o al garrote: Se presiona a alguien me-
diante amenazas o coacciones para aceptar un razonamiento.
4.6 Falacia semántica: Expresa una confusión de términos lin-
güísticos.
4.7 Falacia circular: Se llega a una conclusión mediante una res-
puesta inválida.
4.8 Generalización indebida: El razonamiento es incierto debido
a su escasez de ejemplos o estudios.
4.9 Falsa causa: Es una de las más notables y es que se corres-
ponde a aquella respuesta que no es admitida de forma cohe-
rente.

17
 Conclusiones
» La lógica formal es la ideología sobre las maneras del ra-
ciocinio humano; ideología que instituye un divorcio entre
el análisis de estas maneras y su contenido (la Naturaleza
y la Sociedad). Las leyes de la lógica formal son contra-
puestas a las leyes de la lógica dialéctica.
» La lógica informal rechaza la tesis de acuerdo con la cual
la aceptabilidad de un argumento formulado en un len-
guaje natural es dependiente básicamente de la manera ló-
gica de aquel argumento en un lenguaje lógico desarrollo
de novedosas lógicas no deductivas que pretenden forma-
lizar diferentes tipos de argumento de sentido común.
» Para evaluar la expresividad de la lógica proposicional uti-
lizaremos el planeta de Mundo de Tarski en un mundo
dado. Como tienen la posibilidad de mirar, la aplicación
tiene 2 paneles: El preeminente, con el título momentáneo
de Untitled World se utiliza para generar universos como
los descritos; y el inferior, con el título momentáneo de
Untitled Sentences, se utiliza para redactar enunciados en
lógica proposicional (aunque como observaremos, además
lo tenemos la posibilidad de hacer

18
 Bibliografía
Manson, M. (1998). Normas, verdad y lógica formal.

Martínez Rey, M. A. (2019). Lógica formal y no formal.

Bochenski, I. M. (1968). Historia de la lógica formal (No. 16 (091) BOC).

19