Sei sulla pagina 1di 6

INTRODUCCIN

El presente informe tiene como finalidad explicar de forma minuciosa el estudio que puede tener la
lgica como matemtica, cuando se piensa en el trmino "lgica", rpido se hace referencia acerca
de nuestro cerebro o pensamientos. La lgica ha existido toda la vida, durante siglos los filsofos,
cientficos y dems personas ilustres han actuado o ms bien, han dado a conocer sus ms grandes
descubrimientos con ayuda de su lgica.

La lgica por lo general es considerada como ciencia que utiliza principios, leyes y procedimientos
para determinar la validez de una inferencia. El problema central de la lgica es establecer la distincin
entre el razonamiento correcto y el incorrecto. El trmino inferencia puede ser aceptado como
argumentacin. La lgica sirve para comprender de manera razonable el existir de cada cosa en todo
el universo.

La lgica comienza a aparecer desde Aristteles, siempre ha existido pero la palabra lgica, su
concepto y todo lo que encierra comienza desde el siglo IV.

El nacimiento de la lgica propiamente dicho est directamente relacionado con el nacimiento


intelectual del ser humano. La lgica emerge como mecanismo espontneo en el enfrentamiento del
HISTORIA DE LA LGICA MATEMTICA
La lgica estudia las leyes de inferencia en los razonamientos. Para descubrir estas leyes la lgica
necesita servirse de lenguajes artificiales llamados, lenguajes formales, con el fin de evitar las
ambigedades e impresiones de las lenguas naturales y poner de manifiesto ms claramente aquellos
elementos que son relevantes para reconocer razonamientos lgicamente vlidos. Esto se ha sabido
desde la antigedad. Aristteles, que fue el fundador de la lgica en la cultura occidental, introdujo
una cierta esquematizacin del lenguaje e hizo uso de variables para formular ciertos esquemas
generales de inferencia valida. Los filsofos estoicos investigaron formas de inferencia lgica
relacionadas con los que hoy en da llamamos lgica de proposiciones. Durante la Edad Media, la
lgica fue conservada y sistematizada, sin grandes avances, por los filsofos rabes y escolsticos.
La forma moderna de la lgica, conocida como lgica formal o matemtica, es de origen reciente.

La lgica matemtica. Su mtodo y aportaciones

A finales del siglo XIX, la lgica se hizo matemtica al servirse de mtodos matemticos (G. Boole,
1815-1864) y pretender servir de fundamento a las matemticas (G. Frege, 1848-1925). Esta forma
de la lgica ha conocido un desarrollo muy intenso durante la primear mitad del presente siglo,
especialmente en tres los aos treinta y sesenta, poca en la que muchos investigadores intentaron
resolver problemas de fundamentacin de las matemticas, se ha obtenido una formulacin rigurosa
de la lgica que ha permitido utilizarla como herramienta para las matemticas y, ms recientemente,
para la informtica.

TIPOS DE LGICA

La lgica como difusa

La lgica como difusa es considerada una generalizacin de la teora general de conjuntos que permite
que elementos de un universo tengan grados intermedios de pertenencia a un conjunto por medio de
una funcin caracterstica. Con esta idea modifica el concepto de bivalencia (Os y 1s) de la lgica
booleana, el cual pasa a ser un caso particular de los conjuntos difusos. La teora de lgica difusa ha
generado en los ltimos aos la segunda generacin de modelos de representacin de conocimientos,
mejor conocidos como sistemas expertos difusos. Las ciencias utilizan conceptos tanto vagos como
preciso. Nacimiento, muerte blanco y negro son conceptos precisos, fiebre, anemia y obesidad son
vagos. Usualmente, conceptos vagos son tratados como si fueran precisos. Por ejemplo, se podra
insistir en un diagnostico medico de que fiebre, anemia y obesidad estn presente o ausente. Este tipo
de clasificaciones impuestas son a veces el producto de valores preestablecidos que tienen que ser
excedidos por una variable de cierta importancia.

