Questão de Proposições Lógicas — CESPE / CEBRASPE · 2006

Texto para o item. Uma proposição é uma frase que pode ser avaliada como verdadeira (V) ou falsa (F). A frase O Estado do Acre fica na região Norte do Brasil, por exemplo, é uma proposição V, mas a frase Qual é a cor do mar? não é uma proposição, porque não pode ser avaliada nem como V nem como F. Na lógica das proposições — a lógica proposicional —, as proposições básicas são representadas por letras maiúsculas do alfabeto, tais como A, B, C etc. Os símbolos lógicos ¬, v, w e 6 são usados, respectivamente, para negar uma proposição, para realizar uma conjunção de proposições (e), para realizar uma disjunção de proposições (ou) e para realizar uma implicação entre proposições, gerando proposições compostas. Desse modo, ¬A (lê-se: não A) é F se A for V e é V se A for F; A v B (lê-se A e B) é V se A e B forem V, caso contrário, é F; A w B (lê-se: A ou B) é F se ambas as proposições, A e B, forem F, caso contrário, é V; e, finalmente, A 6B (lê-se: se A então B) é F se A for V e B for F, caso contrário, é V. Diz-se que duas proposições compostas são equivalentes quando têm, para todas as valorações possíveis de suas proposições básicas, as mesmas avaliações V ou F. Proposições das formas A 6 B, ¬A w B e ¬B 6 ¬A são sempre equivalentes. A partir dessa informação e das definições incluídas no texto, julgue o item a seguir. As proposições “Se Hélio é conselheiro do TCE/AC, então Hélio é formado em Contabilidade” e “Hélio não é conselheiro do TCE/AC ou Hélio é formado em Contabilidade” são equivalentes.