Necessary Condition

• Related: Sufficient Condition, Necessary and Sufficient Condition

• When p implies q, q is a necessary condition for p.

  • This can be understood set theory-wise as q being included in p.
  • Therefore, for p to be true, it is necessary for the q that includes p to be true.
  • Example: Being a cat is a necessary condition for being a calico cat.