El paletero

1Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común, cuando adopta la forma de oración gramatical, o simbólico, cuando seexpresa por medio de signos o símbolos.
* Una proposición es atómica si no puede ser descompuesta en proposiciones más simples.
* Las proposiciones atómicas son indicadas de maneraafirmativa.
* Ejemplos:
o La casa es grande. (es atómica)
o La casa no es grande. ( no es atómica)
o Hoy es viernes y tenemos clase. (no es atómica)

* Una proposición esmolecular si no es atómica, es decir, si puede ser descompuesta en proposiciones más simples.
* Una proposición molecular se forma al unir proposiciones atómicas utilizandoconectivos lógicos o términos de enlace.
* Ejemplos
o Vamos en bicicleta o vamos a pie.
o No es cierto que Juan llegó temprano
o Juan no llegó temprano
3En lógica matemática,una variable proposional (también llamada variable sentencial o letra sentencial) es una variable que puede ser verdadera o falsa. Las variables proposicionales son los bloques deconstrucción básicos de las fórmulas proposicionales, usadas en lógica proposicional y en lógicas superiores.
4También se usan símbolos para representar los términos de enlace, así:Para la "y" se utiliza el símbolo.
Para la "o" se utiliza el símbolo.
Para el "no" se utiliza el símbolo ¬.
Para el "sí,... entonces..." se utiliza el símbolo 
Para el "sí ysólo si" se utiliza el símbolo.
Cuando una proposición compuesta utiliza el término de enlace "y" es una conjunción. Si el enlace se hace mediante la conectiva "o" es una disyunción.Si se usa el término "no" es una negación. Cuando la conectiva es "si,.... entonces...” es una proposición condicional, y si utiliza "si y sólo si" se tiene un bicondicional.