Definition:Interderivable

Definition
If two statements $p$ and $q$ are such that:


 * $p \vdash q$, i.e. $p$ therefore $q$
 * $q \vdash p$, i.e. $q$ therefore $p$

then $p$ and $q$ are said to be interderivable.

That is:
 * $p \dashv \vdash q$

means:
 * $p \vdash q \ \text {and} \ q \vdash p$.

Note that because the conclusion of an argument is a single statement, there can be only one statement on either side of the $\dashv \vdash$ sign.

Boolean Interpretation
Two statements $p$ and $q$ are interderivable if $v \left({p}\right) = v \left({q}\right)$ for all boolean interpretations $v$.

This follows from Equivalences are Interderivable.

Also known as
Interderivability is also known as:
 * Logical Equivalence
 * Provable Equivalence.

Some sources denote $p \dashv \vdash q$ by $p \leftrightarrow q$.

Also see

 * Definition:Therefore
 * Definition:Because
 * Definition:Conditional
 * Definition:Logical Implication
 * Definition:Biconditional