Necessity

• $Q$ is necessary for $P$
  • Equivalent to
    • $P$ cannot be true unless $Q$ is true
    • If $Q$ is false, then $P$ is false
• Whenever $P$ is true, so is $Q$

Philosophy Math Logic