Introduccin

Este trabajo contiene un poco de historia de George Boole y su aporte a la lgica

matemtica adicional a eso contiene una pregunta orientadora la cual busca la
interaccin de la interaccin de los proceso matemticos con los argumentos
lgicos
 Tabla de contenido

1. Actualizacin de perfil

2. Confirmacin de diligenciamiento de base de datos

3. Pregunta orientadora

4. Un poco de historia
1. Actualizacin del perfil

2. CONFIRMACION DE DILIGENCIAMIENTO DE BASE DE DATOS

3. Pregunta orientadora
 De qu manera los procesos matemticos intervienen en la estructuracin
de los argumentos lgicos para demostrar la veracidad de un suceso?

Interviene en la forma de hacer notar las ideas para que el recetor argumente su
punto de vista opuesto o se adhiera a los argumentos que el locutor presenta en
su explicacin de igual forma un tema siempre generara polmica entere una o
ms personas implicadas dado que todos tiene un punto de vista diferente del
tema a tratar .

Est en el locutor argumentar y defender su punto de vista sobre el tema a

relacionar con los dems

4. Un poco de historia

George Boole (1815-1864) logro traducir utilizando un procedimiento, la lgica de

los trminos en teora de ecuaciones, por lo cual es conocido como el padre de la
lgica

Crea el lgebra booleana que consiste en el movimiento de formalizacin del

lenguaje lgico y por consiguiente, el intento de validez de esta funcin
matemtica, dando lugar a la lgica simblica, que ha venido a servir como
procedimiento en el campo de la investigacin y de la demostracin cientfica

Boole contribuyo a simplificar el lenguaje de los pueblos (espaol, ingles ,ruso ) a

quedarse tan slo con el esqueleto lgico de una o varias expresiones dadas, sin
que haya lugar a la menor suposicin psicolgica, y eliminando as todo contenido
anmico que pudiera deformar las expresiones en su contenido conceptual. Desde
este punto de vista, la lgica simblica busca la superacin de todos los defectos
tradicionales del lenguaje. A su vez, se desinteresa del requisito de la verdad de lo
que se afirma, en el sentido de que no se preocupa de decirle a uno qu
afirmaciones son verdaderas, sino que simplemente propone darnos criterios que
garanticen hasta donde sea posible, la verdad de determinadas proposiciones si
algunas otras lo son, llegando as a establecer reglas generales, las cuales no se
ocupan de una determinada demostracin, sino que se refiere a conjuntos enteros
sin interesarse por el contenido fctico de si, por ejemplo, es verdad que "los
cuadrpedos son animales" o si "Euclides fue un gran matemtico"

Dentro de estas orientaciones, existen trminos que no poseen significado propio,

signo que desempean una determinada funcin y que establecen siempre
conexiones o bien, precisin al mbito a que se refieren a otros trminos de una
proposicin. Se trata de los conectores o conectivas tales como "algunos", "y",
"o", "no", "pero", "si,entonces", etc. Ahora bien dentro de una proposicin dada
sucede que ciertos nombres, categormaticos en este caso, podemos
reemplazarlos por "variables", esto es, por letras y que dan lugar a expresiones
que no designan o sealan nada determinado y que pueden volver a indicar algo
cuando sus variables son reemplazadas de nuevo por nombres

Conclusiones

Con este trabajo entend cul es la funcin de la lgica matemtica en el da a da,

adicional a eso entend cul era el aporte de George Boole a la lgica
matemtica.
 Bibliografas

http://www.monografias.com/trabajos57/logica.matematica/logica-
matematica.shtml
Portafolio del curso de lgica matemtica Universidad cooperativa de
Colombia facultad de ingenieras autor Deivis Suares Rivero
http://publicaciones.caf.com/media/1227/79.pdf