CH 4 - First-Order Logic

Question 1

What are the three classes of symbols in first-order logic?

Define arity.

How do we interpret the symbol = ?

List all the symbols needed in the set-up of the formulae.

Answer 1

Question 2

function, relation, constant, term, formula

Define an interpretation of a first-order language.

Answer 2

Question 3

‘In order to define the semantics…’