Bienvenidos a todos nuestros Blogger visitantes, por medio de Las Lógicas Blog, podrán dar un paseo didáctico, divertido y entretenido, podrán sumergirse en el mundo de La Lógica aquí desde el núcleo hasta la corteza se componen de diversos temas todos dirigidos directamente hacia ti, para que afiances tu desarrollo lógico. Aquí encontraras diversas aplicaciones, disfrútalas y únete a nuestros seguidores. 

HISTORIA DE LA LÓGICA

HISTORIA DE LA LÓGICA

Lógica matemática fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lógica de Aristóteles, pero desde el punto de vista de una nueva notación, más abstracta, tomada del álgebra.

Previamente ya se hicieron algunos intentos de tratar las operaciones lógicas formales de una manera simbólica por parte de algunos filósofos matemáticos como Leibniz y Lambert, pero su labor permaneció desconocida y aislada.

Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemático para modelar operaciones lógicas. La lógica tradicional aristotélica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemática.

El tradicional desarrollo de la lógica enfatizaba su centro de interés en la forma de argumentar, mientras que la actual lógica matemática lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintáctico (por ejemplo, el envío de una cadena de símbolos perteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una máquina), como a un nivel semántico, construyendo modelos apropiados (teoría de modelos). La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.

LA LÓGICA MATEMÁTICA

LÓGICA MATEMÁTICA

Es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con la ciencias de la computación y la lógica filosófica.

La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.

La lógica matemática fue también llamada lógica simbólica. El primer término todavía se utiliza como sinónimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teoría de la demostración.

La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de la lógica». Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.

APLICACIONES DE LA LÓGICA

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física.
 En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto.
En las matemáticos para demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en investigaciones.

En la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó la parte alta porque se mancharía lo que ya tiene pintado, también dependiendo si es zurdo o derecho, él puede pintar de izquierda a derecha o de derecha a izquierda según el caso, todo esto es la aplicación de la lógica.

LA PROPOSICIÓN

Proposición Enunciado que tiene un valor de verdad (verdadero o falso), pero no las dos cosas a la vez.  1)La Unillanos es una universidad pública (proposición verdadera)  2)La contaduría pública es la mejor profesión (proposición verdadera)

CLASIFICACIÓN DE LAS PROPOSICONES

En lógica se consideran y se simbolizan dos clases de proposiciones: atómicas o simples y
moleculares o compuestas, veamos:


Proposiciones simples:
Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos
lógicos.
 Ejm:
P : El eclipse es un fenómeno natural
Q : La luna es un satélite de la tierra.
R : 2 es el inverso multiplicativo de –2.
S: -3 es el inverso aditivo de 3.


El valor de verdad de una proposición simple puede ser verdadero (V) o falso (F), pero no
los dos valores al mismo tiempo, pues dejaría de ser proposición.


Proposiciones Compuestas
Las proposiciones compuestas son aquellas que se obtienen combinando dos o más
proposiciones simples mediante términos de enlace.
Estos son algunos ejemplos de proposiciones compuestas:
P : Está lloviendo.
Q: El sol brilla.

P ᴧ Q: Está lloviendo y el sol brilla.