7. Resolution can determine what literals can make a sentence true (satisfy it). When the resolution will yield [] (empty list) it means that this sentence is _always_ true, hence, it is a tautology.

8.