The [[Disjunction]] is a [[Logical Operator]] of two [[Proposition|Propositions]] which is denoted by: $\huge p \or q $ The [[Disjunction]] between $p$ and $q$ is true if *or* $p$ or $q$ is *true*. It is often read as: "$p$ or $qquot; and known as the "Inclusive Or". #### Truth Table | $p$ | $q$ | $p \or q$ | | ----- | ----- | --------- | | **F** | **F** | **F** | | **F** | *T* | *T* | | *T* | **F** | *T* | | *T* | *T* | *T* |