Логика суждений как формальная аксиоматическая теория

Рассказ о логике суждений немного с неожиданной стороны - как о частном случае формальной аксиоматической теории со своим языком (алфавитом и синтаксисом), логикой (аксиомами и правилами вывода) и семантикой, а также немного о метаязыке и объектном языке и индуктивных определениях (11 января 2023 г.).