La lgica como fuzzi

La lgica Booleana es conocida como la ms precisa de todas las ciencias y disciplinas tericas, La
mayora de las ciencias modernas y matemticas se basan en sus principios. A pesar de las ventajas
de su exactitud, la lgica Booleana tiene la desventaja de no poder reprdoucir los patrones del
pensamiento humano. Es as como a mediados de los aos sesenta. El profesor Lotfi Zadeth de la
Universidad de California en Berkeley, pretendiendo suplir esta deficiencia de la lgica tradicional, crea
la que hoy se denomina como lgica fuzzy. Como disciplina matemtica, la lgica fuzzy esta diseada
para reaccionar a cambios continuos de variable a ser controlada y se diferencia con la lgica
Booleana por no estar restringida a dos nicos valores 0 y 1. En su lugar permite valores parciales y
multivalores de verdad. Esta disciplina es especialmente ventajosa para problemas que no puedan ser
fcilmente representadas por modelos matemticos debido a que los datos estn incompletos o por
que el proceso es muy complejo. El lenguaje del mundo real usado en control fuzzy permite a los
programadores incorpora la lgica ambigua de los humanos dentro de la computadora. El uso de
modelos lingsticos en lugar de modelos matemticos mejora grandemente la trasparencia del
sistema y facilita las potenciales modificaciones. La lgica fuzzy intenta controlar procesos capturando
el conocimiento que los especialistas poseen de su experiencia real, sin tener que modelar el sistema.

Lgica proposicional

La lgica proposicional es un modelo de la lgica ordinaria, cuyos elementos bsicos son letras que
representan a proposiciones simples. Tambin se representa una proposicin compuesta de varias
simples, bien por una letra, bien por una formula en la que aparecen las letras que representan a las
componentes, y unos smbolos que quiere expresar las ligaduras que unen dichas componentes para
formar la proposicin compuesta. Por ejemplo, indaguemos con A la oracin Jorge estudia, y con B
la Pedro descansa. Entonces, vamos a representar:

Jorge no estudia por ~A

Jorge estudia o Pedro descansa por (A v B)

Lgica Bivalente

Una lgica clsica es un sistema lgico que admite solo dos valores de verdad para sus enunciados
(premisas y conclusin). En la lgica bivalente, una proposicin solo puede ser verdadera o falsa, no
existen valores intermedios de verdad. El clsico de lgica bivalente es la lgica aristotlica que se
sustenta en tres principios bsicos:

Principio de identidad: Es verdad que A es idntico a A (a si mismo). A = A


Principio de no contradiccin: A no puede ser A y no -A al mismo tiempo. (A A)
Principio del tercero excluido: A es verdadero o es falso, no hay tercera posibilidad. A v A

Lgica digital

La lgica digital trata de la interconexin entre componentes digitales y mdulos y en un trmino usado
para denotar el diseo y anlisis de los sistemas digitales. El ejemplo ms conocido de un sistema
digital es un computador digital para propsito general.

Lgica booleana
La lgica booleana es una lgica de conjuntos y nos sirve, principalmente, para definir formas de
interseccin entre conjuntos. En este caso, los conjuntos serian lo que puedan definidos por una
palabra, es decir, serian conjuntos definidos pos intensin. Las principales opciones que caracterizan
esta lgica est contenida dentro de lo que se denomina como compuertas lgicas las cuales son:

OR: Se suman los conjuntos definidos por dos palabras, es decir, la respuesta ser todas
aquellas referencias donde aparezcan, indistintamente, una u otra de las palabras indicadas
para bsqueda.
AND: Se trata de la interseccin de los conjuntos definidos por las dos palabras, es decir, solo
aquellas referencias que contengan ambas palabras a la vez.
NOT: En este caso, aquellas referencias que tengas la primera palabra y no la segunda, es
decir, un primer conjunto, amputado de su parte comn con otro.
NEAR: Como el AND, pero con la exigencia suplementaria de una cercana entre palabras.

