prove-p-q-and-q-p-are-logicaly-equivalent-with-out-truth-table-

Question Number 79462 by berket last updated on 25/Jan/20

p r o v e p \Rightarrow q a n d \sim q \Rightarrow\sim p a r e l o g i c a l y

e q u i v a l e n t w i t h o u t t r u t h t a b l e

Answered by key of knowledge last updated on 25/Jan/20

p \Rightarrow q \equiv - p \lor q \equiv q \lor - p \equiv - q \Rightarrow - p