Sufficiency

• If $P$ is sufficient for $Q$, then knowing $P$ to be true is adequate grounds to conclude that $Q$ is true
  • However, knowing $P$ to be false does not meet a minimal need to conclude that $Q$ is false

Philosophy Math Logic