0 votes 0 votes The symbol form of predicates :x is the father of the mother of y Anurag Tiwari 1 asked Oct 29, 2018 Anurag Tiwari 1 2.9k views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
1 votes 1 votes F(x,z):x is father of z M(z,y):z is mother of y R(x,y):x is father of mother of y = $\forall x,y \exists z$ (F(x,z)^M(z,y)) Soumya Tiwari answered Oct 29, 2018 Soumya Tiwari comment Share Follow See 1 comment See all 1 1 comment reply Anurag Tiwari 1 commented Oct 30, 2018 reply Follow Share how we approach this types of question 0 votes 0 votes Please log in or register to add a comment.