**1.**

There exist only two types of quantifiers, Universal Quantification and Existential Quantification.

**2.**

Translate the following statement into FOL.

“For every a, if a is a philosopher, then a is a scholar”

**3.**

A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.

**4.**

The statement comprising the limitations of FOL is/are ____________

**5.**

A common convention is:

• is evaluated first

• and are evaluated next

• Quantifiers are evaluated next

• is evaluated last.

**6.**

A Term is either an individual constant (a 0-ary function), or a variable, or an n-ary function applied to n terms: F(t1 t2 ..tn).

**7.**

First Order Logic is also known as ___________

**8.**

The adjective “first-order” distinguishes first-order logic from ___________ in which there are predicates having predicates or functions as arguments, or in which one or both of predicate quantifiers or function quantifiers are permitted.

**9.**

Which is created by using single propositional symbol?

**10.**

Which is used to construct the complex sentences?