Una proposición en la lógica proposicional o lógica de las proposiciones es una expresión lingüística significativa que puede ser verdadera o falsa. Se simboliza, por convención, mediante una letra consonante minúscula a partir de la "p". Las proposiciones pueden ser simples o moleculares. Así p es una proposición simple y p & q (p y q) es una proposición molecular (significando p y q lo que queramos), por ejemplo, p= llueve y q= hace sol. Pues bien, toda proposición molecular, que es la que al menos contiene dos proposiciones simples es un grupo posicional
Sinónimos de grupo proposicional son proposición compuesta o molecular
"los grupos proposicionales pueden ser tautologías, contradicciones o indeterminaciones"