Questões sobre Tabela Verdade

Considerando a proposição "Nesse processo, três réus foram absolvidos e os outros dois prestarão serviços à comunidade", simbolizada na forma AvB, em que A é a proposição "Nesse processo, três réus foram absolvidos" e B é a proposição "Nesse processo, dois réus prestarão serviços à comunidade", julgue os itens que se seguem.

É correto inferir, após o preenchimento da tabela abaixo, se necessário, que a tabela-verdade da proposição "Nesse processo, três réus foram absolvidos, mas pelos menos um dos outros dois não prestará serviços à comunidade" coincide com a tabela-verdade da proposição simbolizada por ¬(A→B).

Texto para os itens de 36 a 45

A negação da proposição P é a proposição R: "Mário não pratica natação nem judô", cuja tabela-verdade é a apresentada ao lado.

Assinale a opção correspondente à proposição composta que tem exatamente 2 valores lógicos F e 2 valores lógicos V, para todas as possíveis atribuições de valores lógicos V ou F para as proposições A e B.

A)

B)

C)

D)

E)

A lógica formal representa as afirmações que os indivíduos fazem em linguagem do cotidiano para apresentar fatos e se comunicar. Uma proposição é uma sentença que pode ser julgada como verdadeira (V) ou falsa (F) (embora não se exija que o julgador seja capaz de decidir qual é a alternativa válida). Para designar as proposições, usam-se freqüentemente as letras maiúsculas do alfabeto: A, B, C etc.

Na comunicação entre indivíduos, combinam-se proposições por meio de conectivos, como "e", indicado pelo símbolo v, e "ou", indicado por w, para formar proposições compostas mais complexas. Usa-se também o modificador "não", indicado pelo símbolo ¬, para produzir a negação de uma proposição. Proposições A e B podem ser combinadas na forma "se A, então B" — ou A implica B —, indicada por A ÷ B, em que o conectivo ÷ é o condicional ou implicação.

O julgamento de uma proposição composta depende do julgamento que se faz de suas proposições componentes mais simples.

Por exemplo, considerando-se todos os possíveis julgamentos, ou valorações, V ou F das proposições simples A e B, tem-se a seguinte tabela-verdade para as proposições compostas indicadas.

Considerando-se as possíveis valorações V ou F das proposições A e B e completando-se as colunas da tabela abaixo, se necessário, é correto afirmar que a última coluna dessa tabela corresponde à tabela-verdade da proposição

A coluna da tabela-verdade da proposição composta (A→B)→((¬B)→(¬A)) conterá somente valores lógicos V, independentemente dos valores lógicos de A e B.