0 votes 0 votes What is the first order logic representation for the sentence "Not every satisfiable logic is valid" Mathematical Logic mathematical-logic + – srestha asked Sep 7, 2017 srestha 411 views answer comment Share Follow See all 5 Comments See all 5 5 Comments reply Shubhanshu commented Sep 7, 2017 reply Follow Share Suppose x is a logic S(x) x is satisfiable V(x) x is Valid $!(\forall x {S(x) \rightarrow V(x)})$ or $\exists x (S(x) \wedge !V(x))$ Not sure!! 3 votes 3 votes srestha commented Sep 7, 2017 reply Follow Share ok.... 0 votes 0 votes Shubhanshu commented Sep 7, 2017 reply Follow Share is it correct!!! 0 votes 0 votes Habibkhan commented Sep 7, 2017 reply Follow Share @Shubhanshu is right in this regard.. 1 votes 1 votes srestha commented Sep 7, 2017 reply Follow Share yes correct:) 1 votes 1 votes Please log in or register to add a comment.