La preposición

Preposisiones

La preposición es la clase de palabra invariable que introduce el llamado sintagma preposicional. Las preposiciones generalmente tienen la función de introducir adjuntos, y en ocasiones también complementos obligatorios ligando el nombre o sintagma nominal al que preceden inmediatamente con un verbo u otro nombre que las antecede. En algunas lenguas las preposiciones pueden no encabezar un sintagma preposicional, como en inglés, donde incluso pueden aparecer al final de la frase.

Considerando las distintas lenguas del mundo, la preposición es un tipo de adposición que se caracteriza por aparecer típicamente al principio del constituyente sintáctico al que afecta; así por ejemplo, la palabra equivalente que aparece detrás y no delante se llama postposición.

Tradicionalmente, la gramática del español la ha definido como la parte invariable de la oración que une palabras denotando la relación que tienen entre sí.

Conectivos lógicos

En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dos fórmulas, de modo que el valor de verdad de la fórmula compuesta dependa del valor de verdad de las fórmulas componentes.

En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa.

Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados.

[editar]Conectivas

Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos valores de verdad, y devuelven un único valor de verdad. En consecuencia, cada conectiva lógica puede ser definida mediante una tabla de valores de verdad que indique qué valor devuelve la conectiva para cada combinación de valores de verdad

Disyunción exclusiva

El operador lógico Disyunción exclusiva también llamado o exclusivo, simbolizado como XOR, EOR, EXOR, ⊻ o ⊕ es un tipo de disyunción lógicade dos operandos que es verdad si solo un operando es verdad pero no ambos.

[editar]Equivalencias, simplificación, e introducción

La disyunción exclusiva puede ser expresada en términos de conjunción lógica ( ), disyunción lógica ( ), y negación ( ) de la siguiente manera:

La disyunción exclusiva puede ser expresada de la siguiente manera:

Esta representación del XOR puede resultar útil en la construcción de un circuito o una red, ya que sólo tiene un operador y un número reducido de operadores y . La prueba de esta identidad es la siguiente:

A veces es útil escribir de las siguientes formas:

El lenguaje simbólico

El lenguaje simbólico funciona según una estructura diferente a las lenguas cotidianas. El conocimiento de la lengua simbólica en su calidad de lengua es indispensable para comprender la enseñanza esotérica masónica.

La simbólica es al mismo tiempo una Lengua, una Ciencia y un Arte:

• Como Lengua, tiene un carácter universal: las lenguas profanas se transforman adaptándose a las circunstancias locales y temporales de la vida comunitaria; la lengua simbólica, al contrario, permanece inalterada.

• En tanto que Ciencia, tiene sus propias leyes, métodos y técnicas.

• Como Arte, expresa la vía de la imaginación creadora; se comunica con aquellos que por su conducto, desde la más remota antigüedad y hasta nuestros días, han podido descifrar sus mensajes.

Verdad empírica

La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de

...