Deducible

If $q$ is logically deducible from $p$, this is written $p\vdash q$.