Question

Answer extraction involves converting a refutation tree to a proof tree with statement at the root that can be used as an answer.  Which of the following are true w.r.t the above process of answer extraction:

I.  Convert every clause arising from the negation of the goal well-formed formula into a tautology. 

II. The statement at the root of the Modified Proof Tree logically follows from the axioms and the tautologies. 

A.  Either I or II

 

B.  Both I and II

 

C.  I only

 

D. II only

​

Answer 1

Answer:

A

Explanation:

Answer 2

Explanation:

option a.)

hope this helps you