WEEK+6-QUESTION+2

Dear group members...i already choose question 2...

from..aimi

a. **Convert the following first-order sentence into Conjunctive Normal Form (CNF):**




===**b. Determine whether the following is a valid inference in first-order logic using resolution** :===



**c. Show using the truth table method that the following inference is valid:**




**d. Repeat (c) using resolution. In this case, we want to show:**




kengkawan jawapan bagi soalan ni belum complete,,ak dah cuba yang mana tau..nati tolong btl kan ok..thanx U.. Hana >> Sorry aku xdtg last class aritu coz demam, so aku tak bp phm sgt bab logic ni..i try to do sumting...10q

1. Norsulianaeliani Abdul Wahab 21876 2. Noor Fadhlihana Bt Muhamad Asral 22836 3.Nur Aimi Abdullah Sani 21885