Uma proposição lógica, também conhecida como sentença lógica, é uma declaração afirmativa que pode ser classificada como verdadeira ou falsa, mas não ambas ao mesmo tempo. Ela é a unidade básica da lógica e é essencial para a construção de argumentos válidos e a análise de raciocínio.