EnglishEdit

 
Wikipedia has an article on:
Wikipedia

NounEdit

formal logic ‎(plural formal logics)

  1. (logic) Mathematical logic.
  2. (logic) A particular logical calculus.