ответ:
́ческая ло́гика (теоретическая логика, символическая логика) — раздел , изучающий обозначения, формальные системы, доказуемость суждений, природу доказательства в целом, вычислимость и прочие аспекты оснований .
