Lesson 9
Lesson 9. Resolution method (continuing, examples). Verifying an argument:. (Anybody) who knows Paul and Mary is sorry for Mary. x ( [Z( x , P) Z( x , M)] L( x , M) ) Some are not sorry for Mary, though they know her. x [ L( x , M) Z( x , M)]
486 views • 30 slides