Acerca da construção de tabelas-verdade, assinale a opção que apresenta os elementos da última coluna da tabela, tomados de cima para baixo.

Alternativa B - V, F, F e F.

Para resolver esta questão, precisamos construir a tabela-verdade da proposição composta: (R \to T) \leftrightarrow R

Os operadores utilizados são:

• \to (Condicional/Implicação): Só é falso quando o primeiro termo é Verdadeiro (V) e o segundo é Falso (F). Em todos os outros casos, é verdadeiro.
• \leftrightarrow (Bicondicional/Equivalência): É verdadeiro apenas quando ambos os lados têm o mesmo valor lógico (ambos V ou ambos F).

Passo a Passo do Cálculo

Vamos analisar cada linha da tabela, seguindo a ordem padrão de construção (VV, VF, FV, FF):

1. Linha 1 (R=V, T=V):

• Primeiro operamos a implicação: (V \to V) resulta em V.
• Depois a equivalência com R: (V \leftrightarrow V) resulta em V.

1. Linha 2 (R=V, T=F):

• Primeiro operamos a implicação: (V \to F) resulta em F.
• Depois a equivalência com R: (F \leftrightarrow V) resulta em F.

1. Linha 3 (R=F, T=V):

• Primeiro operamos a implicação: (F \to V) resulta em V (antecedente falso torna a implicação verdadeira).
• Depois a equivalência com R: (V \leftrightarrow F) resulta em F.

1. Linha 4 (R=F, T=F):

• Primeiro operamos a implicação: (F \to F) resulta em V.
• Depois a equivalência com R: (V \leftrightarrow F) resulta em F.

Tabela Preenchida

Abaixo está a representação visual do resultado obtido:

Conclusão

A sequência dos valores da última coluna, de cima para baixo, é V, F, F e F. Isso corresponde exatamente à Alternativa B.