|
Здравствуйте, господа.
Не подскажет ли кто где найти грамматику логики 1 порядка(или постулирование того, что она не имеет формальной синтаксической структуры)?
википедия: логика первого порядка
Квантор всеобщности.. Он то использует скобки (для заворачивания в них высказывания), то не использует.
А временами вообще два идут друг за другом без скобок.
Наверное я что-то не понимаю, потому что немного больно от того, что я не могу найти в интернете ответ на такой казалось бы
очевидный вопрос... Системы-то формальные.. Где абстрактная грамматика?
Я вообще в учебниках и статьях по логике 1п. постоянно замечаю, что внезапно вводятся какие-то новые конструкции,
или старые вдруг начинают использоваться иным образом нежели ранее. От этого читать дальше просто невозможно.
Их можно трактовать по-разному. Когда в следующий раз увижу такое - постараюсь записать в эту тему, пока есть пример из вики (выше).
Спасибо за внимание.
|
20.03.2023, 22:52 