Texto para os itens de 36 a 45
Denomina-se proposição toda frase que pode ser julgada como verdadeira — V — ou falsa — F —, mas não como V e F simultaneamente. As proposições simples são aquelas que não contêm mais de uma proposição como parte. As proposições compostas são construídas a partir de outras proposições, usando-se símbolos lógicos e parênteses para evitar ambiguidades. As proposições são usualmente simbolizadas por letras maiúsculas do alfabeto: A, B, C etc. Uma proposição composta na forma AVB, chamada disjunção, é lida como “A ou B” e tem valor lógico F se A e B são F, e V, nos demais casos. Uma proposição composta na forma A∧B, chamada conjunção, é lida como “A e B” e tem valor lógico V se A e B são V, e F, nos demais casos. Uma proposição composta na forma A→B, chamada implicação, é lida como “se A, então B” e tem valor lógico F se A é V e B é F, e V, nos demais casos. Além disso, ¬A, que simboliza a negação da proposição A, é V se A for F, e é F se A for V.
Caso a proposição "No Brasil havia, em média, em 2007, seis juízes para cada 100 mil habitantes na justiça do trabalho estadual, mas, no estado do Espírito Santo, essa média era de 13 juízes" tenha valor lógico V, também será V a proposição "Se no Brasil não havia, em média, em 2007, seis juízes para cada 100 mil habitantes na justiça do trabalho estadual, então, no estado do Espírito Santo, essa média não era de 13 juízes".
