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.
Uma dedução é uma sequência de proposições em que algumas são premissas e as demais são conclusões. Uma dedução é denominada válida quando tanto as premissas quanto as conclusões são verdadeiras. Suponha que as seguintes premissas sejam verdadeiras.
I Se os processos estavam sobre a bandeja, então o juiz os analisou.
II O juiz estava lendo os processos em seu escritório ou ele estava lendo os processos na sala de audiências.
III Se o juiz estava lendo os processos em seu escritório, então os processos estavam sobre a mesa.
IV O juiz não analisou os processos.
V Se o juiz estava lendo os processos na sala de audiências, então os processos estavam sobre a bandeja.
"Os processos não estavam sobre bandeja" é uma conclusão verdadeira.
