 For example, the material implication \((p \rightarrow q)\) is true whenever \(p\) is false or \(q\) is true — i.e., \((\neg p \vee q)\). So if \(p\) is true, then the material implication is true when \(q\) is true. Among the paradoxes of material implication are the following: