(logic and resolution using first order logic): can we knowif
1)Donald counsels Goofy
2)Donald was at the campus
what we know is:
A)Every student has a counselor, who is a professor.
B)Every counselor meets with all the ones he counsels
C)Counseling meeting happen in the campus
D)Goofy is a student
E)Donald is a professor
F)Every profesor counsels at least one student
is it possible to infer either of those using first order logic?thank you very much for helping me. stuck for days with it
Expert Answer
An answer will be send to you shortly. . . . .