Na lógica matemática, proposição é toda oração declarativa, de sentido completo, para a qual se associa apenas um dos dois atributos: verdadeiro ou...

Na lógica matemática, proposição é toda oração declarativa, de sentido completo, para a qual se associa apenas um dos dois atributos: verdadeiro ou falso, constituindo o que chamamos de lógica bivalente. As proposições podem ser simples ou compostas, onde a proposição simples não contém qualquer outra proposição como parte integrante de si mesma e a proposição composta é formada por duas ou mais proposições simples unidas por conetivos, como por exemplo “e”, “ou”, “se... então...”, “se, e somente se,” e “não”. A partir da definição dos operadores lógicos é possível determinar o valor lógico de uma proposição composta e utilizar esses conceitos em problemas aplicados, como por exemplo na lógica de programação. Grande parte das linguagens de programação têm internamente conectivos lógicos e a combinação desses conectivos fornece um valor lógico final. Em um programa, o comando representado pela condicional executa uma tarefa caso o valor lógico de uma expressão dada seja verdadeiro e executa outra tarefa, se o valor lógico for falso. Acompanhe: Descrição da imagem não disponível Neste contexto: Determine a saída do comando para o caso de a = 9 e b = 16.