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

...