Logica booleana

Solo disponible en BuenasTareas
  • Páginas : 26 (6274 palabras )
  • Descarga(s) : 4
  • Publicado : 29 de mayo de 2010
Leer documento completo
Vista previa del texto
-------------------------------------------------
Logica booleana
La lógica booleana es una lógica de conjuntos y nos sirve, principalmente, para definir formas de interseccion entre conjuntos.
En este caso, los conjuntos serian lo que quedan definidos por una palabra, es decir, serian conjuntos definidos por intensión. Si uso la palabra "psicoanálisis", esta recubre todo el conjunto deelementos, para el caso, páginas web, en las que dicha palabra se encuentre incluída. Así, a partir de diferentes palabras se definen conjuntos de páginas agrupadas por el hecho de incluir (o no) esa determinada palabra. Estos conjuntos tendrán, entre si, elementos en común, y elementos que no. Una manera de precisar o afinar nuestra búsqueda consistirá en utilizar estos operadores booleanos paraprecisar el campo de nuestro interés
Las principales opciones son:
OR - se suman los conjuntos definidos por dos palabras, es decir, la respuesta sera todas aquellas referencias donde aparezcan, indistintamente, UNA U OTRA de las palabras indicadas para busqueda.
AND - se trata de la intersección de los conjuntos definidos por las dos palabras, es decir, solo aquellas referencias que contengan AMBASpalabras a la vez
NOT - en este caso, aquellas referencias que tengan la primer palabra y no la segunda, es decir, un primer conjunto, amputado de su parte común con otro.
NEAR - como el AND pero con la exigencia suplementaria de una cercania entre las palabras
Es de suponer que las utilidades OR y AND son bastante obvias. Si hay dudas pueden escribirnos para preguntarnos.
Les daremos, encambio, algunos ejemplos sobre el uso de las otras opciones, que podrian no ser tan obvias.

La principal utilidad que puede tener la opcion NOT es la de eliminar todas las referencias de algún tipo de dominio: por ejemplo, si pensamos que nuestra búsqueda supone páginas puramente academicas y que muy dificilmente pueda encontrarse en algún sitio web comercial, al poner "NOT .com" nos ahorraremostodas las referencias que hayan sido inicialmente seleccionadas por contener palabras con la misma raíz que aquellas que estamos usando para realizar una búsqueda, pero que provengan de dominios comerciales, y que por eso mismo, suponemos que no tienen que ver con el tema buscado.
Este comando también puede servir para descartar confusiones que pudieran surgir entre el tema de nuestra búsqueda yotros temas conexos. Por ejemplo, si nos interesa el tema drogadiccion, pero no en relacion al sida, como sabemos que en todos los lugares referidos al sida es probable que haya referencias a la drogadiccion, nos ahorraremos muchas referencias que no buscamos si ponemos "NOT aids", o "NOT hiv", o "NOT sida".

-------------------------------------------------
Lógica de primer orden

La lógicade primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.1 Los lenguajes de primer orden son, a su vez, lenguajes con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo.2
La lógica deprimer orden tiene el poder expresivo suficiente para definir a prácticamente todas las matemáticas
Introducción
Como el desarrollo histórico y las aplicaciones de la lógica de primer orden están muy ligados a la matemática, en lo que sigue se hará una introducción que contemple e ilustre esta relación, tomando ejemplos tanto de la matemática como del lenguaje natural. Primero se introducen cadauno de los conceptos básicos del sistema, y luego se muestra cómo utilizarlos para analizar argumentos.
Predicados [editar]

Un predicado es una expresión lingüística que puede conectarse con una o varias otras expresiones para formar una oración.3 Por ejemplo, en la oración "Marte es un planeta", la expresión "es un planeta" es un predicado que se conecta con la expresión "Marte" para formar...
tracking img