Uma proposta na lógica proposicional ou lógica das proposições é uma expressão linguística significativa que pode ser true ou false. Simboliza, por convenção, através de uma pequena carta consoante a " p. " Proposições podem ser simples ou molecular. Assim, p é uma proposição simples e p-38; q ( p e q, ) É uma proposição molecular ( significado p e q que queremos ) por exemplo, p = chuvas e q = ensolarado. Bem, toda proposição molecular, que contém pelo menos duas proposições simples é um grupo posicional
Sinônimos de grupo proposicional son proposición compuesta o molecular
"los grupos proposicionales pueden ser tautologías, contradicciones o indeterminaciones"