Uma proposição lógica, também conhecida como sentença lógica, é uma afirmação que pode ser classificada como verdadeira ou falsa, mas não ambas ao ...

Sim, isso está correto. Uma proposição lógica é uma afirmação que pode ser avaliada como verdadeira ou falsa, mas não ambas ao mesmo tempo. É uma das bases da lógica matemática e é usada em diversas áreas do conhecimento, como filosofia, ciência da computação e engenharia.