FACULTAD DE CIENCIAS CONTABLES FINANCIERAS

Y ADMINITRATIVAS

ESCUELA PROFESIONAL DE ADMINISTRACIN

DOCENTE: LPEZ JARA GIANMARCO

ASIGNATURA:
MATEMTICA Y LGICA

MONOGRAFIA:
LGICA PROPOSICIONAL
AUTORES:
ESTRADA HUANCA KARLA MABEL
LEON MORILLO JHON KELLER
QUILCATE RODRIGUEZ LUZ ANGELICA
VALDERRAMA RODRIGUEZ OMAR MICHEL

CHIMBOTE- PER
2015
 Introduccin

La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos

ms simples representan proposiciones, y cuyas constantes lgicas llamadas conectivas,
representan operaciones sobre proposiciones, capaces de formar otras proposiciones de
mayor complejidad.

La lgica proposicional trata con sistemas lgicos que carecen de cuantificadores, o

variables interpretables como entidades. En lgica proposicional si bien no hay signos
para variables de tipo entidad, s existen signos para variables proposicionales (es decir,
que pueden ser interpretadas como proposiciones con un valor de verdad de definido),
de ah el nombre proposicional. La lgica proposicional incluye adems de variables
interpretables como proposiciones simples signos para conectivas lgicas, por lo que
dentro de este tipo de lgica puede analizarse la inferencia lgica de proposiciones a
partir de proposiciones, pero sin tener en cuenta la estructura interna de las
proposiciones ms simples.
Objetivos generales:

Aplicar las tcnicas de demostraciones y anlisis riguroso de la lgica

proposicional.
Evaluar herramientas necesarias para el manejo de los conocimientos y aciertos.
Aplicar las leyes del lgebra proposicional en la resolucin de ejercicios y
problemas sobre proposiciones e inferencias lgicas.

Objetivos especficos:

Aprender a identificar clases de proposiciones que se pueden encontrar en un

enunciado.
Aprender la aplicacin y el efecto que tienen los trminos de enlace en las
proposiciones.
Analizar proposiciones en nuestro idioma para determinar su validez.
Analizar e interpretar proposiciones para simbolizarlas.
Comprender los principios de las operaciones de la lgica proposicional y sus
aplicaciones en otras reas de la carrera.
Analizar los enunciados para la elaboracin de las tablas de verdad, teniendo en
cuenta los trminos de enlace.
 ANTECEDENTES DE LA INVESTIGACION
EDAD ANTIGUA

Aristteles con respecto al estudio de la lgica:

La lgica es conocida como una de las ciencias ms antiguas, tanto es as que se le

atribuye a Aristteles la paternidad de esta disciplina. Partiendo de que corresponde a
Aristteles haber sido el primero en tratar con todo detalle la lgica, se le considera pues
ser su fundador. En un principio se llam Analtica, en virtud del ttulo de las obras en
que trat los problemas lgicos. Ms tarde los escritos de Aristteles relativos a estos
eventos fueron recopilados por sus discpulos con el ttulo de rganon, por considerar
que la lgica era un instrumento para el conocimiento de la verdad.

Aristteles se plante cmo es posible probar y demostrar que un conocimiento es

verdadero, es decir, que tiene una validez universal. Aristteles encuentra el fundamento
de la demostracin en la deduccin, procedimiento que consiste en derivar un hecho
particular de algo universal. La forma en que se afecta esa derivacin es el silogismo,
por cuya razn la silogstica llega a ser el centro de la lgica aristotlica.

En un comienzo no se llam lgica al estudio que abarca hoy ese nombre. Por ejemplo
para Aristteles, o mejor dicho lo que nosotros llamamos lgica fue llamada dialctica y
a veces, se sigue de las premisas. El trmino lgica aparece en el ttulo de la obra de
Demcrito. Los estoicos utilizaron el trmino Dialctica para designar la disciplina que
hoy nos interesa. En Aristteles la palabra dialctica caracteriza a las argumentaciones
que parten de proposiciones generalmente aceptadas. En el siglo I a.C. los discpulos de
Aristteles su publicaron sus obras con el ttulo de ORGANON, instrumento y
retomaron el nombre dado por Demcrito; LGICA. Los escritores latinos al
transmitirnos los escritos lgicos antiguos prefirieron la palabra dialctica. Pedro
Abelardo, por ejemplo, es autor de una dialctica. Pero ya en el siglo XIII empieza a
dominar la denominacin LGICA. Pero en siglo XVI se prefiere nuevamente la
denominacin de DIALCTICA. A PARTIR DEL SIGLO XVII definitivamente se
utiliza la palabra LGICA.
Periodo Aristotlico:
Tenemos que reafirmar y aclarar que antes de Aristteles no existe ningn documento
que pruebe que antes del haya existido una exposicin terica de la lgica, y el mismo
Aristteles nos dice refirindose al estudio de la lgica; de nuestra investigacin actual
no es verdad decir que haya sido elaborada en parte s y en parte no; no exista en
absoluto.

Aristteles desarroll reglas para establecer un razonamiento encadenado que, si se

respetaban, no produciran nunca falsas conclusiones si la reflexin parta de premisas
verdaderas (reglas de validez). En el razonamiento los nexos bsicos eran los
silogismos: proposiciones emparejadas que, en su conjunto, proporcionaban una nueva
conclusin. En el ejemplo ms famoso, Todos los humanos son mortales y Todos los
griegos son humanos, se llega a la conclusin vlida de que Todos los griegos son
mortales. La ciencia es el resultado de construir sistemas de razonamiento ms
complejos. En su lgica, Aristteles distingua entre la dialctica y la analtica; para l,
la dialctica slo comprueba las opiniones por su consistencia lgica. La analtica, por
su parte, trabaja de forma deductiva a partir de principios que descansan sobre la
experiencia y una observacin precisa. Esto supone una ruptura deliberada con la
Academia de Platn, escuela donde la dialctica era el nico mtodo lgico vlido, y tan
eficaz para aplicarse en la ciencia como en la filosofa.

Los discpulos de Aristteles llamaron ORGANON a sus obras lgicas. No creemos

que Aristteles haya considerado la lgica en s misma; propiamente le intereso llegar al
conocimiento verdadero de la naturaleza, de las cosas. Pero podemos hacer una
distincin en sus obras y considerar slo aquellas que se dedican a la lgica en el
sentido que utilizamos aqu el trmino. Para Aristteles una argumentacin es un
encadenamiento de enunciados y estos son un encadenamiento de trminos. El libro
llamado CATEGORIAS estudia los trminos. El libro llamado DE LA
INTERPRETACION estudia el enunciado y los primeros analticos considera la
argumentacin.
Aportes:

Es el descubridor del principio del tercio excluido. Introdujo el uso de variables.

Explicacin sintctica y semntica de las proposiciones. Desarrollo la lgica de
predicados. Desarrollo el silogismo. Desarrollo la lgica formal de ah que se le
conozca como el PADRE DE LA LGICA FORMAL.

EDAD MEDIA

Se denomina lgica medieval a la lgica desarrollada en las escuelas y universidades de

Europa Occidental entre los siglos XI y XV. Surgen una clase de lgicos profesionales.
Pedro Abelardo fue el primer lgico medieval de mayor importancia. Posteriormente
surgen telogos que trataron de recuperar el Aristteles original estudiando y
comentando el rganon. Entre los ms importantes figuran Robere Grosseteste, Tomas
de Aquino y Alberto Magno entre otros. A fines del siglo XIII, Oxford es el centro de la
lgica y Duns Scoto fue uno de sus ms altos exponentes. El periodo de madurez de la
lgica medieval se expuso con Guillermo de Ocam y Juan Buridan.

Cabe una mencin aparte el ARS MAGNA de Ramn Llul, quien dio el primer paso en
la elaboracin de un lenguaje completo automtico para el razonamiento. Llul dise
incluso mquinas formadas por discos giratorios superpuestos por medio de los cuales
podan realizar clculos mecnicamente. Sus obras Art demostrativa (Arte demostrativo,
1283), Taula general (Tabla general, 1293), Lgica nova (Lgica nueva, 1303) y Ars
Dei (Arte de Dios, 1308)

Los aportes de la lgica medieval, por sus representantes fueron mnimos, toda vez que
se concentraron en fundamentar la teologa.
Aportes:

Tomas Hobbes: Considera al razonamiento como una especie de clculo de

signos. Desarrolla la lgica formal como combinacin de nombres de acuerdo a
las reglas establecidas.
Pedro Hispano, Juan Buridan, Alberto de Sajonia y Pedro Abelardo. Destacaron
por emplear una forma especializada el lenguaje. Redescubrieron la inferencia
coligativa.
Raymundo Lulio, Pedro Hispano, Guillermo de Ocam; establecieron reglas de
inferencia.
Guillermo de Shyreswood termina en 1230 el manual de lgica escolstica ms
antiguo, en donde formula por primera vez el esquema de divisin dicotmica
conocido como "rbol de Porfirio" y, tambin, enuncia por primera vez los fa-
mosos versos mnemotcnicos sobre la reduccin de los silogismos a los modos
de la primera figura aristotlica:

EDAD MODERNA

A mediados del siglo XIX, los matemticos britnicos George Boole y Augustos De
Morgan abrieron un nuevo campo a la lgica, hoy conocido como lgica simblica o
moderna, que ms tarde fue desarrollada por el matemtico alemn Gottlob Frege y de
un modo especial por los matemticos britnicos Bertrand Russell y Alfred North
Whitehead en Principia Matemtica (3 vols., 1910-1913) El sistema lgico de Russell y
Whitehead cubre un espectro mayor de posibles argumentaciones que las que se pueden
encontrar en la lgica silogstica. Introduce smbolos para frases enteras y para las
conjunciones que las unen, como o, y, si entonces. Cuenta con smbolos
diferentes para el sujeto lgico y el predicado lgico de una frase; y adjudica smbolos
para distinguir las clases, para los miembros de las clases y para las relaciones de la
pertenencia a una clase y la inclusin en una clase. Tambin se aleja de la lgica clsica
en sus suposiciones de la existencia respecto a las cosas aludidas en sus afirmaciones
universales. La afirmacin Todo A es B significa en lgica moderna que Si algo es
A, entonces es B; lo que, a diferencia de la lgica tradicional, no significa que todo A
existe.
 Tanto la rama clsica como la moderna implican mtodos de lgica deductiva. En
cierto sentido, las premisas de una proposicin vlida contienen la conclusin, y la
verdad de la conclusin se deriva de la verdad de las premisas. Tambin se han hecho
esfuerzos para desarrollar mtodos de lgica inductiva como las que sostienen que las
premisas conllevan una evidencia para la conclusin, pero la verdad de la conclusin se
deduce, slo con un margen relativo de probabilidad, de la verdad de la evidencia. La
contribucin ms importante a la lgica inductiva es la del filsofo britnico John Stuart
Mill, quien en Sistema de lgica (1843) estructur los mtodos de prueba que, segn su
interpretacin, iban a caracterizar la ciencia emprica. Este estudio ha desembocado, en
el siglo XX, en el campo conocido como filosofa de la ciencia. Muy relacionada con
sta se encuentra la rama de las matemticas llamada teora de la probabilidad.

Tanto la lgica moderna como la clsica asumen en sus formas ms corrientes que
cualquier proposicin bien elaborada puede ser o verdadera o falsa. En aos recientes se
han desarrollado sistemas de la llamada lgica combinatoria: una afirmacin puede
tener un valor distinto a verdadero o falso. En algunos supuestos es slo un tercer valor
neutro, en otros es un valor de probabilidad expresado como una fraccin que oscila
entre 0 y 1 o entre -1 y +1. Tambin se han llevado a cabo serios trabajos por desarrollar
sistemas de lgica modal, con el objeto de representar las relaciones lgicas entre las
afirmaciones de posibilidad e imposibilidad, de necesidad y contingencia. Otra va es la
que supone lgica dentica: la investigacin de las relaciones lgicas entre rdenes o
entre afirmaciones de obligacin.

Aportes:

Bacon, Francis: En su novum organun hace la primera formulacin moderna del

mtodo cientfico, establece de manera explcita y sistemtica la induccin
experimental, expone mtodos para determinar las relaciones de causalidad,
enuncia las bases empricas del descubrimiento y la invencin, y desarrolla una
teora de la experiencia. Se le conoce como el Padre de la Lgica Inductiva

LEIBNIZ, GOTTFRIED WILHELM (1646-1716), tambin conocido como

barn Gottfried Wilhelm von Leibniz. Filsofo, matemtico y estadista alemn,
considerado como uno de los mayores intelectuales del siglo XVII. LEIBNIZ,
 quien introdujo el clculo lgico llamado MATHESIS UNIVERSALIS que
fuese operacionalmente mecnico, inequvoco y no cuantitativo que permitiera
acabar con todas las disputas y controversias. Tambin desarrollo el clculo de
la lgica proposicional. Consider tambin que para comprobar la verdad del
entendimiento bastan los principios de identidad, contradiccin y tercio
excluido; para comprender la verdad de hecho es indispensable la razn.
Estableci la ley de la tautologa.

Extrae de su experiencia como matemtico genial las ideas que habran de sacar
a la lgica formal del estancamiento a que la haba llevado la escolstica.
Leibniz intenta formular unas caractersticas universales, es decir, un lenguaje
simblico para expresar sin ambigedad todos los elementos del pensamiento y
luego combinarlos rigurosamente, formando as conceptos, juicios y razo-
namientos.

de MORGAN (1806-1871) considera que base comn de la lgica en las

relaciones de inclusin o exclusin, parcial o total, entre clases; y su objetivo fue
mostrar que el silogismo no es ms que una serie de combinaciones de
relaciones desarrolla el clculo de relaciones, establece varios razonamientos no-
silogsticos, enuncia las leyes de transitividad y expresa rigurosamente las leyes
distributivas de la negacin, que llevan ahora su nombre. (Ley de Morgan)

BOOLE, GEORGE (1815-1864), lgico y matemtico britnico, elabor el

lgebra de Boole. La primera formulacin propiamente algebraica de la lgica,
estableciendo definidamente las leyes para la ejecucin de las operaciones y
dando una interpretacin coherente de los resulta-dos, se debe a George Boole,
quien es as el creador de la lgica simblica moderna. Boole funda el clculo
proposi-cional, enuncia las leyes del clculo de clases, hace una sistema-tizacin
de la lgica de la probabilidad y formula explcitamente la dualidad de las
operaciones algebraicas. El lgebra de Boole sirve de base a los trabajos de una
activa escuela de lgica. En gran medida autodidacta, Boole fue nombrado
profesor de matemticas en el Queens College de Cork en Irlanda (hoy el
University College) en 1849. En 1854, escribi Investigacin sobre las leyes del
pensamiento, en donde describe un sistema algebraico que ms tarde se conoci
como el lgebra de Boole. En l, las proposiciones lgicas se indican por
smbolos y pueden relacionarse mediante operadores matemticos abstractos que
corresponden a las leyes de la lgica. El lgebra de Boole es fundamental en el
estudio de las matemticas puras y en el diseo de los ordenadores o
computadoras.
VENN, John. (1834-1923) Fue el que trato de encontrar la significacin lgica
de operaciones como la sustraccin y la divisin. El mrito de Venn es
bsicamente el haber aclarado los procedimientos de Boole representando los
procesos algebraicos en los diagramas de Venn.

BIBLIOGRAFIA

https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional

http://logicamentelogica.blogspot.pe/2008/11/logica-proposicional.html

http://pedrosaldarriaga.blogspot.pe/2013/08/breve-historia-de-la-logica-en-
un.html

http://pedrosaldarriaga.blogspot.pe/2013/08/breve-historia-de-la-logica-en-
un.html

http://pedrosaldarriaga.blogspot.pe/2013/08/breve-historia-de-la-logica-en-
un.html