Hi i am doing a question from the text book called Expert Systems: Principle and programming third edition on chapter 4. It has a sentences like No Software is guaranteed All Program is software ---------------------- No Program is guarantee and it asked prove this conclusion using First Order Logic and then use 9 steps Clasual Form. Does anyone where could i find the answer for that book

An Answer to every Question ever Asked

I'm not trying to be a smartass, but there are much better resources for homework help than getting others to do it for you. Best of luck with it, I'm sure with a little elbow grease it'll come easily.