В англоязычной традиции символ отношения выводимости в логике ⊢ называют «турникет»
А у нас в логике его называют «штопор». Интересно почему)
Post #660
1.29K
- 😁 22
- 🤔 4
- ❤ 3
- 🥰 3
- 👨💻 1
ДУ Душный синтаксис @syntaxdush · 488 subscribers - Sep 24, 2026FOL это не просто логика предикатов первого порядка, а такая, которая классическая Так что…
- Sep 20, 2026Один мой друг заявляет, что доказал теорему о невозможности самообмана Рассуждение можно р…
- Sep 10, 2026Три из четырёх студентов, которые пришли сегодня ко мне на пару, занимаются аналитической…
- Aug 23, 2026Междисциплинарная конференция «Подземные реки: низовые интеллектуальные течения и философи…
- Aug 23, 2026Тест на нишевость. Подумайте над тем, чтобы заскочить
- Aug 14, 2026Вернемся к классике