Diferencia entre revisiones de «Lógica»
Contenido eliminado Contenido añadido
mSin resumen de edición |
Sin resumen de edición Etiquetas: Edición desde móvil Edición vía web móvil |
||
Línea 2:
[[File:Modus ponendo ponens.png|thumb|Esquema del ''[[modus ponens]]'', una [[regla de inferencia]] fundamental de la [[lógica proposicional]].]]
La '''lógica''' es la [[ciencia formal]] y rama tanto de la [[filosofía]] como de las [[matemáticas]] que estudia los principios de la [[Demostración matemática|demostración]] y la [[inferencia]] [[Validez lógica|válida]],<ref>{{Cita enciclopedia |título=logic |enciclopedia=The Oxford Dictionary of Philosophy |editor=Simon Blackburn |edición=2008 Edition |editorial=[[Oxford University Press]] |cita=lógica: La ciencia general de la inferencia. |idioma=inglés |sined=sin}}</ref> las [[falacia]]s, las [[paradoja]]s y la noción de [[verdad]].<ref>{{Cita de José Manuel Méndez Ramírez libro|apellidos=Corazón González|nombre=Rafael|título=Saber, entender... vivir: una aproximación a la filosofía|url=https://books.google.es/books?id=Cf2DLcvVmK4C|páginas=74-77}}</ref>
La lógica tradicionalmente se considera una rama de la filosofía, pero desde fines del siglo XIX su formalización simbólica ha demostrado una íntima relación con las [[matemáticas]], y dio lugar a la [[lógica matemática]]. En el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, un [[cálculo]] definido por [[símbolo|símbolos]] y [[reglas de inferencia]], lo que ha permitido su aplicación a la [[informática]].
| |||