Buscar

Considerando as seguintes posições lógicas: Carlos estuda ou não está cansado. Se Carlos estuda, então dorme tarde. Carlos não dorme tarde ou está ...

Considerando as seguintes posições lógicas:
Carlos estuda ou não está cansado.
Se Carlos estuda, então dorme tarde.
Carlos não dorme tarde ou está cansado.
Logo: Carlos está cansado se e somente se estuda.
E nomeando as proposições como:
t: Carlos estuda.
q: Carlos está cansado.
r: Carlos dorme tarde.
Assinale a alternativa que mostra um argumento CORRETAMENTE relacionado às proposições lógicas anteriores:

A) t v ~q, t →r, ~r v q q ↔ t.
B) t v ~q, t →r, ~r v q Ⱶ q t.
C) t v q, t →r, r v q Ⱶ q ↔ t.
D) t v ~q, t →r, ~r v q Ⱶ q ↔ t.
E) t v ~q, t →r, ~r ^ q Ⱶ q ↔ t.

Essa pergunta também está no material:

Lógica Computacional
2 pág.

Introdução à Lógica Computacional Universidade Estácio de SáUniversidade Estácio de Sá

💡 1 Resposta

User badge image

Ed Verified user icon

Vamos analisar as alternativas: A) t v ~q, t →r, ~r v q Ⱶ q ↔ t. B) t v ~q, t →r, ~r v q Ⱶ q t. C) t v q, t →r, r v q Ⱶ q ↔ t. D) t v ~q, t →r, ~r v q Ⱶ q ↔ t. E) t v ~q, t →r, ~r ^ q Ⱶ q ↔ t. A alternativa correta é a letra D) t v ~q, t →r, ~r v q Ⱶ q ↔ t.

0
Dislike0

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

✏️ Responder

SetasNegritoItálicoSublinhadoTachadoCitaçãoCódigoLista numeradaLista com marcadoresSubscritoSobrescritoDiminuir recuoAumentar recuoCor da fonteCor de fundoAlinhamentoLimparInserir linkImagemFórmula

Para escrever sua resposta aqui, entre ou crie uma conta

User badge image

Outros materiais