Translate the following three statements in First Order Predicate
Logic, and then deduce (iii) from (i) and (ii): Firstly without using
Resolution Method and then by using the Resolution method
(i) Lord Krishna is loved by everyone who loves someone.
(ii) No one loves nobody
(iii) Lord Krishna is loved by everyone.
Logic, and then deduce (iii) from (i) and (ii): Firstly without using
Resolution Method and then by using the Resolution method
(i) Lord Krishna is loved by everyone who loves someone.
(ii) No one loves nobody
(iii) Lord Krishna is loved by everyone.
0 comments:
Post a Comment
Let us know your responses and feedback