tag:blogger.com,1999:blog-7339313220981734507.post1527628160895358250..comments2024-01-26T22:56:25.340-08:00Comments on Marathoncode: 6 problemas lógicosWladimir Araújo Tavareshttp://www.blogger.com/profile/13694283532300173848noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-7339313220981734507.post-45234260288395032202017-08-02T17:07:51.119-07:002017-08-02T17:07:51.119-07:00Quanto ao Problema 2, com estes dizeres:
o A diz ...Quanto ao Problema 2, com estes dizeres:<br /><br />o A diz "Eu sou bandido e B e um cavaleiro“<br />o B diz "Exatamente um de nos três é um cavaleiro"<br /><br />Pelas definições de "cavaleiro" e "bandido", A não poderia ter dito o que disse, pois:<br />1. Se reconhece que é bandido, não é bandido, pois fala uma verdade;<br />2. Se não é bandido e diz que é, é de fato bandido, pois mente.<br /><br />Problema, portanto, insolúvel.<br /><br />Na vida real, podem, teoricamente, ocorrer três tipos de pessoas:<br />1. "Bandidos", que querem enganar outrem sempre que possível, e para conseguir o maior número de ocorrências positivas (enganar), devem dosar cuidadosamente afirmações mentirosas e afirmações verdadeiras;<br />2. "Cavalheiros", que preferem morrer a contar uma só mentira;<br />3. "Bandilheiros", que em geral procuram falar a verdade, só mentindo ocasionalmente.tudoporfazerhttps://www.blogger.com/profile/09028703017051078493noreply@blogger.comtag:blogger.com,1999:blog-7339313220981734507.post-79955162854966590982015-08-13T03:12:37.802-07:002015-08-13T03:12:37.802-07:00Alguém ai pode postar todas as respostas?
Gradic...Alguém ai pode postar todas as respostas? <br /><br />Gradicidu. Anonymoushttps://www.blogger.com/profile/11226304306836823499noreply@blogger.comtag:blogger.com,1999:blog-7339313220981734507.post-25784827363223276552012-10-10T12:21:31.608-07:002012-10-10T12:21:31.608-07:00P6:
p = Vou comer o meu chapéu
q = O hipopotamo co...P6:<br />p = Vou comer o meu chapéu<br />q = O hipopotamo come bolotas<br />a = Crescerão carvalhos na África<br />b = Esquilos hibernam no inverno<br /><br /><br />Hipoteses:<br />1 ¬p<br />2 ¬q -> a<br />3 ¬a -> b<br />4 q /\ b -> p<br /><br />por dedução natural, ¬p faz com que ¬(q /\ b) seja válido. Isso é o mesmo que ¬q \/ ¬b...<br />se ¬q, entao a. (linha 2)<br />Se ¬b, então a também (linha 3)<br />logo, pela exclusão do \/, temos que "a".Anonymoushttps://www.blogger.com/profile/10193923577816357945noreply@blogger.comtag:blogger.com,1999:blog-7339313220981734507.post-71116691495811357612012-08-23T19:20:47.007-07:002012-08-23T19:20:47.007-07:00Os quatro primeiros eu consegui, mas os dois últim...Os quatro primeiros eu consegui, mas os dois últimos eu não entendi.Bonilhahttps://www.blogger.com/profile/17338867599883324906noreply@blogger.com