LA LÓGICA FORMAL

PABLO DANILO MORENO CORREDOR

FUNDACION UNIVERSITARIA LOS LIBERTADORES

INGENIERIA
AERONÁUTICA
BOGOTÁ
2016
LA LÓGICA FORMAL
 CONTENIDO

Pág.

1. OBJETIVOS Error! Bookmark not defined.

2.1 OBJETIVO GENERAL 3
2.2 OBJETIVOS ESPECÍFICOS 3
3. MARCO TEÓRICO 4
3.1 HISTORIA DE LA LOGICA 4
3.2 LA LOGICA 6
3.3 ENUNCIADO SIMPLE 7
3.4 ENUNCIADO COMPUESTO 8
3.5 PRINCIPALES CONECTIVAS LÓGICAS Y CUAL SU JERARQUÍA 9
CONCLUSIONES 12
BIBLIOGRAFÍA 13

2
 2. OBJETIVOS

2.1 OBJETIVO GENERAL

Contextualizar la lógica formal en cuanto a la historia, evolución y aplicación de la

lógica formal.

2.2 OBJETIVOS ESPECÍFICOS

Analizar los diferentes campos de la lógica formal a profundización como es la

historia, evolución y aplicación de esta.

3
 3. CONTENIDO DE LA INVESTIGACIÓN

3.1 HISTORIA DE LA LOGICA

La historia de la lógica comienza en la

edad antigua, en donde Aristóteles es
considerado como creador de la Lógica,
sin embargo, sus predecesores
desarrollaron y cultivaron la inferencia y
la prueba en los diferentes debates que
por aquel tiempo realizaban los
filósofos.

Sobre el lenguaje sintáctico y

semántico el primero en estudiar las
oraciones fue Protágoras, Platón
también trato las afirmaciones y
negaciones, introduce la noción del
método axiomático que sería
completado por Aristóteles el cual
radica el sistematizado la lógica formal
codificando las formas de argumentación correcta que es donde radica la naturaleza
de la lógica como ciencia.

En la edad media La Lógica se basa en el

trabajo de Aristóteles, es recogida por los
sacerdotes y cultivado mayormente en los
conventos, escuelas y universidades de
Europa Occidental.

Los estudios de los lógicos profesionales

estuvieron dirigido al comentario del
Organon destacando Pedro Hispano y
Juan Buridan estableciendo que “de Dos
premisas contradictorias, se puede deducir
cualquier conclusión”.

4
 La edad moderna marca el inicio de la Lógica
Matemática. El precursor de esta lógica es
Guillermo G. 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 desarrolló el cálculo de la Lógica
Proposicional. Euler es otro de los precursores
de la Lógica Matemática, introdujo los
diagramas que llevan su nombre para ilustrar geométricamente los silogismos.

En el siguiente video contextualizare un poco más sobre el tema:

5
4.2 LA LOGICA

La lógica es la ciencia que se encarga de exponer las leyes, modos y formas del
razonamiento. Se trata de una ciencia formal que no tiene contenido, pero que se
dedica al estudio de las formas válidas de inferencia. Es decir, trata del estudio de
los métodos y principios utilizados para distinguir el razonamiento correcto del
incorrecto.

En otras palabras, la lógica es:

"El conjunto de conocimientos que tienen por objeto la enunciación de las leyes
que rigen los procesos del pensamiento humano; así como de los métodos que
han de aplicarse al razonamiento y la reflexión para lograr un sistema de raciocinio
que conduzca a resultados que puedan considerarse como certeros o
verdaderos."

El objeto de estudio de esta ciencia son las formas, estructuras o esquemas de

pensamiento; por eso mientras las otras ciencias se centran en las relaciones de
su objeto de estudio con diversos fenómenos, la lógica se ocupa de las relaciones
mismas.

Podemos distinguir entre dos tipos generales de lógica:

-Lógica formal.
-Lógica material.

6
4.3 ENUNCIADO SIMPLE

Los enunciados simples están formados sólo de una oración que a su vez
se compone de sujeto que puede estar formado por una o varias palabras y
es de quien se habla en la oración, además del predicado que es lo que se
dice del sujeto.

En los siguientes ejemplos se puede ver como aplica el concepto de

enunciado simple:

 La niña corre en el parque.

 La muñeca nueva tiene un vestido azul.
 Mi papá me compró un chocolate.
 Chavelo es un niño muy grande.
 Ve a comer con Rosita.
 El parque de mi colonia es muy bonito.
 A Beto le gusta mucho tomar leche caliente.
 La función de teatro estuvo muy bonita.
 Pedro se fue de vacaciones la semana pasada.
 Lupita tiene un novio muy guapo.

