Душный синтаксис

В англоязычной традиции символ отношения выводимости в логике ⊢ называют «турникет»
А у нас в логике его называют «штопор». Интересно почему)

😁22🤔4❤3🥰2👨‍💻1

www.tgoop.com/syntaxdush/660

978 viewsedited  Feb 13 at 13:18

В англоязычной традиции символ отношения выводимости в логике ⊢ называют «турникет»
А у нас в логике его называют «штопор». Интересно почему)

BY Душный синтаксис