info prev up next book cdrom email home

Deducible

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




© 1996-9 Eric W. Weisstein
1999-05-24