7
4.4 ENUNCIADO COMPUESTO

Los enunciados compuestos son aquellos que se forman con más de una oración,
esto por medio de nexos como pueden ser “y” “además”, “también”, “aún”, “pero”,
“aunque”, o “hasta”, por mencionar algunos.

Los enunciados compuestos cuentan con más de un verbo, por lo que tienen más
de un predicado.

Cada una de las oraciones que se unen para formarlos se llaman proposición. Los
enunciados compuestos se clasifican en coordinados en los que las proposiciones
son independientes una de la otra, subordinados en las que dependen una de la
otra sintácticamente y yuxtapuestas en las que las proposiciones no están unidas
mediante un nexo, si no por medio de una coma.

En los siguientes ejemplos se puede ver como aplica el concepto de enunciado

compuesto:

 María toma café pero Rosita prefiere el té.

 Los hijos de Blanquita son estudiosos, los de su hermana son unos flojos.
Siempre te he amado, aunque tú no me quieres.
 Cada noche ceno con mi hermana, aunque los viernes ceno con mi suegra.
 Miguel compró un coche nuevo, su hermano compró un coche usado.
 La tía Rita cocina muy rico pero la tía Tere no sabe guisar.
 Felipe ganó mucho dinero en la lotería, pero su esposa Luisa se lo gastó
todo.
 Paco es muy buen bailarín, pero Roberto baila muy mal.
 Carolina compró un vestido azul además compró un vestido rosa para su
prima.

8
4.5 PRINCIPALES CONECTIVAS LÓGICAS Y CUAL SU JERARQUÍA

Se definen básicamente 5 elementos cuyos propósitos son enlazar las

proposiciones simples o atómicas:

- La conjunción: La conjunción se representa por v y se lee y.

- La disyunción: Se divide en disyunción inclusiva que se representa por w y se lee

o; o también se lee como uno u otro o ambos. La disyunción exclusiva se
representa por ¹ y se lee como O exclusiva, o también como uno u otro, pero no
ambos.

- Condicional: Se representa por medio de una flecha 6 y se lee si.....entonces.....

- Bicondicional: Se representa por º o ø (relación de equivalencia) y se lee .....si y

sólo si....., o también como condición necesaria y suficiente.

9
- Negación: Se lee como no, es falso que, no es verdad que; y hay muchas formas
de representarlo (', $ ,...).

La jerarquía de operadores es el orden en el que

se resolverá una expresión compuesta, y el orden es el siguiente.
Primero que nada, los operadores del mismo orden se resuelven de izquierda a
derecha.

1.-Paréntesis ().
2.-Operadores unarios.
3.-Operadores binarios.
Ejemplo:
(r^s) ^ p → ¬ q

p q r s (r^s) ¬q (r^s)^p (r^s) ^ p → ¬ q

V V V V V F V F
V V V F F F F V
V V F V F F F V
V V F F F F F V
V F V V V V V V
V F V F F V F V
V F F V F V F V
V F F F F V F V
F V V V V F F V
F V V F F F F V
F V F V F F F V
F V F F F F F V
F F V V V V F V
F F V F F V F V
F F F V F V F V
F F F F F V F V

10
 TABLAS DE VERDAD

Para entender mejor el concepto de conectividad lógica pongo el siguiente video:

11
 CONCLUSIONES

Gracias a la larga investigación e indagación sobre los distintos procesos de la

lógica formal en cuanto a la historia, evolución y aplicación de la lógica formal,
pudimos concluir los diferentes procesos cotidianos de la sociedad que ha pasado
en distintas ramas de la historia.

12
 BIBLIOGRAFÍA

http://logica.carpetapedagogica.com/2014/09/historia-de-la-logica.html

https://tbpd.wordpress.com/2010/12/11/kant-y-el-sentido-comun-del-juicio-moral/

http://filosofia.laguia2000.com/general/historia-de-la-logica-vi-el-redescubrimiento-
de-la-paradoja-del-mentiroso-en-el-siglo-xii

https://www.youtube.com/watch?v=tl_wRb3m6ME

http://www.definicionabc.com/general/logica.php

https://es.wikiversity.org/wiki/%C2%BFQu%C3%A9_es_la_L%C3%B3gica%3F

https://logicajuridicaunah.wordpress.com/

http://www.ejemplosde.com/12-clases_de_espanol/1445-
ejemplo_de_enunciados_compuestos.html

http://slideplayer.es/slide/2946442/

https://www.emaze.com/@ACZWLOLC/Presentation-Name

http://www.monografias.com/trabajos3/logica/logica.shtml

http://juliosoriaweb.blogspot.com.co/2013/12/jerarquia-de-los-conectores-
logicos.html

13