Definition:If

Definition

To say that:

a statement $p$ is true if $q$ is true

...is to say that $p$ is a necessary condition for $q$:

$p \ \text{if} \ q \dashv \vdash q \implies p$

Also see

• Definition:Only If