Home › Quizzes › Syntax of Predicate Logic

Syntax of Predicate Logic

This quiz covers the syntax of predicate logic, including the formation of terms, formulas, and sentences.

15 Questions Published
Play Quiz Practise this topic out loud

Questions

Question 1 Multiple Choice (Single Answer)

Which of the following is a term in predicate logic?

  1. All men are mortal
  2. Socrates is a man
  3. The number of planets in our solar system is eight
  4. Every dog has its day
Question 2 Multiple Choice (Single Answer)

Which of the following is a formula in predicate logic?

  1. All men are mortal
  2. Socrates is a man
  3. The number of planets in our solar system is eight
  4. Every dog has its day
Question 3 Multiple Choice (Single Answer)

Which of the following is a sentence in predicate logic?

  1. All men are mortal
  2. Socrates is a man
  3. The number of planets in our solar system is eight
  4. Every dog has its day
Question 4 Multiple Choice (Single Answer)

Which of the following is a constant in predicate logic?

  1. x
  2. y
  3. Socrates
  4. The number 7
Question 5 Multiple Choice (Single Answer)

Which of the following is a variable in predicate logic?

  1. x
  2. y
  3. Socrates
  4. The number 7
Question 6 Multiple Choice (Single Answer)

Which of the following is a function term in predicate logic?

  1. father(John)
  2. brother(Mary)
  3. sister(Bob)
  4. All men are mortal
Question 7 Multiple Choice (Single Answer)

Which of the following is a predicate in predicate logic?

  1. All men are mortal
  2. Socrates is a man
  3. The number of planets in our solar system is eight
  4. Every dog has its day
Question 8 Multiple Choice (Single Answer)

Which of the following is a quantifier in predicate logic?

  1. All
  2. Some
  3. No
  4. Every
Question 9 Multiple Choice (Single Answer)

Which of the following is a logical connective in predicate logic?

  1. And
  2. Or
  3. Not
  4. If...then
Question 10 Multiple Choice (Single Answer)

Which of the following is a rule of inference in predicate logic?

  1. Modus ponens
  2. Modus tollens
  3. Hypothetical syllogism
  4. Disjunctive syllogism
Question 11 Multiple Choice (Single Answer)

Which of the following is a proof in predicate logic?

  1. A sequence of formulas that starts with axioms and ends with a theorem
  2. A sequence of formulas that is valid
  3. A sequence of formulas that is sound
  4. A sequence of formulas that is complete
Question 12 Multiple Choice (Single Answer)

Which of the following is a model in predicate logic?

  1. A set of objects and a set of relations on those objects
  2. A set of formulas that is consistent
  3. A set of formulas that is complete
  4. A set of formulas that is valid
Question 13 Multiple Choice (Single Answer)

Which of the following is a theorem in predicate logic?

  1. A formula that is true in every model
  2. A formula that is valid
  3. A formula that is sound
  4. A formula that is complete
Question 14 Multiple Choice (Single Answer)

Which of the following is a valid argument in predicate logic?

  1. An argument that has a true conclusion and true premises
  2. An argument that has a false conclusion and false premises
  3. An argument that has a true conclusion and false premises
  4. An argument that has a false conclusion and true premises
Question 15 Multiple Choice (Single Answer)

Which of the following is a sound argument in predicate logic?

  1. An argument that has a true conclusion and true premises
  2. An argument that has a false conclusion and false premises
  3. An argument that has a true conclusion and false premises
  4. An argument that has a false conclusion and true premises
← Back to Quizzes