Предмет доказательства в логике называется

Мат логика исследует высказывания ( выражения, которые принимают значения ИСТИНА или ЛОЖЬ ). Мат логика - это Логика высказываний

кулаком в лоб очень помогает