CMPT 310 FINAL EXAM UPDATED QUESTIONS AND ANSWERS

CMPT 310 FINAL EXAM UPDATED QUESTIONS AND ANSWERS
What IS Propositional Logic? - CORRECT ANSWER✅✅✅It's a language.



What are some pros of Propositional Logic (PC)? - CORRECT ANSWER✅✅✅- It's Declarative

- It allows incomplete information

(unlike most data structures and databases)

- It's compositional and unambiguous

- "Meaning" is context-independent



What does declarative mean? - CORRECT ANSWER✅✅✅Formulas correspond to assertions



What does "context-independent" mean? - CORRECT ANSWER✅✅✅It is incapable of
understanding/accepting natural language, such as "Bring me the iron".



• "iron" could be an instrument for removing creases from clothes, a golf club, a piece of metal, . . . .

• "me" depends on who is doing the talking.



Describe a case that is both compositional and unambiguous - CORRECT ANSWER✅✅✅Truth of B1,1
∧ P1,2 depends on truth of B1,1 and of P1,2



What is a con of Propositional Logic (PC)? - CORRECT ANSWER✅✅✅-It has limited expressive power

• E.g., cannot say "pits cause breezes in adjacent squares" except by writing one sentence for each
square



What does First Order Logic (FOL) assume the world contains? - CORRECT ANSWER✅✅✅- Objects

- Relations

- Functions

, What are Constants, in the context of FOL? - CORRECT ANSWER✅✅✅They are objects (eg. baseball,
#2, a game)

They may be abstract too (eg. a marriage or a purchase)



What are Predicate Symbols, in the context of FOL? - CORRECT ANSWER✅✅✅They stand for
properties, relations

(eg. Brother(Rick, John) --rick and john are brothers)



What are Functions, in the context of FOL? - CORRECT ANSWER✅✅✅They are....ya
know....functions....

(eg. LeftLegOf(John) --returns the..)



What are included in the basic syntax of FOL? - CORRECT ANSWER✅✅✅• Constants: Wumpus, 2,
SFU, . . .

• Predicates: Brother, Plus, . . .

• Functions: Sqrt, LeftLegOf , . . .



• Variables: x, y, . . .

• Connectives: ∧, ∨, ¬, ⇒, ≡.

• Equality: =

• Quantifiers: ∀, ∃



What is the basic "idea" behind FOL? - CORRECT ANSWER✅✅✅- There are objects or things in the
domain being described.

• Terms in the language denote objects, like:

JohnTSmith,

12,

CMPT310,

favouriteCatOf(John)