Conteúdo do teste Pergunta 1 0,25 Pontos Considerando as seguintes posições lógicas: Carlos estuda ou não está cansado. Se Carlos estuda, então ...
Conteúdo do teste Pergunta 1 0,25 Pontos 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: p: Carlos estuda. q: Carlos está cansado. r: Carlos dorme tarde. Considerando, então, expressar o argumento anterior desta forma: p v ~q, p →r, ~r v q Ⱶ q ↔ p Qual é a demonstração CORRETA para este argumento?
💡 1 Resposta
Ed 
A demonstração correta para este argumento é: 1. p v ~q (premissa) 2. p → r (premissa) 3. ~r v q (premissa) 4. ~p v q (da 1, por disjunção) 5. ~q → ~p (da 4, por contrapositiva) 6. ~q v r (da 2, por modus ponens) 7. q v ~q (da 3 e 6, por silogismo disjuntivo) 8. ~(q ^ ~p) (da 5, por redução ao absurdo) 9. q → p (da 8, por contrapositiva) 10. p ↔ q (da 4 e 9, por bicondicional) Portanto, a demonstração correta é a número 10, onde concluímos que "Carlos está cansado se e somente se estuda".
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta
Outros materiais
Perguntas relacionadas
Materiais relacionados
1 pág.
1 pág.
2 pág.
Compartilhar