First Order Logic is also known as……
a) First Order Predicate Calculus
b) Quantification Theory
c) Lower Order Calculus
d) All of these
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.
a) Representational Verification
b) Representational Adequacy
c) Higher Order Logic
d) Inferential Efficiency
Propositional Logic:
Which is created by using single propositional symbol?
a) Complex sentences
b) Atomic sentences
c) Composition sentences
d) None of the mentioned
Explanation: Atomic sentences are indivisible syntactic elements consisting of single propositional symbol.
Which is used to construct the complex sentences?
a) Symbols
b) Connectives
c) Logical connectives
d) All of these
How many proposition symbols are there in artificial intelligence?
a) 1
b) 2
c) 3
d) 4
Explanation: The two proposition symbols are true and false.
