Математическая логика построение логических шем