1 votes 1 votes $ \forall x (P(x) \rightarrow Q(x)) \rightarrow [\exists P(x)] \rightarrow [\forall Q(x)]$ how to check that a statement is valid or invalid ? hitendra singh asked Oct 24, 2018 hitendra singh 722 views answer comment Share Follow See all 22 Comments See all 22 22 Comments reply Show 19 previous comments hitendra singh commented Oct 24, 2018 reply Follow Share how is it ambiguous ? 0 votes 0 votes Lakshman Bhaiya commented Oct 24, 2018 reply Follow Share $\rightarrow$ is no right associative?? 0 votes 0 votes hitendra singh commented Oct 24, 2018 reply Follow Share but its written on wikipedia https://en.wikipedia.org/wiki/Material_conditional 0 votes 0 votes Please log in or register to add a comment.