Стрелочка это часть языка формальной системы, а турникет нет. Если

Question

Стрелочка это часть языка формальной системы, а турникет нет. Если

в языке есть равенство то там могут быть строки вида "A = B", а если есть ещё и константы то и "A = 0".

Но приведённое
A⊢B =0
это не предложение языка, и вообще бессмысленно, потому что само
A⊢B уже тоже не предложение языка.

Поэтому непонятно что значило бы что оно равно нулю. Что именно равно нулю то?

0

27.07.2023

4 ответов

23 просмотра

Андрей

Alexander Chichigin
Нет. Она является конструктором индуктивного типа,...

Александр, а что это такое и где об этом можно прочитать? Я имею ввиду "конструктор индуктивного типа" и подобное. Изучаю логику, первый раз вижу эти термины.

0

14.11.2023

Alex Gryzlov

Андрей
Александр, а что это такое и где об этом можно про...

это теория типов

0

14.11.2023

Андрей

Alex Gryzlov
это теория типов

Спасибо!

0

14.11.2023

Alexander Chichigin · Accepted Answer

Alexander Chichigin

Нет. Она является конструктором индуктивного типа, если Вы знаете, что это такое. Если не знаете — просто частью синтаксиса, как тире и запятая в этом предложении.

0

27.07.2023

Похожие чаты

Стрелочка это часть языка формальной системы, а турникет нет. Если

4 ответов

Похожие вопросы