Дедукция 6. Формальные символические языки

Даётся пример построения формального языка на примере языка логики суждений. Выделяются основные этапы построения синтаксиса языка: задание его алф...