Preposiciones.

Lógica proposicional: Una preposición es una sentencia declarativa que es verdadera o falsa pero no ambas, por ejemplo:  La mañana es fría.
 Un girasol es amarillo.

Preposiciones compuestas: Una preposición que es invisible se conoce como preposición primitiva. Las sentencias derivadas de las primitivas y de varios conectores lógicos cómo: no, y, o, si... entonces, sí y sólo si, estas se conocen como preposiciones compuestas. Por ejemplo:-No puedes comer sopa.
-Los gatos son bonitos y juguetones.
-¿Comerás pan o galletas?
-Si limpias tu habitación entonces podrás salir a jugar.
-La bicicleta avanza si y sólo si tiene ruedas.

NO (~,-) Una sentencia que es modificada con el conectivo NO, es llamada la negación de la sentencia original.

Y (^) La conjunción de P, Q es denotada como P^Q. La conjunción es verdadera si al menos uno de sus elementos es verdadera sólo si P y Q son verdaderas.  

O (v) La disyunción de P, Q es denotada como PvQ. La disyunción es verdadra si al menos uno de sus elementos es verdadero. 

Implicación (→)  Par dos declaraciones P → Q, decimos que P implica a Q y se escribe P→Q. La preposición P es llamada la hipotesis o antecedente de la implicación. Q es llamada conclusión o consecuente de la implicación.

Si o sólo só o doble implicación (↔)  Otra declaración común en matemáticas es P si sóloy si Q, o simbólicamente ↔. Esto es llamado a la equivalencia de dos preposiciones. Si P entonces Q y si Q entonces P. P es una condición y suficiente para P.

Ejemplo: