Multiple choice

A formal system is a/an ___________________.

  1. Uninterpreted calculus

  2. Algebra

  3. Boolean algebra

  4. None of these
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

In logic and mathematics, a formal system consists of an abstract language and a set of inference rules. It is often referred to as an uninterpreted calculus because the symbols and rules are defined without reference to any specific meaning or 'interpretation.' Algebra is a specific type of formal system, but the general definition is an uninterpreted calculus.

Keep practicing — related questions