2 votes 2 votes Mathematical Logic discrete-mathematics mathematical-logic first-order-logic + – Rahul Jain25 asked Oct 10, 2016 • edited May 6, 2021 by Shiva Sagar Rao Rahul Jain25 1.8k views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
Best answer 3 votes 3 votes Please see the above properties . All are correct.So option D should be the correct option Habibkhan answered Oct 10, 2016 • selected Nov 16, 2016 by Habibkhan Habibkhan comment Share Follow See all 6 Comments See all 6 6 Comments reply Show 3 previous comments vaishali jhalani commented Nov 16, 2016 reply Follow Share Yes.. 0 votes 0 votes Prajwal Bhat commented Nov 16, 2016 reply Follow Share @Habibkhan How 3rd point in your notes is true... Can you explain a bit? 0 votes 0 votes Habibkhan commented Nov 16, 2016 reply Follow Share In 3rd point the LHS means that "there exists y for all x" means it is pointing to a particular value of y irrespective of value of x meaning independent behaviour but rhs side means "for all x there exists y" meaning that given a x there exists a value y but not necessarily the same value y.. That is why the given implication is one way true only..It is not biconditional.. 2 votes 2 votes Please log in or register to add a comment.
1 votes 1 votes D)all of the above are correct valid first order formulae aik138463 answered Oct 10, 2016 aik138463 comment Share Follow See all 0 reply Please log in or register to add a comment.