Questão Q27475

A lógica proposicional trata de argumentações elaboradas por meio de proposições, isto é, de declarações que podem ser julgadas como verdadeiras (V) ou falsas (F), mas nunca como V e F simultaneamente. As proposições normalmente são simbolizadas por letras maiúsculas do alfabeto e alguns símbolos lógicos são usados para compor novas proposições. Uma conjunção, proposição simbolizada por A Λ B, é lida como "A e B" e julgada como V somente quando A e B forem V, e F, nos demais casos. Uma implicação, proposição simbolizada por A➜B, é lida como "se A, então B", e julgada como F somente quando A for V e B for F, e V nos demais casos.

A lógica de primeira ordem também trata de argumentações elaboradas por meio de proposições da lógica proposicional, mas admite proposições que expressem quantificações do tipo "todo", "algum", "nenhum" etc.

A partir dessas notações e definições, julgue o item que se segue.

Considerando que as proposições A, B, B➜C e [A Λ B]➜[C➜D] sejam V, então a proposição D será,obrigatoriamente, V.

Alternativas

Certo

Errado

Comentários

Considere o enunciado correto como:Considerando que as proposições A, B, B->C e[AvB]->[C->D] sejam V, então a proposição D será,obrigatoriamente, V.Montando o esquema todo:A(v)B(v)B(v) -> C(v)[A(v) v B(v)]->[C(v) -> D(v)]------------------------------D(v) = Conclusão verdadeira!
A                                (v)
B                                (v)
[A e B] -> [C -> D]    (v)
resolvendo:
[V e V] -> [V -> D]
[V] -> [V -> D], se o primeiro termo da implicação é V e o segundo termo é V, o resultado será V.
portanto, D deve ser V, vejamos:
[V] -> [V -> V], substituindo D
[V] -> [V], será V. Questão correta.
...Uma conjunção, proposição simbolizada
por AvB, é lida como "A e B"... aqui no caso era pra ser A OU B

O que está em negrito doi erro de digitação do site ou da prova!? Pq se foi da prova cabe recurso!
O erro de digitação muda totalmente o sentido da questão.

Onde tem "B÷C ", na realidade, é B->C. Podem olhar a prova mesmo. Da forma como a questão está, entende-se que B ou C é V. Nesse caso, C poderia ser F. Se C poderia ser F, não necessariamente D precisaria ser V.

Resumindo a conversa, a digitação muda a resposta da questão.
A = V
B = V
C = V

A (V) e B (V) -> C (V) -> D

V -> V --> D

como a proposição é V no antecedente, terá obrigatóriamente ser V no consequente para se tornar correta.

Assim, o valor de D obrigatoriamente será V
Essa questao ta bem maliciosa....

na parte onde tem [A^B] -> [C->D]

Se A ou B for Falso no primeiro colchete isso significa que sera Falso, pois para ser verdadeiro os 2 deve ser V.

ou seja, supondo que o primeiro colchete é falso [A^B], continuando no [C->D], nao necessariamente D deve ser verdadeiro, pois F F no se entao é verdadeiro.

[A^B] -> [C->D]
F    -->     F      = verdadeiro

Mas a questao é clara em dizer que A, B, B ->C sao verdadeiras,

   e que tambem é verdadeiro, logo:
                 V      -->   V          se D for verdadeiro = verdadeiro
                 V     -->    F          se D for falso          = falso

questao correta!!
Eu resolvi de uma maneira bem prática e didática essa questão, só olhar a imagem abaixo
https://scontent-gru2-1.xx.fbcdn.net/hphotos-xpf1/v/t34.0-12/12476332_1044910782215289_810645201_n.jpg?oh=4d193aca6984791f5d33244426b7eeb5&oe=56893C5D
William, seu url não dá certo!
Entendi não
):
nao concordo com a banca, ela faz essa afimaçao pegando todo o conjunto: Considerando que as proposições A, B, B➜C e [A Λ B]➜[C➜D] sejam V, então a proposição D será, logo: ela afrma que D E verdadeira e depois ela fala que D obrigatoriamente tem que V?

depois ela deixa entender que somente A,B,C sao verdadeira e pergunta que obrigatoriamente D E V ? nao entendo pois ela esta fazendo uma pergunta ou seja uma duvida, logo D pode se V ou F
Simples, se D for falso haverá a possibilidade da proposição ser falsa e para a não ocorrência do fato o D deve ser verdadeiro ai não importará os outros valores, pois com D = V será ela sempre Verdade.

SóProvas

Continue usando...

O que está incluso