Se a proposição simbolizada porfor um argumento válido, entã...

Próximas questões
Com base no mesmo assunto
Q47208 Raciocínio Lógico
A lógica sentencial, ou proposicional, trata das
sentenças, ou proposições, passíveis de receberem um, e apenas
um, entre os dois valores lógicos: falsa (F) ou verdadeira (V).
É usual simbolizar as proposições por letras maiúsculas do
alfabeto e construir novas proposições usando-se símbolos
lógicos. A proposição simbolizada por ¬A, a negação da
proposição A, terá valor lógico V, se A for F, e valor lógico F, se
A for V. A proposição simbolizada por AImagem 005.jpgB, lida como "A ou
B", terá valor lógico F quando A e B forem F, e, nos demais
casos, será V. A proposição simbolizada por AImagem 006.jpgB, lida como "se
A, então B", ou "B é condição necessária para A", terá valor
lógico F quando A for V e B for F, e, nos demais casos será V.
A proposição simbolizada por AImagem 007.jpgB, que se lê "A e B", terá
valoração V quando A e B forem V, e, nos demais casos, será F.
Um argumento é denominado válido, ou correto, se,
simbolizado por Imagem 002.jpgfor uma tautologia, isto é,
for valorado sempre como V.

Com base nessas definições, julgue os itens a seguir.

Se a proposição simbolizada porImagem 003.jpgfor um argumento válido, então a proposição Imagem 004.jpgserá falsa.
Alternativas

Gabarito comentado

Confira o gabarito comentado por um dos nossos professores

Fazendo a Tabela - verdade para verificarmos de maneira mais rápida:


ABCA ^ B → CA ^ B ^ (~C)
VVVVF
VVFFV
VFVVF
VFFVF
FVVVF
FVFVF
FFVVF
FFFVF

Resposta: certo.

Clique para visualizar este gabarito

Visualize o gabarito desta questão clicando no botão abaixo

Comentários

Veja os comentários dos nossos alunos

 Questão CORRETA.

 

Nota-se que na proposição composta que a alternativa diz ser falsa só foi usado o conectivo E (^), isto torna a questão fácil, ou seja, tanto o A, o B e a negação de C têm que ter valores VERDADEIROS para a proposição ser verdadeira (regra do conectivo E).

 

Se a negação de C tem que ser VERDADE, logo, o C é falso.

Se o C é falso, A^B não pode ser verdadeiro, pois V então F, que é o argumento válido trazido pela questão, é falso. Se a questão diz que o argumento é válido, ele realmente é válido, temos que acreditar nisso, logo, o valor de A^B tem que ser falso OBRIGATORIAMENTE, senão o argumento não é válido.

Se A^B tem que ser falso, significa que ou o A ou o B tem que ser falso (regra do E, um falso tudo falso). 

Sendo ou o A ou o B falso, torna a proposição A ^ B ^ ~C falsa.

Para

A e B => C ser verdade obrigatoriamente A,B e C são verdadeiros

logo A E B e (nC)

              V e (nV) = V e F , logo F

A     B      C      ~C      P(A^B)      P->C      P^C
V     V      V        F          V                 F            V                 
V     F      F        V          F                 V            F
F     V      V       F           F                 V            F
F     F      F       V           F                 V            F

Eu pensei assim:
vejam que nas linhas onde A^B->C são verdadeiros, A^B^~C são falsos. Então, quando o primeiro argumento for válido, o 2º argumento será falso.
 
Fiz apenas negando o primeiro, então achei a mesma forma do segundo. 

Fiquei perdido nessa questão pessoal, alguém pode me ajudar? O que signifca ser um argumento válido?

Muito obrigado, bons estudos e muito foco!

Clique para visualizar este comentário

Visualize os comentários desta questão clicando no botão abaixo