Ensino Superior ⇒ Questão de dedução natural

Poste aqui problemas sobre assuntos estudados no Ensino Superior (exceto os cobrados em concursos públicos e escolas militares).

Moderador: [ Moderadores TTB ]

Responder
Avatar do usuário
Autor do Tópico
luizgaraujo
iniciante
Mensagens: 1
Registrado em: Seg 22 Abr, 2019 13:14
Última visita: 21-05-19
Abr 2019 22 13:20

Questão de dedução natural

Mensagem não lidapor luizgaraujo » Seg 22 Abr, 2019 13:20

Mensagem não lida por luizgaraujo »

Como se resolve essa questão?

Considere o seguinte trecho do livro "Um Estudo em Scarlet" de Sir Arthur Conan Doyle, em mais uma das aventuras de Sherlock Homes.

"O incidente não foi latrocínio pois nada foi levado, mas sim um assassinato. Foi um crime político ou foi uma mulher. Esta foi a pergunta que me deparei. Eu estava apostando na segunda hipótese ao invés da primeira. Assassinos políticos se contentam em fazer o serviço com rapidez e somem. Este assassino, fez o contrário disto e de forma deliberada, pois deixou rastros em toda sala, mostrando que esteve lá o tempo todo?"

Considere como proposições atômicas

[tex3]p_1:[/tex3] "Foi um roubo."
[tex3]p_2:[/tex3] "Alguma coisa foi levada."
[tex3]p_3:[/tex3] "Foi um crime político."
[tex3]p_4:[/tex3] "Foi uma mulher"
[tex3]p_5:[/tex3] "O assassino saiu imediatamente."
[tex3]p_6:[/tex3] "O assassino deixou seu rastro por toda a sala."

Descreva em fórmulas proposicionais (premisas [tex3]\Delta[/tex3] ), utilizando [tex3]p_1[/tex3] , [tex3]p_2[/tex3] , [tex3]p_3[/tex3] , [tex3]p_4[/tex3] , [tex3]p_5[/tex3] e [tex3]p_6[/tex3] , e prove que [tex3]p_4[/tex3] por
a) Dedução Natural que suas premissas tem como consequente [tex3]p_4[/tex3]
b) refutação com resolução que [tex3]\Delta \vDash p_4[/tex3]
Última edição: caju (Seg 22 Abr, 2019 15:20). Total de 1 vez.
Razão: retirar o enunciado da imagem.


Voltar ao topo
Responder
  • Tópicos Semelhantes
    Respostas
    Exibições
    Última msg

Voltar para “Ensino Superior”