Алгебра высказываний. Формальные теории. Предикаты. Модуль 5 - презентация онлай Соответствие законам логики пример пифагор