Definition:If
Jump to navigation
Jump to search
Definition
To say that:
...is to say that $p$ is a necessary condition for $q$:
- $p \ \text{if} \ q \dashv \vdash q \implies p$
To say that:
...is to say that $p$ is a necessary condition for $q$: