Classical logic
Class of formal logics / From Wikipedia, the free encyclopedia
Classical logic (or standard logic)[1][2] or Frege–Russell logic[3] is the intensively studied and most widely used class of deductive logic.[4] Classical logic has had much influence on analytic philosophy.