historia de la lógica s xvii xix
TRANSCRIPT
![Page 1: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/1.jpg)
![Page 2: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/2.jpg)
Lógica en los siglos XVII-XVIII-XIX
![Page 3: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/3.jpg)
Corrientes Filosóficas
LOGICISMO
INTUICIONISMO
FORMALISMO
RACIONALISMO
![Page 4: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/4.jpg)
EL RACIONALISMO
• René Descartes
• Leibniz
Las verdades eternas no pueden serenumeradas, y tampoco es necesarioLa Lógica no sirve para descubrir nuevasverdades
La lógica de Port Royal
![Page 5: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/5.jpg)
• Gottlob Frege
• Bertrand Russell
EL LOGICISMO
Aritmética
LÓGICA
![Page 6: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/6.jpg)
El sistema lógico
Función y Variable
Letras griegas
![Page 7: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/7.jpg)
Algunos axiomas
![Page 8: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/8.jpg)
EL INTUICIONISMO
Lógica
MATEMÁTICAS
• Luitzen Jan Brouwer
![Page 9: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/9.jpg)
EL FORMALISMO
• Hilbert
Abstracta
Formal
Simbólica
Afirmación de una fórmula
Afirmación de que esta fórmula implica otra
Afirmación de la segunda fórmula
![Page 10: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/10.jpg)
Personajes significativos de la Época
René Descartes 1596-1650
“Pienso, luego existo”
Gottfried W. Leibniz
1646-1716Arte de la
combinatoria
Friedrich G. Frege
1848-1925Operadores y
cuantificadores
Augustus De Morgan
1806-1871Lógica
Matemática
Georg Wilhelm Friedrich Hegel
1770-1831Lógica Dialéctica
George Boole1815-1864
Algebra de la lógica
![Page 11: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/11.jpg)
Álgebra de Boole
Sea una terna una terna (A,+, .) es unálgebra de Boole si se satisfacen lasoperaciones “suma” y “producto”además de algunos teoremasestablecidos, donde A corresponde aun conjunto binario.
A = {0,1}
![Page 12: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/12.jpg)
Álgebra de Boole
Variable booleana: Solo puede tomar dos valores (V/F, 0 ó 1)
Operaciones booleanas:
Negación: Complemento
(no)
Suma booleana: 0 + 0 = 0(O) 0 + 1 = 1
1 + 0 = 1 1 + 1 = 1
Producto booleano :0 · 0 = 0(Y) 0 · 1 = 0
1 · 0 = 01 · 1 = 1
Función booleana: variables booleanas operadas entre si mediante operaciones booleanas
![Page 13: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/13.jpg)
Tablas de verdad
A A
0 1
1 0
A B A•B0 0
0 1
1 0
1 1
0
0
0
1
A B A+B0 0
0 1
1 0
1 1
0
1
1
1
Complemento Suma Producto
![Page 14: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/14.jpg)
Teoremas del álgebra de Boole (I)
Teorema 1: Ley interna
El resultado de aplicar cualquiera de las tres operaciones del álgebra de Boole a variables booleanas es otra nueva variable booleana y el resultado es único.
Teorema 2: Ley de idempotencia
A+A=AA•A=A
Teorema 3: Ley de involución
Teorema 4: Ley conmutativa
Respecto de la suma: A+B=B+ARespecto del producto: A•B= B•A
AA
![Page 15: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/15.jpg)
Teoremas del álgebra de Boole (II)
Teorema 5: Ley asociativa
Respecto de la suma: A+(B+C)=(A+B)+C=A+B+CRespecto del producto: A•(B•C)=(A•B)•C=A•B•C
Teorema 6: Ley distributiva
Respecto de la suma: A+B•C= (A+B)•(A+C)Respecto del producto: A•(B+C)=A•B+A•C
Teorema 7: Ley de cancelación
A+A•B=A
A•(A+B)=A
![Page 16: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/16.jpg)
Teorema 8: Leyes de Morgan
Leyes de Morgan aplicadas a n variables:
Teoremas del álgebra de Boole (III)
....... CBACBA
...... CBACBA
BABA
BABA
![Page 17: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/17.jpg)
Aplicaciones
Electrónica
la equivalencia de la “suma” esta establecida cuando es un circuito de dos interruptores en paralelo.
La equivalencia del “producto” esta establecida cuando es un circuito en serie de dos interruptores
La negacion se refiere a un interruptor inverso
![Page 18: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/18.jpg)
Aplicaciones
Informática
En lenguajes de programación se trabaja con las palabras AND, OR, NOT y muchas veces TRUE o FALSE los cuales podrían considerarse como valores de la variable booleana (comúnmente se conoce como bit)
![Page 19: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/19.jpg)
Sebastián Izquierdo(1601-1681)
Matemático en el cálculo combinatorioObservaciones • Pharus Scientiarum: contiene un tratado lógico,
conformado por tres disputaciones; término, proposición y argumentación
• La finalidad de la lógica era servir como medio para construir la ciencia a partir de cimentar una lógica fundada en reglas ciertas y claramente demostrables
• La combinatoria es “la colección de muchas cosas en varios agregados según todas las diferencias posibles de los agregados ”
![Page 20: Historia de la lógica s xvii xix](https://reader036.vdocuments.net/reader036/viewer/2022081401/5597a7341a28abc87a8b463d/html5/thumbnails/20.jpg)
Termino: Son los primeros elementos con los cuales se construye toda ciencia humana u la parte aptitudinal de la proposición
Es de carácter expositivo y su sentido es preámbulo e introductorio
Proposición: La materia de la cual se forma toda la ciencia humana
Argumentación: la oración o simplemente el antecedente del consiguiente