This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: Tobi is not a good boy. Representation: (NA ‚ąß ¬¨TP) ‚áí ¬¨TGoodBoy CNF: ¬¨(NA ‚ąß TP) ‚ą® ¬¨TGoodBoy ¬¨NA ‚ą® ¬¨TP ‚ą® ¬¨TGoodBoy 5. If Tobi protects his friends, he is a good boy. Representation: TP ‚áí TGoodBoy CNF: ¬¨TP ‚ą® TGoodBoy 6. If Tobi cleans up, he is a good boy. Representation: TC ‚áí TGoodBoy CNF: ¬¨TC ‚ą® TGoodBoy 7. What we want to prove (either that Tobi is a good boy or he isn‚Äôt) Representation: ¬¨TGoodBoy CNF: ¬¨TGoodBoy 7. ¬¨TGoodBoy , 6. TGoodBoy ‚ą® ¬¨TC 8. ¬¨TC 8. ¬¨TC , 2. TC ‚ą® NA 9. NA 9. NA , 1. ¬¨NA ‚ą® TP 10. TP 10. TP , 5. ¬¨TP ‚ą® TGoodBoy 11. TGoodBoy 11. TGoodBoy , 7. ¬¨TGoodBoy FAILURE...
View Full Document
This note was uploaded on 10/23/2011 for the course ENCS ENCS5 taught by Professor Abdelsalam during the Spring '10 term at Birzeit University.
- Spring '10