# 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$