Формальный вывод. Тьюринг полный язык программирования это. Право определение. Понятие право Обществознание. Определение права. Право определение Обществознание. Правило вывода исчисления высказываний. Правило заключения в исчислении высказываний. Аксиомы исчисления высказываний доказательства