# data[].attributes.body
As palavras ou expressões como “e”, “penso que”, “acredito que”, “ou”, “mas”, “se…então”, etc, chamam-se operadores proposicionais. Ligadas a determinada (s) proposição(ões) elas permitem formar novas proposições.

√Dentro dos operadores proposicionais, chamam-se operadores verofuncionais – operadores lógicos ou conectivas proposicionais – quaisquer operadores que nos permitam, uma vez conhecidos os valores de verdade das proposições simples, determinar, apenas com base nessa informação, o valor de verdade da proposição complexa resultante. Nessa altura, diz-se que a proposição complexa é uma função de verdade.

# data[].attributes.body
Uma tabela de verdade é um dispositivo gráfico que elenca, na coluna da esquerda, as combinações possíveis de valores de verdade das proposições simples que a compõem. Depois, à direita, apresenta o valor de verdade da proposição complexa em cada uma dessas possibilidades (de acordo com a regra do conector). Ex. Bicondicional.

A construção de tabelas de verdade para fórmulas com mais de uma conectiva obedece a algumas regras, que vamos agora precisar. Os valores de verdade de cada conectiva devem ser calculados ordenadamente, começando pela conectiva com menor âmbito. A conectiva principal é a última a ser calculada.

# data[].attributes.body
Negação - Inverte o valor de verdade.

Conjunção- Só é verdadeira quando ambas as conjuntas são verdadeiras (V).

Disjunção inclusiva- Basta uma das disjuntas serem verdadeiras (V) para a disjunção ser verdadeira, só é falsa (F) se ambas as disjuntas forem falsas.

Disjunção exclusiva- Ela diz-nos que apenas é verdadeira (V) quando uma das disjuntas é verdadeira (V) e a outra é falsa (F), ou seja, em situações como as seguintes VF ou FV

Condicional - Só é falsa quando é VF (antecedente –V e consequente F)

Bicondicional - Só é verdadeira quando ambos os valores são VV ou FF

# data[].attributes.body
A primeira diferença face às tabelas que vimos anteriormente é, na coluna da esquerda, o acréscimo de combinações possíveis.

A Bicondicional tinha duas proposições(P ↔ Q), pelo que só havia quatro valores de verdade possíveis a considerar.

Ora, nesta fórmula temos três proposições (P, Q e R), (P V Q) → R., a que se aplicam, portanto, oito combinações possíveis. Cada nova proposição introduzida (e simbolizada por uma nova letra) duplica o número de combinações possíveis.

Passemos agora ao cálculo das várias conectivas.

Começamos pela disjunção, (P V Q), que é o conector de menor âmbito e em seguida calculamos a condicional, que é a conectiva principal.

# data[].attributes.body
E seguidamente calculamos a condicional, que é a conectiva principal. Para o fazer partimos dos valores de verdade obtidos no cálculo da disjunção, que correspondem à antecedente da proposição complexa, e consideramos R a proposição consequente. Assim:

# data[].attributes.attachment_caption
Como todas as circunstâncias possíveis na fórmula é “V” podemos concluir que é uma tautologia.

# data[].attributes.body
Tautologias: quando a fórmula proposicional tem o valor V em todas as combinações possíveis:

Considere-se a seguinte fórmula proposicional: (P V¬ P)

# data[].attributes.attachment_caption
Como todas as circunstâncias possíveis na fórmula é “F” podemos concluir que é uma contradição.

# data[].attributes.body
Contraditórias: quando a fórmula tem o valor F em todas as possíveis combinações:

No entanto, se analisarmos a fórmula (P ⋀¬ P)

# data[].attributes.attachment_caption
Dado que o resultado final apresenta valor de “F ” em algumas circunstâncias e V numa outra circunstância, estamos perante uma contingência

# data[].attributes.body
Contingentes: quando a fórmula tem o valor de F em algumas circunstâncias e V noutras:

Considere-se a seguinte fórmula proposicional: ¬ (P ⋀¬ Q)

# data[].attributes.attachment_link.title
Tabelas de verdade e argumentos - RTP Ensina

# data[].attributes.attachment_link.description
Conhece tudo sobre como usar tabelas de verdade para testar a validade de argumentos e, como construir sequências de tabelas de verdade.