1. |
There exist only two types of quantifiers, Universal Quantification and Existential Quantification.
|
||||
Answer:
Option (a) |
2. |
"Translate the following statement into FOL.
“For every a, if a is a philosopher, then a is a scholar”"
|
||||||||
Answer:
Option (a) |
3. |
A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.
|
||||||||
Answer:
Option (a) |
4. |
The statement comprising the limitations of FOL is/are ____________
|
||||||||
Answer:
Option (d) |
5. |
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).
|
||||
Answer:
Option (a) |
6. |
First Order Logic is also known as ___________
|
||||||||
Answer:
Option (d) |
7. |
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.
|
||||||||
Answer:
Option (c) |
8. |
Which is created by using single propositional symbol?
|
||||||||
Answer:
Option (b) |
9. |
Which is used to construct the complex sentences?
|
||||||||
Answer:
Option (c) |
10. |
How many proposition symbols are there in artificial intelligence?
|
||||||||
Answer:
Option (b) |