Category:Definitions/Logical Implication

This category contains definitions related to Logical Implication.
Related results can be found in Category:Logical Implication.

In a valid argument, the premises logically imply the conclusion.

If the truth of one statement $p$ can be shown in an argument directly to cause the meaning of another statement $q$ to be true, then $q$ follows from $p$ by logical implication.

We may say:

$p$, therefore $q$ and write $p \vdash q$.

$q$, because $p$ and write $q \dashv p$.