1 votes 1 votes If i have a statement like : "No large birds live on honey" where domain is set of all Birds Here let Q(x) : x is a large bird R(x) : lives on honey CAn i write this is ∀x (∽Q(x)-->R(x)) ..is it right ? and what about this ∀x (Q(x)-->∽R(x)) Mathematical Logic mathematical-logic + – Dexter asked May 10, 2016 Dexter 650 views answer comment Share Follow See all 4 Comments See all 4 4 Comments reply srestha commented May 10, 2016 reply Follow Share yes 1st one is correct 2nd one large birds not lives on honey 0 votes 0 votes Dexter commented May 10, 2016 reply Follow Share @srestha So second also mean same ryt ? And bdw in Rosen it is given that ∽∃(Q(x)⋁R(x)) i am not getting this :( 0 votes 0 votes LeenSharma commented May 16, 2017 reply Follow Share srestha How 1st is right? 1 votes 1 votes srestha commented May 17, 2017 reply Follow Share what is meaning of 1st stmt? Q(x) : x is a large bird ~Q(x) : x is a bird other than large bird and it is also given domain is set of all Birds So, 1) is the stmt telling " all other bird other than large birds live on honey" is it not same as "No large birds live on honey" See the stmt here https://gateoverflow.in/45363/logic-basic 1 votes 1 votes Please log in or register to add a comment.
Best answer 2 votes 2 votes Note: The cutting in statement 2 solution is just a correction. Not any symbol or something. Mojo-Jojo answered May 10, 2016 selected May 10, 2016 by Dexter Mojo-Jojo comment Share Follow See all 2 Comments See all 2 2 Comments reply Dexter commented May 10, 2016 reply Follow Share yes i got my mistake :) I am right now doing that thing only breaking parts and then analyse it 0 votes 0 votes Mojo-Jojo commented May 10, 2016 reply Follow Share :) 0 votes 0 votes Please log in or register to add a comment.
2 votes 2 votes ∀x (∽Q(x)-->R(x)) =>all birds which are not large(i.e small )birds live on honey .but it is not mentioned in the statement.so its not correct ∀x (Q(x)-->∽R(x)) => all large birds do not live on honey.its correct. Manashi Sarkar answered May 10, 2016 Manashi Sarkar comment Share Follow See 1 comment See all 1 1 comment reply Dexter commented May 10, 2016 reply Follow Share oh yes i agree thanks :) 0 votes 0 votes Please log in or register to add a comment.