Question

Under which of the following conditions, a clause {Li} subsumes a clause {Mi}, if there exists a substitution 's'? 

Condition 1: {Li}s is a subset of {Mi}

Condition 2: {Mi}s is a subset of {Li}

A. No clause ever subsumes another clause.

 

B. Condition 1 only

 

C. Both Condition 1 and Condition 2

 

D. Condition 2 only

​

Answer 1

Answer:

B) i think corrcetlyok see and tell

Answer 2

Answer:

B

Explanation:

Elimination by subsumption