СИМВОЛИЧЕСКАЯ ЛОГИКА

то же, что математическая логика.