Розглянуто засаду математичної логіки - алгебру висловлювань (АВ). Розкрито суть поняття висловлювання. Запропоновано критерій рівносильності формул, описано основні властивості логічних операцій, а також класи формул АВ. Проаналізовано особливості з'ясування логічної правильності міркувань за допомогою методу резолюцій. Визначено основні можливості програми Master of Logіc.

Рассмотрена основа математической логики - алгебра высказываний (АВ). Раскрыта сущность понятия высказывания. Предложен критерий равносильности формул, описаны основные свойства логических операций, а также классы формул АВ. Проанализированы особенности согласования логической правильности размышлений с помощью метода резолюций. Определены основные возможности программы Master of Logic.