En lógica y matemáticas, una oración gramatical que afirma o niega algo y que tiene un valor de verdad (o es verdadero o es falso). Las proposiciones lógicas se clasifican en atómicas (o simples) --las cuales son indivisibles-- y moleculares (compuestas), las cuales están compuestas por proposiciones simples combinadas mediante conectivos (u operadores) lógicos.