--- Log opened Tue Nov 06 00:00:50 2018 20181106 00:02:58-!- zookeeper [~lmsnie@wesnoth/developer/zookeeper] has quit [Ping timeout: 246 seconds] 20181106 00:46:36-!- mattsc [~mattsc@wesnoth/developer/mattsc] has joined #wesnoth 20181106 00:55:28-!- Tobbi [~Tobbi@supertux/tobbi] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…] 20181106 00:55:49-!- celmin|away is now known as celticminstrel 20181106 02:07:10-!- kitsunenokenja [~kitsunech@68.91.220.96] has joined #wesnoth 20181106 02:19:23-!- hk238 [~kvirc@unaffiliated/hk238] has joined #wesnoth 20181106 02:58:03-!- celticminstrel is now known as celmin|Zzzzzz 20181106 04:52:53-!- mattsc [~mattsc@wesnoth/developer/mattsc] has quit [Quit: So long and thanks for all the fish.] 20181106 04:59:13-!- kitsunenokenja [~kitsunech@68.91.220.96] has quit [Ping timeout: 245 seconds] 20181106 05:21:00<+wesdiscordbot> anyone interested in a fun logic puzzle i found? 20181106 05:21:03<+wesdiscordbot> ping me if interested 20181106 05:26:05<+wesdiscordbot> @Joris I am! 20181106 05:26:19<+wesdiscordbot> alright here's one logic puzzle 20181106 05:28:47<+wesdiscordbot> Knights always tell the truth Knaves always lie You encounter three of them in Wesnoth and their names are Ted, Ben and Lil Ted says, "at least one of the following is true, that Lil is a knave or that I am a knight." Ben says, "Ted could claim that I am a knave." Lil says, "neither Ted nor Ben are knights." Which of these three are knights and knaves? 20181106 05:29:42<+wesdiscordbot> (i have a solution to this logic puzzle when you want it. thought you guys might enjoy some brain fun!) 20181106 05:44:13< hk238> :D 20181106 05:50:23<+wesdiscordbot> hmm 20181106 05:51:50<+wesdiscordbot> So if lil is a knave then we know that ted and ben are knights by default. Now its a matter of figuring out if we know ted is a knave 20181106 05:52:33<+wesdiscordbot> wait not necdessarily true if ted is also a knave 20181106 05:52:36<+wesdiscordbot> so nvm 20181106 05:53:22<+wesdiscordbot> what i like to do is figure out all permutations and try to disprove the permutations lol 20181106 06:12:22-!- deathisundead [~quassel@unaffiliated/the-unforgiven/x-8713611] has quit [Read error: Connection reset by peer] 20181106 06:12:56<+wesdiscordbot> T/kni B/kni L/kni is disproved in light of the fact that lil cant be a knight if hes lying about ted and ben not being knights. T/kni B/kni L/kna might be possible, because its possible for both lil to be a knave and for ted to be a knight. It says AT LEAST ONE of the following. T/Kni B/Kna L/Kni is disproved in light of the fact that it doesnt make sense for lil to call ted a non-knight if he is really a knight. T/kni 20181106 06:12:56<+wesdiscordbot> B/kna L/kna might be possible because if he says neither ted nor ben are knights, it is a lie, but it is possible to have a case where ben is a knave and ted is a knight. T/kna B/kna L/kna is disproved in light of the fact that Ted can’t be a knave if its true that lil is a knave, so he would be lying when he says its neither true that lil is a knave nor that hes a knight. T/kna B/kna L/kni might be possible, but i don’t 20181106 06:12:57<+wesdiscordbot> understand because if Ben says ted could claim ben is a knave, then Ted would be lying. But then again Ted would be lying T/kna B/kni L/kna is disproved in light of the fact that both ted and lil can’t be a knight at once. T/kna B/kni L/kni is disproved in light of the fact that Lil is saying that neither Ted nor Ben are knights, but in this case Ben is a knight. 20181106 06:13:09<+wesdiscordbot> Ok gotta disprove the remaining 3 i couldn't figure out x3 20181106 06:14:52-!- deathisundead [~quassel@unaffiliated/the-unforgiven/x-8713611] has joined #wesnoth 20181106 06:16:01<+wesdiscordbot> Hmm but Ben says "Ted could accuse me of being a knave" so that seems to actually disprove T/kni B/kni L/kna... And also T/kni B/kna L/kna since Ben is a knave so he can't tell the truth that Ted could accuse him of being a knave. 20181106 06:16:16<+wesdiscordbot> @Joris Ok I think the solution is that Ted is knave, Ben is knave, and Lil is knight. This right? :D 20181106 06:27:23<+wesdiscordbot> pm'd you the solution. good night everyone! 20181106 06:33:18-!- deathisundead [~quassel@unaffiliated/the-unforgiven/x-8713611] has quit [Read error: Connection reset by peer] 20181106 06:36:22-!- deathisundead [~quassel@unaffiliated/the-unforgiven/x-8713611] has joined #wesnoth 20181106 07:43:43<+wesdiscordbot> I could figure it out independently. Focus on Ben's claim first. "Ben=knight, Ted=knight" isn't possible because then Ted would be lying if he claimed that Ben is a knave. "Ben=knave, Ted=knight" is also impossible because then Ted could indeed claim that Ben is a knave... but now Ben is supposed to be lying. Ergo, Ted is a knave. From there, it follows that both of Ted's claims are false, so Lil is a knight. And Lil says 20181106 07:43:43<+wesdiscordbot> that Ben is a knave. Solution: Ted=knave, Lil=knight, Ben=knave. 20181106 07:56:56<+wesdiscordbot> Haha, so much simpler! xD 20181106 07:58:20<+wesdiscordbot> I have seen similar logic puzzles before. In general, you want to start from a claim of the type "someone else would say X about me". 20181106 07:58:37<+wesdiscordbot> Ooh, hmm 20181106 08:01:18<+wesdiscordbot> but couldnt you just figure out all permutations and disprove them case by case? 20181106 08:01:34<+wesdiscordbot> i mean if theres 8 different variables then thered be a ton of permutations 20181106 08:02:08<+wesdiscordbot> Sure, you can also do that. I think this kind of piecewise solving is easier, though. 20181106 08:02:33<+wesdiscordbot> yeah 20181106 08:07:39-!- Tobbi [~Tobbi@supertux/tobbi] has joined #wesnoth 20181106 08:21:32-!- Haudegen [~quassel@178.115.237.87.static.drei.at] has joined #wesnoth 20181106 08:24:20-!- Tobbi [~Tobbi@supertux/tobbi] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…] 20181106 09:20:09-!- deathisundead [~quassel@unaffiliated/the-unforgiven/x-8713611] has quit [Read error: Connection reset by peer] 20181106 09:22:27-!- deathisundead [~quassel@unaffiliated/the-unforgiven/x-8713611] has joined #wesnoth 20181106 09:26:57-!- zookeeper [~lmsnie@wesnoth/developer/zookeeper] has joined #wesnoth 20181106 11:46:26-!- Haudegen [~quassel@178.115.237.87.static.drei.at] has quit [Remote host closed the connection] 20181106 13:56:25-!- celmin|Zzzzzz is now known as celmin|away 20181106 14:25:11-!- dobson [~dobson@68.ip-149-56-14.net] has quit [Quit: Leaving] 20181106 14:28:45-!- dobson [~dobson@68.ip-149-56-14.net] has joined #wesnoth 20181106 15:24:42-!- sevu [~sevu@edu243012.nat.uni-leipzig.de] has joined #wesnoth 20181106 15:53:06-!- sevu [~sevu@edu243012.nat.uni-leipzig.de] has quit [Ping timeout: 252 seconds] 20181106 16:27:41-!- sevu [~sevu@edu243012.nat.uni-leipzig.de] has joined #wesnoth 20181106 16:48:00-!- Tobbi [~Tobbi@supertux/tobbi] has joined #wesnoth 20181106 16:55:00-!- sevu [~sevu@edu243012.nat.uni-leipzig.de] has quit [Remote host closed the connection] 20181106 17:35:43-!- Tobbi [~Tobbi@supertux/tobbi] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…] 20181106 18:11:44-!- hk238 [~kvirc@unaffiliated/hk238] has quit [Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/] 20181106 19:04:31-!- deathisundead [~quassel@unaffiliated/the-unforgiven/x-8713611] has quit [Ping timeout: 260 seconds] 20181106 19:13:23-!- janebot [~Gambot@unaffiliated/gambit/bot/gambot] has joined #wesnoth 20181106 19:16:56-!- Grickit is now known as Gambit 20181106 19:44:29-!- janebot [~Gambot@unaffiliated/gambit/bot/gambot] has quit [Remote host closed the connection] 20181106 19:44:35-!- janebot [~Gambot@unaffiliated/gambit/bot/gambot] has joined #wesnoth 20181106 19:55:37-!- janebot [~Gambot@unaffiliated/gambit/bot/gambot] has quit [Remote host closed the connection] 20181106 19:55:43-!- janebot [~Gambot@unaffiliated/gambit/bot/gambot] has joined #wesnoth 20181106 20:23:44-!- mattsc [~mattsc@wesnoth/developer/mattsc] has joined #wesnoth 20181106 20:40:14-!- mattsc [~mattsc@wesnoth/developer/mattsc] has quit [Quit: So long and thanks for all the fish.] 20181106 21:45:26-!- kitsunenokenja [~kitsunech@68.91.220.96] has joined #wesnoth 20181106 22:36:53-!- Tobbi [~Tobbi@supertux/tobbi] has joined #wesnoth 20181106 22:53:08-!- kitsunenokenja [~kitsunech@68.91.220.96] has quit [Ping timeout: 272 seconds] 20181106 23:04:23-!- Haudegen [~quassel@178.115.237.87.static.drei.at] has joined #wesnoth 20181106 23:13:39-!- zookeeper [~lmsnie@wesnoth/developer/zookeeper] has quit [Ping timeout: 252 seconds] 20181106 23:18:39-!- janebot [~Gambot@unaffiliated/gambit/bot/gambot] has quit [Remote host closed the connection] 20181106 23:18:45-!- janebot [~Gambot@unaffiliated/gambit/bot/gambot] has joined #wesnoth 20181106 23:48:26-!- Haudegen [~quassel@178.115.237.87.static.drei.at] has quit [Remote host closed the connection] 20181106 23:50:08-!- Tobbi [~Tobbi@supertux/tobbi] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…] --- Log closed Wed Nov 07 00:00:51 2018