bachiller

Que es lógica:
La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.
La lógica matemática es una parte de la lógica y las matemáticas que consiste en elestudio 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 tiene estrechas conexiones con las 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 o definen nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones yalgoritmos, utilizando un lenguaje formal. La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas. Actualmente se usan indiferentemente como sinónimos las expresiones: lógica simbólica (ologística), lógica matemática, lógica teorética y lógica formal. 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.
Lógica Booleana:
La lógica booleana es una lógica de conjuntos y nos sirve, principalmente, para definir formas de intersección entre conjuntos.
Eneste 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 de elementos, 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) esadeterminada 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 para precisar 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 búsqueda.

AND - se trata de la intersección 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 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 perocon la exigencia suplementaria de una cercanía entre las palabras
Es de suponer que las utilidades OR y AND son bastante obvias. Si hay dudas pueden escribirnos para preguntarnos.
Les daremos, en cambio, algunos ejemplos sobre el uso de las otras opciones, que podrían no ser tan obvias.
La principal utilidad que puede tener la opción NOT es la de eliminar todas las referencias de algún tipo dedominio: por ejemplo, si pensamos que nuestra búsqueda supone páginas puramente académicas y que muy difícilmente pueda encontrarse en algún sitio web comercial, al poner "NOT .com" nos ahorraremos todas 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 dominioscomerciales, 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 y otros temas conexos. Por ejemplo, si nos interesa el tema drogadicción, pero no en relación al sida, como sabemos que en todos los lugares referidos al sida es probable que haya referencias a la...