PROFESOR: JULIO OLAVE CALVO

CURSO: MATEMATICA I
CARRERA PROFESIONAL: ARQUITECTURA
INTEGRANTES:
-BERNAL MERCADO CRISTHELL NICOLE
-YUCRA CHULLO DAVID
-ZAMATA FERNANDEZ WHINEE ALEXANDRA
-CCAHUANTICO VELASQUEZ LUDWIN OMAR
- APAZA QUISPE KAREN GABRIELA

LA LGICA
Definicin: Es la ciencia de las leyes del pensamiento que
tiene por objeto estudia la relacin del pensamiento que tiene
con la verdad.
Los griegos llamaban pensamiento al producto de la actividad
intelectual de los hombres.
La lgica es el lenguaje del razonamiento el termino lgica
proviene del griego logos que significa discurso pero se
aplica al campo de la intangibilidad y del pensamiento
ordenado.
La lgica se define formalmente como la ciencia que se ocupa
de la validez de la diferencia y la demostracin.
En general la lgica se aplica en la tarea diaria, ya que
cualquier trabajo que se realiza tiene un procedimiento lgico.
Aristteles ha pasado a la historia, entre otros cosas, como el
primer sistematizador de la lgica. De hecho, sus propuestas
en este campo, junto a las aportaciones de los estoicos, han
constituido prcticamente toda la lgica hasta el siglo XIX.
Las matemticas y la lgica:
Durante el periodo de 600 AC hasta 300 AC, en Grecia se
desarrollaron los principios formales de las matemticas. A
este periodo se le conoce como periodo clsico, donde sus
principales representantes son Platn, Aristteles y Euclides.
Platn introduce sus ideas o abstracciones; Aristteles
presenta el razonamiento deductivo y sistematizado y
Euclides es el personaje que mayor influencia tuvo en las
matemticos, al establecer el mtodo axiomtico. En
''Elementos'', Euclides organiza pruebas deductivas dentro de
una presentacin sistemtica, rigurosa y bien organizada de
conocimiento matemtico

Bertrand Russell fue un

filsofo, matemtico, lgico
y escritor britnico ganador
del Premio Nobel de
Literatura y conocido por su
influencia en la filosofa
analtica, sus trabajos
matemticos y su activismo
social.
Russell defini la lgica
como "la ciencia de los
sistemas deductivos".

LOGICA PROPOSICIONAL
-Clases de proposiciones
Hay dos clases de proposiciones:
a. Proposiciones Simples.- Tambin denominadas atmicas.
Son aquellas proposiciones que no se pueden dividir. Ejemplo:
El cielo es azul. (verdadero)
b. Proposiciones Compuestas.- Tambin denominadas
moleculares. Son aquellas que estn formadas por dos o ms
proposiciones simples unidas por los operadores lgicos.
Ejemplo:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jvenes o universitarios.
Si el mircoles prximo me saco la lotera entonces te
regalar un auto.

Tabla Conectivos Logicos

Arquitectura de la aplicacin:
Ofrece una estructura para pensar, proyectar, elaborar y
desarrollar que se integren y fucionen bien.
Conclusin:
La lgica muestra un devenir histrico muy interesante,
naciendo de la fuerte formalizacin de las matemticas de los
griegos, que fu impactada, como muchas ciencias, por el
pensamiento de la Edad Media, donde la religin se anteponia
a todo; pero, el impet de la mente de los filsofos
renacentistas ayud a retomar su desarrollo. No cabe duda
que la lgica tiene impact fundamental, como ciencia de las
ciencias, en el pensamiento contemporaneo, y que el

nacimiento de la tecnolgia computacional deba mucho al

desarrollo del formalismo lgico de principios de siglo.

Referencias:
Frausto, Juan. ''Evolucin de la Lgica: Pasado, Presente y
Futuro''. http://w3.mor.itesm.mx/logica/log9808/evolucin.html
. 12 de agosto de 1999.
Poincare, Henri. ''Logical Revolution. Past, present and future''.
17 de agosto de 1999.
http://www.rbjones.com/rbjpub/www/colum/c00300.html . 17
de agosto de 1999.
Gran Enciclopedia de la Ciencia y de la Tecnologa. Varios
volmenes. Ediciones Ocano. Espaa.1996
Poincare, Enri. ''Classical Greek Mathematics''. 10 de agosto
de 1999.
http://www.rbjones.com/rbjpub/maths/math005.html . 17 de
agosto de 1999.
Diccionario Enciclopedico Univesal. Varios volmenes.
Ediciones Oceano. Espaa. 1994.
Poncaire, Henri. ''Mathematics and the Scientific Revolution''.
5 de octubre de 1996.
http://www.rbjones.com/rbjpub/maths/math011.html . 17 de
agosto de 1999.
Poncaire, Henri. ''The Formalisation of Mathematics''. 5 de
octubre de 1996.
http://www.rbjones.com/rbjpub/maths/math006.html . 17 de
agosto de 1999.