Se a proposição simbolizada porfor um argumento válido, entã...
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 AB, 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 AB, 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 AB, 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 for uma tautologia, isto é,
for valorado sempre como V.
Com base nessas definições, julgue os itens a seguir.
- Gabarito Comentado (1)
- Aulas (7)
- Comentários (23)
- Estatísticas
- Cadernos
- Criar anotações
- Notificar Erro
Gabarito comentado
Confira o gabarito comentado por um dos nossos professores
A | B | C | A ^ B → C | A ^ B ^ (~C) |
V | V | V | V | F |
V | V | F | F | V |
V | F | V | V | F |
V | F | F | V | F |
F | V | V | V | F |
F | V | F | V | F |
F | F | V | V | F |
F | F | F | V | F |
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
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.
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