3.Next

Classical logic (or standard logic) or Frege-Russell logic is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy.

Characteristics

Each logical system in this class shares characteristic properties:
# Law of excluded middle and double negation elimination

3.Next