Формальную логику - в школе?! drknn, не смеши меня, пожалуйста.
В школе ничто не дается формально - и незачем это. Формальные строгости - это именно для универов (даже не для институтов). К чему они школьникам, которые должны выйти в жизнь с более-менее туманным представлением о том, что есть в современной культуре, - и о том, чем им хотелось бы заниматься?
Колмогоров ввел основы высшей математики в старших классах. Похоже, что эксперимент провалился: "вышку" толком усваивают не больше 10-20% учеников. (А из тех, кто заканчивает высшее техническое заведение, подавляющее большинство забывает основы "вышки" уже на 4-5 курсах.)
Для справки: Формальный - это подчиняющийся правилам. Неформальный (неформал) - не признающий правил. Столкнулся кгода-то с этими двумя терминами в учебнике логики для гумманитариев.
Вобщем, в школе обучение как раз-таки и формализовано. Оно идёт чётко по заранее составленной программе. Не путай больше эти термины - я сам когда-то путался...
Формальная логика - наука о мышлении. Я бы сказал, что это наука о том, как делать выводы. А термин "формальная" здесь указывает на то, что существуют ПРАВИЛА того как нужно делать выводы (то есть, формализация процесса мышления (или построения вывода))
Вообще, последние задачки про "лжецов и честных" - вариации на тему задачек Смиллиана (неужели не слышали?))), ктр. в свою очередь опираются на античные греческие загадки.
Вот еще одна вариация:
Есть три бога: A, B и C, которые являются богами истины, лжи и случая в произвольном порядке. Бог истины всегда говорит правду, бог лжи — всегда обманывает, бог случая может говорить и правду, и ложь в произвольном порядке. Требуется определить богов, задав 3 вопроса, на которые можно ответить «да» или «нет». Каждый вопрос задаётся только одному богу. Боги понимают язык, но отвечают на своём языке, в котором есть 2 слова «da» и «ja», причём неизвестно, какое слово обозначает «да», а какое «нет». === Можно задавать одному богу более чем один вопрос (поэтому другим богам может быть не задано ни одного вопроса вообще). Каков будет следующий вопрос и кому он будет задан, может зависеть от ответа на предыдущий вопрос. Бог случая отвечает случайным образом, зависящим от подбрасываний монетки, спрятанной в его голове: если выпадет аверс, то отвечает правдиво, если реверс — то врёт. Бог случая отвечает «da» или «ja» на любой вопрос, на который можно ответить «да» либо «нет». Нельзя задавать вопросы - "парадоксы", на которые можно ответить и "da" и "ja", или никак нельзя ответить. К примеру, "Ты сейчас ответишь "da"?
Limon>>: Помогите!!!! Час уже себе мозг ломаю!!!! Подумайте еще кто нибудь! Условия задачи вообще со одними переменными :))) Про двери не реально было самому вопрос придумать, а тут ..... !
这里有一个更复杂的版本。(摘自《逻辑》一书)
在你面前有两个棺材。其中一个包含一个宝贵的纪念品。如果你设法找出哪个盒子（右边或左边）装有纪念品，只需向保管人问一个问题就可以得到它。你应该考虑到，第一，守门人只会回答 "是 "或 "不是"；第二，如果他心情好，他会给出正确的答案，如果他心情不好，他会回答错误的事情；第三，你不知道守门人是什么心情。提出问题。
资料来源：V-N-门希科夫《逻辑问题》。- K.；敖德萨：高等学校，1989。- 344с.- 表1，插图。55.- 参考文献。28个标题。书名：5-11-001395-0
我马上告诉你--我不知道答案，而且书中也没有答案。由于这是一本关于逻辑学的书，作者显然决定，一个人应该向自己证明，他找到的答案是真的。用逻辑上的必然性来证明它。我自己从来没有尝试过解决这个问题--我将在闲暇时思考:)
我从第79页上取了zadacha。我只能补充说，它就在"逻辑操作"这一主题之后。真理表"。也就是说，首先，它与关于哲亚和萨沙的问题是同一类问题，其次，题目本身（"逻辑运算。 真理表"）给我们暗示了其解决方法。
Формальную логику - в школе?! drknn, не смеши меня, пожалуйста.
В школе ничто не дается формально - и незачем это. Формальные строгости - это именно для универов (даже не для институтов). К чему они школьникам, которые должны выйти в жизнь с более-менее туманным представлением о том, что есть в современной культуре, - и о том, чем им хотелось бы заниматься?
Колмогоров ввел основы высшей математики в старших классах. Похоже, что эксперимент провалился: "вышку" толком усваивают не больше 10-20% учеников. (А из тех, кто заканчивает высшее техническое заведение, подавляющее большинство забывает основы "вышки" уже на 4-5 курсах.)
遗憾的是，周围的社会绝大多数都支持一种恶性的生活方式，把我们搞得一团糟，对统治者来说，牛人比聪明人更容易被统治，因为聪明人更容易变得不守规矩，一般都会成为一个严重的敌人......
P.S.
供参考：正式的是遵守规则的人。非正式的（unformal）是指不承认规则的人。我曾经在一本GMT的逻辑课本上看到过这两个术语。
一般来说，在学校的学习是正规化的。它严格遵循预先确定的课程。不要再混淆这些术语了--我自己也曾经困惑过......
形式逻辑是思维的科学。我想说的是，这是一门如何得出结论的科学。而这里的 "正式 "一词表明，有如何得出结论的规则（即，将思考（或得出结论）的过程正式化）
Для справки: Формальный - это подчиняющийся правилам. Неформальный (неформал) - не признающий правил. Столкнулся кгода-то с этими двумя терминами в учебнике логики для гумманитариев.
Вобщем, в школе обучение как раз-таки и формализовано. Оно идёт чётко по заранее составленной программе. Не путай больше эти термины - я сам когда-то путался...
Формальная логика - наука о мышлении. Я бы сказал, что это наука о том, как делать выводы. А термин "формальная" здесь указывает на то, что существуют ПРАВИЛА того как нужно делать выводы (то есть, формализация процесса мышления (или построения вывода))
我明白了，Drknn，谢谢你的澄清。
然而，当他们谈到诸如几何学的正式表述时，他们的意思是它是严格的和形式化的：公理、未定义的概念、定理等等。在学校里当然没有这样的事情。
一般来说，在现实生活中，这类带有某人撒谎的条件的问题可以帮助你弄清谁做了什么，或者谁在什么事情上撒谎，以及谁说了实话。看，这里有一个这样的说明性的东西--我马上给出答案，只是为了说明它在现实生活中的应用。
任务。
你在一个房间里，你只能从其中一个门出去。总共有两个门。每个门都有一个警卫。对于你的问题，警卫只能回答 "是 "或 "不是"。哨兵不可能给出其他答案。他们中的一个人总是说真话，另一个人总是撒谎。你必须向每个守卫提出同样的问题，得到答案后，你要选择正确的门离开房间。你必须选择正确的门，因为一扇门后面是真正的出口，而另一扇门后面是死胡同（好吧，有一个储藏室或一只可以吃你的狮子......）。
总之，要问每个警卫的正确问题并不那么明显--不是那么容易猜到的。
答案是：你必须为自己选择其中一扇门。然后你走到第一个警卫面前，用手指戳着所选的门，问道："你的伙伴能告诉我出路在这里吗？"听到答案后，你必须去找第二个守卫，用手指再次戳向同一扇门，然后问。
收到这两个答案后，你可以很容易地猜到哪个门实际上是出口，哪个不是。
好吧，如果你认为他们中的一个人总是在撒谎，那么有两种方式可以让他们都说不
选择。
这扇门在诚实的守卫后面，我们选择了它。
- 一个诚实的警卫，知道他的伙伴总是在撒谎，当被问及 "你的伙伴会告诉我有一个出口吗？"时，会回答 "不会"。
- 骗子会对同一个问题撒谎，也会说不。
门在骗子的后面，我们选了它
- 一个诚实的警卫，知道他的伙伴总是在撒谎，当被问及 "你的伙伴会告诉我出口在这里吗？"时，会回答 "不会"。
- 骗子会对同样的问题撒谎，说没有。
我应该怎么做？
还是我对问题有误解？
事实上，最新的 "骗子和诚实 "问题是斯米利安问题的变种（你没听说过吗）），而这又是基于古希腊的谜语。
这里有另一种变化。
有三个神，A、B和C，他们是真理、谬误和机会的神，没有特定的顺序。真理之神总是说真话，谎言之神总是骗人，机会之神可以以任意的顺序说真话和谎言。它需要通过提出3个可以回答 "是 "或 "不是 "的问题来识别神灵。每个问题只向一个神提出。诸神听得懂，但用他们自己的语言回答，其中有两个词 "da "和 "ja"，不知道哪个词代表 "是"，哪个代表 "不是"。
===
你可以向一个神灵提出一个以上的问题（所以其他神灵可能根本就不会被问到任何问题）。
下一个问题是什么，问谁，可能取决于对前一个问题的回答。
机会之神的回答是随机的，取决于藏在他脑袋里的硬币的翻转：如果反面出来，他就会如实回答，如果反面出来，他就会撒谎。
机会之神对任何可以用 "是 "或 "不是 "回答的问题都回答 "da "或 "ja"。
你不能提出既能用 "da "又能用 "ja "回答的问题--"悖论"，或者不能用任何方式回答。例如，"你现在要回答'达'吗？
Ну если учесь что один из них всегда врет, то есть 2 варианта когда они оба скажут нет
Вариант:
Дверь находится за честным охранником и мы ее выбрали
- честный охранник зная что его напарник всегда врет, на вопрос "Скажет ли мне твой напарник, что выход здесь?". ответит НЕТ
- врун на этот же вопрос соврет и тоже скажет нет.
Дверь находится за вруном и мы ее выбрали
- честный охранник зная что его напарник всегда врет, на вопрос "Скажет ли мне твой напарник, что выход здесь?". ответит НЕТ
- врун на этот же вопрос соврет и скажет нет.
Че делать?
Или я не првильно понял условия задачи?
这一点是正确的。如果都回答 "不"，那么在这两种情况下，我们都选择了正确的门。这就是我们必须要去的地方。
Понял! Ступил маленько! Интересная комбинация получилась! :)
四名被拘留者--A、B、C和D--涉嫌偷窃一辆汽车。在接受询问时，他们给出了以下陈述：A："是B。B："D做的"。C："这不是我。"D:"B在撒谎，说是我"。进一步的调查显示，他们中只有一个人说了实话。
谁偷了车？
P.S. 。
有时你不需要任何外在的证据就能发现真相--你所需要做的就是采取像这个问题中的声明。看，让我们不知道进一步调查的结果。因此，由于只有4个读数，我们有一个小的、严格限制的假设数量。
- 没有人撒谎。
- 一个人说了谎。
- 两个人撒谎了。
- 三个人撒谎了。
- 都是骗人的。
所以现在我们有四个问题。如果你使用逻辑公式，你最多可以在10分钟内解决所有4个问题。很少有这样的情况，三个变体表明相应的假设是错误的，因为我们来到了一个矛盾的地方，只有一个变体有权利生存。但另一种选择也是可能的，例如有两种解决方案表明该假设是错误的，因为它导致我们陷入矛盾。第三种解决方案表明，我们有两个小偷。第四个选项显示，只有一个小偷。无论第三种变体显示了什么，从第四种变体中我们可以确定，四个涉案人中至少有一个人是有罪的，而且我们知道是谁。而这就是结果。
Вообще, последние задачки про "лжецов и честных" - вариации на тему задачек Смиллиана (неужели не слышали?))), ктр. в свою очередь опираются на античные греческие загадки.
Вот еще одна вариация:
Есть три бога: A, B и C, которые являются богами истины, лжи и случая в произвольном порядке. Бог истины всегда говорит правду, бог лжи — всегда обманывает, бог случая может говорить и правду, и ложь в произвольном порядке. Требуется определить богов, задав 3 вопроса, на которые можно ответить «да» или «нет». Каждый вопрос задаётся только одному богу. Боги понимают язык, но отвечают на своём языке, в котором есть 2 слова «da» и «ja», причём неизвестно, какое слово обозначает «да», а какое «нет».
===
Можно задавать одному богу более чем один вопрос (поэтому другим богам может быть не задано ни одного вопроса вообще).
Каков будет следующий вопрос и кому он будет задан, может зависеть от ответа на предыдущий вопрос.
Бог случая отвечает случайным образом, зависящим от подбрасываний монетки, спрятанной в его голове: если выпадет аверс, то отвечает правдиво, если реверс — то врёт.
Бог случая отвечает «da» или «ja» на любой вопрос, на который можно ответить «да» либо «нет».
Нельзя задавать вопросы - "парадоксы", на которые можно ответить и "da" и "ja", или никак нельзя ответить. К примеру, "Ты сейчас ответишь "da"?
Помогите!!!! Час уже себе мозг ломаю!!!! Подумайте еще кто нибудь! Условия задачи вообще со одними переменными :))) Про двери не реально было самому вопрос придумать, а тут ..... !
就一个小时？
呵，你是个交易员还是什么？