0 votes 0 votes 1) IS P → Q ≡ Q → P Satisfiable Or NOT? Mathematical Logic mathematical-logic propositional-logic + – srajkumar asked Jan 30, 2019 • retagged May 6, 2021 by Shiva Sagar Rao srajkumar 382 views answer comment Share Follow See all 2 Comments See all 2 2 Comments reply balchandar reddy san commented Jan 30, 2019 reply Follow Share Satisfiable but not valid.as for P,Q(T,T), returns true and for (T,F) returns false. 0 votes 0 votes Lakshman Bhaiya commented Jan 30, 2019 reply Follow Share $P\rightarrow Q\equiv Q\rightarrow P$ $\neg P\vee Q\equiv \neg Q\vee P$ $P\equiv T,Q\equiv T$ $T\equiv T$(Satisfiable) $P\equiv F,Q\equiv F$ $T\equiv T$(Satisfiable) $P\equiv T,Q\equiv F$ $F\equiv T$(Not Valid) $P\equiv F,Q\equiv T$ $T\equiv F$(Not Valid) 0 votes 0 votes Please log in or register to add a comment.
0 votes 0 votes It is satisfiable but not valid. eshita1997 answered Jan 7, 2021 eshita1997 comment Share Follow See all 0 reply Please log in or register to add a comment.