ЛОГИКА ФОРМАЛЬНАЯ
ЛОГИКА ФОРМАЛЬНАЯ — англ. logic, formal; нем. Logik, formale. Наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания.