Системи комп’ютерної алгебри в математичній логіці

A description of the commands for the logic package of the computer algebra system Maple are given. The methods of solving some common mathematical logic problems with Maple are consideredДано описание команд пакета logic системы компьютерной алгебры Maple. Рассмотрены способы решения некоторых типичных задач математической логики в MapleДано опис команд пакету logic системи комп’ютерної алгебри Maple. Розглянуто способи розв’язання деяких типових задач математичної логіки в Mapl