La principal utilidad que puede tener la opcin NOT es la de eliminar todas las referencias de algn
tipo de dominio, por ejemplo, si pensamos que nuestra bsqueda supones paginas puramente
acadmicas y que muy difcilmente pueda encontrarse en algn sitio web comercial, poner NOT.com
nos ahorraremos todas las referencias que hayan sido inicialmente seleccionadas por contener
palabras con la misma raz que aquellas que estamos usando para realizar una bsqueda, pero que
provengan de dominios comerciales, y que por eso mismo, suponemos que no tiene que ver con el
tema buscado.

En la actualidad la lgica booleana se aplica de forma generalizada en el mbito del diseo electrnico.
Claude Shannon fue el primero en aplicarla en el diseo de circuitos de conmutacin elctrica estables,
en 1048. Esta lgica se puede aplicar a dos campos:

Al anlisis, porque es una forma concreta de describir cmo funcionan los circuitos.
Al diseo, ya que teniendo una funcin aplicamos diga lgica, para poder desarrollar una
implantacin de la funcin.
COMENTARIO PERSONAL
La lgica en la ingeniera en ciencias y sistemas involucra el conocimiento de tcnicas e instrucciones
de forma organizada, nos ayuda en la toma de decisiones que sean de lo ms convenientemente
posibles y exactas hacia un determinado lenguaje que se presenta como problema, de los cuales se
hace sencillo lograr resultados que resuelvan el problema de formas ms rpidas que una persona en
otra rea.
E-GRAFA
Ttulo del artculo: La lgica booleana
Nombre del sitio web: Psiconet
URL: http://www.psiconet.com/enlaces/internet/boole.htm

Ttulo del artculo: Matemtica discreta y lgica matemtica


Nombre del sitio web: Google Books
https://books.google.com.gt/books?id=i7-
bsfuIKIIC&pg=PA331&dq=historia+de+la+logica+matematica+resumen&hl=es
URL:
&sa=X&ved=0ahUKEwjN5LHBldXSAhWEQyYKHUaSB0AQ6AEIHTAB#v=one
page&q=historia%20de%20la%20logica%20matematica%20resumen&f=false

Ttulo del artculo: Lgica difusa para principiantes


Nombre del sitio web: Google Books
https://books.google.com.gt/books?id=iCiiyyCFZuIC&pg=PA9&dq=tipos+de+lo
URL: gica&hl=es&sa=X&ved=0ahUKEwjam9nymNXSAhUJJiYKHWzFBJQQ6AEIRz
AJ#v=onepage&q=tipos%20de%20logica&f=false

Ttulo del artculo: Retculo completo de Boole lgica matemtica teora de conjuntos
Nombre del sitio web: Google Books
https://books.google.com.gt/books?id=SH2NrV7H3pEC&printsec=frontcover&d
q=logica+polivalente&hl=es&sa=X&ved=0ahUKEwju-
URL:
Nj1nNXSAhXBRiYKHYC4B00Q6AEIITAC#v=onepage&q=logica%20polivalent
e&f=false

Ttulo del artculo: Lgica matemtica y computabilidad


Nombre del sitio web: Google Books
https://books.google.com.gt/books?id=tjnBpzdCtb8C&pg=PA13&dq=logica+pro
URL: posicional&hl=es&sa=X&ved=0ahUKEwien7i1ntXSAhUIySYKHWrGC48Q6AEI
MzAF#v=onepage&q=logica%20proposicional&f=false

Ttulo del artculo: Lgica bivalente


Nombre del sitio web: Es.Wikipedia.org
URL: https://es.wikipedia.org/wiki/L%C3%B3gica_bivalente

Ttulo del artculo: Algebra de Boole


Nombre del sitio web: Es.Wikipedia.org
URL: https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole