Predicate Logic and Inference

38 MCQs

MCQs

38 questions · 35 min · 38 marks

Want to try first? Take the free Computer Science test: Networks Basics

Sample questions

The first 5 of 38. Try each one, then tap to see the answer.

  1. Question 1

    Predicate logic is an extension of:

    • AFuzzy logic
    • BPropositional logic
    • CNatural logic
    • DBinary arithmetic
    Show answer

    Answer: B

    Predicate logic extends propositional logic with variables and predicates.

  2. Question 2

    Predicate logic lets us make statements about:

    • AObjects and their properties
    • BThe speed of devices
    • CStorage capacity
    • DNetwork layers
    Show answer

    Answer: A

    Predicate logic expresses statements about objects and their properties and relationships.

  3. Question 3

    Why is x is greater than 5 called a predicate?

    • AIt always evaluates to true
    • BIt contains no variable
    • CIts truth depends on the value of x
    • DIt joins two propositions
    Show answer

    Answer: C

    A predicate can be true or false depending on its variables.

  4. Question 4

    Which statement is easier to express in predicate logic than in propositional logic?

    • AThe sky is blue
    • BIt is raining
    • CAli is at home
    • DAll students are hardworking
    Show answer

    Answer: D

    Statements about groups of objects need variables and quantifiers.

  5. Question 5

    Which task is propositional logic unable to do in detail?

    • AJoin two statements with AND
    • BDescribe properties of objects
    • CAssign truth values
    • DBuild a truth table
    Show answer

    Answer: B

    Propositional logic cannot describe properties of objects or relationships between them.

More tests in Computational Thinking & Algorithms

Practise with a free account

Save your scores, see which chapters need work, and keep a notebook of every question you got wrong.

Create free account