Proposições lógicas são enunciados declarativos que formam a base do raciocínio lógico e da lógica matemática, sendo utilizadas para construir argumentos, avaliar a validade de conclusões e resolver problemas. É um exemplo de proposição lógica: