Menu Close

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




Question Number 79462 by berket last updated on 25/Jan/20
prove p⇒q and ∼q⇒∼p are logicaly   equivalent with out truth table
$${prove}\:{p}\Rightarrow{q}\:{and}\:\sim{q}\Rightarrow\sim{p}\:{are}\:{logicaly}\: \\ $$$${equivalent}\:{with}\:{out}\:{truth}\:{table} \\ $$$$ \\ $$
Answered by key of knowledge last updated on 25/Jan/20
p⇒q≡−p∨q≡q∨−p≡−q⇒−p
$$\mathrm{p}\Rightarrow\mathrm{q}\equiv−\mathrm{p}\vee\mathrm{q}\equiv\mathrm{q}\vee−\mathrm{p}\equiv−\mathrm{q}\Rightarrow−\mathrm{p} \\ $$

Leave a Reply

Your email address will not be published. Required fields are marked *