Questões sobre Tabela Verdade

Na tabela abaixo, a última coluna da direita corresponde à tabela-verdade da proposição (¬A)/B→¬(A/B).

Ainda com base nas definições do texto, é correto afirmar que a proposição simbolizada por ((¬A)VB)(AV(¬B)) possui os mesmos valores lógicos que a proposição simbolizada por

Proposições simples são simbolizadas por letras maiúsculas, e as proposições compostas são construídas com o uso de conectivos. Uma proposição composta, da forma AvB, é lida como "A e B" e é avaliada como V quando A e B são ambas V, e, nos demais casos, é F, uma proposição composta, da forma A÷B, é lida como "se A, então B" e é avaliada como F quando A é V e B é F, e, nos demais casos, é V. Uma proposição composta, da forma ¬A, é a negação de A e é V quando A é F, e é F quando A é V. Parênteses podem ser usados para agrupar as proposições e evitar ambigüidades. A partir dessas definições, julgue os itens a seguir. Se A, B e C são proposições simples, então existem exatamente duas possibilidades para que a proposição (AvB)vC seja avaliada como V.

O Programa Água Doce constitui iniciativa do governo federal no sentido de garantir acesso a água de qualidade para todos. Coordenado pela Secretaria de Recursos Hídricos e Ambiente Urbano do MMA, o programa tem como objetivo estabelecer uma política pública permanente de acesso à água potável, com foco na população de baixa renda do semi-árido brasileiro. Para isso, promove a implantação, a recuperação e a gestão de sistemas de dessalinização da água, minimizando os impactos ambientais, captando a água subterrânea salobra, extraindo dela os sais solúveis e tornando-a adequada para o consumo humano.

Com base nessas informações e no texto de definições precedentes, julgue os itens subseqüentes.

Toda proposição da forma tem somente valores lógicos V.

Considere a tabela acima, que contém valorações de proposições simples A, B e C. Nesse caso, assinale a opção correspondente à proposição composta a partir de A, B e C que é sempre V para cada linha de valorações de A, B e C conforme a tabela.