Proposições lógicas são sentenças declarativas que podem ser expressas de forma afirmativa ou negativa, e que podem ser avaliadas como verdadeiras ...

Proposições lógicas são sentenças declarativas que podem ser expressas de forma afirmativa ou negativa, e que podem ser avaliadas como verdadeiras ou falsas, mas nunca ambas. Elas representam pensamentos completos e indicam afirmações de fatos ou ideias. As proposições dividem-se em simples ou compostas. As proposições simples são formadas por apenas uma proposição e têm apenas os valores lógicos verdadeiro ou falso, enquanto as proposições compostas são formadas por duas ou mais proposições simples que são ligadas por conectivos lógicos (e, ou, se¿então etc.). Sabendo disso, quanto às proposições, é correto o que se tem em:

Uma proposição pode retornar com o valor nulo, que ocorre quando não temos informações sobre ela.

As proposições podem, em alguns casos, possuir 2 valores, verdadeiro e falso. Isso ocorre quando temos uma proposição complexa

As proposições são representadas por palavras ou símbolos que tem um sentido completo e indicam afirmações de ideias ou fatos

As proposições são utilizadas para iniciar o passo a passo dos algoritmos

As proposições simples apresentam entre uma ou duas sentenças, enquanto a composta apresenta 3 ou mais sentenças