Questões Militares Comentadas por alunos sobre tautologia, contradição e contingência em raciocínio lógico

Ainda considerando as informações do texto, julgue os próximos itens.

Considere a proposição composta Z: “Se André é soldado, então Bruno é cabo”, para todas as possíveis valorações V ou F das proposições simples A: “André é soldado” e B: “Bruno é cabo” que tornam Z valorada como V. Para essas mesmas valorações dessas proposições simples, considere também as seguintes proposições.
W: Se André não é soldado, então Bruno não é cabo.
X: Se Bruno é cabo, então André é soldado.
Y: Se Bruno não é cabo, então André não é soldado.
Nesse caso, preenchendo a tabela abaixo, se necessário, é correto concluir que, entre as três proposições W, X e Y, apenas a Y é sempre V.

Ainda considerando as informações do texto, julgue os próximos itens.

Se A e B são proposições, então a proposição A→(¬B) só será F se A e B forem V; em qualquer outro caso, a proposição A→(¬B) será sempre V.

Ainda considerando as informações do texto, julgue os próximos itens.

Se A é a proposição “Todo bom soldado é pessoa honesta”, considere as proposições seguintes:
B Nenhum bom soldado é pessoa desonesta.
C Algum bom soldado é pessoa desonesta.
D Existe bom soldado que não é pessoa honesta.
E Nenhuma pessoa desonesta é um mau soldado.
Nesse caso, todas essas 4 últimas proposições podem ser consideradas como enunciados para a proposição ¬A.

Julgue os itens que se seguem, acerca de proposições e seus valores lógicos.

A proposição (AΛB) -> (AVB) é uma tautologia.

Se N  é  o  conjunto dos números inteiros, então a proposição (∀x)(x ∈ N) [ (x - 1) x (x + 1) é divisivel por 3] é julgada como V.