Home › Quizzes › Propositional Logic vs. Predicate Logic

Propositional Logic vs. Predicate Logic

Propositional Logic vs. Predicate Logic Quiz

16 Questions Published
Play Quiz Practise this topic out loud

Questions

Question 1 Multiple Choice (Single Answer)

Which of the following is a propositional logic statement?

  1. All men are mortal.
  2. Socrates is a man.
  3. If it is raining, then the ground is wet.
  4. There exists a prime number greater than 10.
Question 2 Multiple Choice (Single Answer)

Which of the following is a predicate logic statement?

  1. All men are mortal.
  2. Socrates is a man.
  3. If it is raining, then the ground is wet.
  4. There exists a prime number greater than 10.
Question 3 Multiple Choice (Single Answer)

Which of the following is a propositional logic connective?

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

Which of the following is a predicate logic quantifier?

  1. All
  2. Some
  3. No
  4. There exists
Question 5 Multiple Choice (Single Answer)

Which of the following is a propositional logic fallacy?

  1. Affirming the consequent
  2. Denying the antecedent
  3. Modus ponens
  4. Modus tollens
Question 6 Multiple Choice (Single Answer)

Which of the following is a predicate logic fallacy?

  1. Existential fallacy
  2. Universal fallacy
  3. Categorical syllogism
  4. Hypothetical syllogism
Question 7 Multiple Choice (Single Answer)

Which of the following is a propositional logic theorem?

  1. De Morgan's laws
  2. Distributive law
  3. Associative law
  4. Commutative law
Question 8 Multiple Choice (Single Answer)

Which of the following is a predicate logic theorem?

  1. Universal instantiation
  2. Universal generalization
  3. Existential instantiation
  4. Existential generalization
Question 9 Multiple Choice (Single Answer)

Which of the following is a propositional logic model?

  1. Truth table
  2. Venn diagram
  3. Syllogism
  4. Proof
Question 10 Multiple Choice (Single Answer)

Which of the following is a predicate logic model?

  1. First-order structure
  2. Interpretation
  3. Model theory
  4. Proof theory
Question 11 Multiple Choice (Single Answer)

Which of the following is a propositional logic proof system?

  1. Natural deduction
  2. Axiomatic system
  3. Resolution
  4. Tableau
Question 12 Multiple Choice (Single Answer)

Which of the following is a predicate logic proof system?

  1. First-order logic
  2. Second-order logic
  3. Modal logic
  4. Intuitionistic logic
Question 13 Multiple Choice (Single Answer)

Which of the following is a propositional logic application?

  1. Computer science
  2. Mathematics
  3. Philosophy
  4. All of the above
Question 14 Multiple Choice (Single Answer)

Which of the following is a predicate logic application?

  1. Computer science
  2. Mathematics
  3. Philosophy
  4. All of the above
Question 15 Multiple Choice (Single Answer)

Which of the following is a propositional logic programming language?

  1. Propositional Prolog
  2. SAT Solver
  3. ASP Solver
  4. All of the above
Question 16 Multiple Choice (Single Answer)

Which of the following is a predicate logic programming language?

  1. First-Order Prolog
  2. Datalog
  3. Answer Set Programming
  4. All of the above
← Back to Quizzes