First Order Logic is also known as ___________

• A. first order predicate calculus
• B. quantification theory
• C. lower order calculus
• D. all of the mentioned