TGViewer
Душный синтаксис Душный синтаксис @syntaxdush · 503 subscribers
Post #31 313
Душный синтаксис Класс. Кстати Смаллиан в «Вовеки неразрешимо», например, использует такое рассуждение, но не в качестве парадокса. Где он показывает, как работает «если, то» с точки зрения классики
Но вот в другом доме муж сказал «если я рыцарь, то жена рыцарь»

Можно конечно рассудить так, что высказывание просто не может быть ложным. Ибо если бы оно было ложным, то муж был бы рыцарем, а жена плутом. Но рыцарь не мог высказать ложь, а потому высказывание истинно, а потому муж рыцарь, и поскольку он говорил, что если он рыцарь (а это так), то и его жена рыцарь, значит, они оба рыцари.

Но можно сразу допустить, что муж рыцарь. Тогда его высказывание истинно, а потому высказанное им имеет место. А именно если он рыцарь, то его жена тоже рыцарь - вот что имеет место. И поскольку он рыцарь, то его жена рыцарь.
И потому истинно, что если муж рыцарь, то жена рыцарь. Но именно это и утверждал муж. Получается, он сделал истинно высказывание, а потому он рыцарь. Значит, его жена тоже рыцарь. Следовательно, они оба рыцари
  • ❤ 2
More from @syntaxdush
  1. Oct 5, 2026Так, ну я понял. Короче тут собрались боязливые подстилки Панели, ни одного возражения. Яс…
  2. Oct 5, 2026Режиссер Дэвид Линч. Шутка. Дэвид Линч не участвовал в создании этого видео.
  3. Oct 5, 2026Так, ну что
  4. Sep 28, 2026Ну-ка, делитесь, что вам машина говорит на этот промт
  5. Sep 24, 2026FOL это не просто логика предикатов первого порядка, а такая, которая классическая Так что…
  6. Sep 20, 2026Один мой друг заявляет, что доказал теорему о невозможности самообмана Рассуждение можно р…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →