A quarta frase é uma proposição lógica em que aparecem dois conectivos lógicos.

Toda proposição lógica pode assumir no mínimo dois valores lógicos.

A terceira frase é uma proposição lógica composta.

Ele afirmava ser possível demonstrar que uma proposição lógica era falsa ou verdadeira, independentemente das partes que a compunham.

A álgebra binária reduz portanto qualquer proposição lógica, não importa quantos termos possa conter, a uma seqüência simples de simbolismo binário.

Fiz esse comentário com absoluta inocência (como uma proposição lógica, não a título de sugestão), mas para Stuart a ideia pareceu ótima.

O problema é: "Quais são os constituintes deumaproposição lógica?" Não sei a resposta, mas proponho-me a explicar como o problema surge.

- Pareceu-me uma proposição lógica.