Académique Documents
Professionnel Documents
Culture Documents
Ques 3. Determine whether the following PL formula is satisfiable, Maximizing ply
valid or invalid : ( p q) r q
G H I J
Ques 4. What are various components of predicate logic?
(5) (6) (7) (8)
SECTION – B
Ques 7. Given the following sentences, Prove their validity using inference
Attempt all parts
rules of propositional logic.
(i) Either Smith attended the meeting or Smith was not invited in
Ques 5. What is problem reduction technique? Explain the AO* search
meeting.
algorithm .In the graph given below explain when will the search terminate (ii) If directors wanted Smith in meeting then Smith was invited in me.
with AO* if F is expanded next and its successor is node A. Give the steps of (iii)Smith didn’t attended the meeting.
searching also. ( 5 Marks) (iv) If director’s didn’t want Smith in meeting and Smith was not invited
A to meeting, then Smith is on his way out of the company.
( 3 marks)
B Ques 8. Define the term logic. Compare Propositional logic with First order
D logic (Predicate Calculus). Also define logical implication and Causal
(50) (30) (13)
C Implication with a suitable example. (3 Marks)
(15)
(OR)