Can these propositions be equivalent?

31 Views Asked by At

We all know that:

$P \rightarrow Q $

and

$(Not)Q \rightarrow (Not)P$

are equivalent.

Is it possible that in specific cases $P \rightarrow Q $ is equivalent with $Q \rightarrow P $ or $(Not)Q \rightarrow P $ or $P \rightarrow (Not)Q $

Can this happen or is that impossible? If it is, how should I attempt to prove it?

2

There are 2 best solutions below

0
On

From a truth table $P\to Q$ is equivalent to $Q\to P$ iff $P=Q$, to $\neg Q\to P$ iff $Q$, and to $P\to\neg Q$ iff $P\land Q$. You can easily choose $P,\,Q$ to achieve these conditions.

0
On

There is no such thing as two statements being 'sometimes logically equivalent' or 'possibly logically equivalent'. Logical equivalence means always having the same truth-value. If it's not always, it's not equivalence.