Question Number 79462 by berket last updated on 25/Jan/20
$${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
$$\mathrm{p}\Rightarrow\mathrm{q}\equiv−\mathrm{p}\vee\mathrm{q}\equiv\mathrm{q}\vee−\mathrm{p}\equiv−\mathrm{q}\Rightarrow−\mathrm{p} \\ $$