symbolic logic

Символическая логика; иное название математической логики, указывающее на то, что в данной науке весьма широко применяются символы (больше, чем в традиционной логике).