formal logics

英 美
  • 形式逻辑
  • formal adj.正式的;正规的;形式的;公开的;拘谨的;有条理的
  • logics 逻辑
名词 formal logic:
  1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity