6 - FOL

Question 1

First-order logic is far more powerful than ________.

Answer 1

Firs-order logic is far more powerful than PROPOSITIONAL LOGIC.

Question 2

First-order logic is the equivalent to ________.

Answer 2

First-order logic is the equivalent to NATURAL LANGUAGE.

Question 3

Objects correspond to ________.

Answer 3

NOUNS

Question 4

Relations correspond to ________.

Answer 4

VERBS or ADJECTIVES (unary or n-ary)

Question 5

Functions correspond to ________.

Answer 5

1-to-1 RELATIONS (father of)

Question 6

Predicates are represented by ________.

Answer 6

Relations

Question 7

What is used to indicate that two terms refer to the same object?

Answer 7

INEQUALITY

Question 8

All kings are persons.

Answer 8

Ax King(x) => Person(x)

Question 9

Anyone who can trap Holmes can trap anyone whom Holmes can trap.

Answer 9

Axy T(x;h) & T(h;y) => T(x;y)

Question 10

Main connective with A

Answer 10

=>

Question 11

Main connective with E

Answer 11

&

Question 12

Ax !P

Answer 12

!Ex P

Question 13

!Ax P

Answer 13

Ex !P

Question 14

Ax P

Answer 14

!Ex !P

Question 15

Ex P

Answer 15

!Ax !P

Question 16

Brothers are siblings

Answer 16

Axy Brother(x;y) => Sibling(x;y)

Question 17

One’s mother is one’s female parent

Answer 17

Mother(x,y) <=> (Female(x) & Parent(x,y))

Question 18

Horn clauses in propositional logic

Answer 18

Proposition symbol OR Conjunction of symbols