Uma afirmação lógica (ou proposição lógica) é a unidade básica do raciocínio lógico e da lógica proposicional. Ela pode ser avaliada como verdadeira ou falsa, mas nunca simultaneamente ambas. As proposições são fundamentais para a construção de argumentos e raciocínios lógicos, permitindo a análise e a dedução de conclusões a partir de premissas.