## Exclusive Disjunction

**Exclusive Disjunction**

In my previous post titled “Inclusive Disjunction” (see http://philonotes.com/index.php/2018/02/06/inclusive-disjunction/), I discussed the nature and characteristics of an inclusive disjunction, including its rules and how to determine its truth-value. In this post, I will focus on exclusive disjunction.

An **exclusive disjunction** is a type of disjunction that is connected by the words “**Either…or, but not both**.” As we already know, the symbol for the connective of a disjunctive statement is **v** (wedge). However, an exclusive disjunction is symbolized differently from an inclusive disjunction. Consider the following examples below:

**Either**John is singing**or**he is dancing,**but not both**.**Either**John is sleeping**or**he is studying.

**Example #1** is clearly an exclusive disjunction because of the words “but not both.” Please note that it is possible for John to be singing and dancing at the same time (hence, inclusive), but because of the qualifier “but not both,” which clearly emphasized the point that John is not singing and dancing at the same time, then the statement is clearly an exclusive one.

Now, if we let ** p** stand for “John is singing” and

**for “He is dancing,” then the statement “Either John is singing or he is dancing, but not both”**

*q***maybe**symbolized as

*p***v**

**. However, this is faulty because it does not clearly specify what the statement “Either John is singing or he is dancing, but not both” states. So, how do we symbolize example #1 above?**

*q*As already mentioned, if we let ** p** stand for “John is singing” and

**for “He is dancing,” then we can come up with**

*q*

*p***v**

**. But it’s not yet complete. We need to take into consideration the phrase “but not both.” If we recall the discussion on conjunctive statements, we know that the symbol for “but” is**

*q***(dot), and in the discussion on negative statements, we learned that the symbol for a negation is**

*•***(tilde). Now, the word “both” in the statement refers to “John is singing (**

*~***)” and “He is dancing (**

*p***).” Thus, the phrase “but not both” is symbolized as follows:**

*q*

*•***(**

*~*

*p*

*•***). If we add this symbol to the previous statement**

*q*

*p***v**

**, then we arrived at**

*q*(

*p***v**

**)**

*q*

*•***(**

*~*

*p*

*•***).**

*q*Thus, the symbol for the exclusive disjunction “Either John is singing or he is dancing, but not both” is:

(*p***v** ** q**)

*•***(**

*~*

*p*

*•***)**

*q*However, logicians used a more simplified symbol for the phrase “but not both.” They used the underlined wedge ** v **to symbolize “but not both.” Thus, the exclusive disjunction “Either John is singing or he is dancing, but not both” is symbolized as follows:

*p*__v__*q*

Please note that the symbol *p *__v__** q** is read as follows: “

**p or q, but not p and q**.”

In some cases, the exclusive disjunction does not contain the phrase “but not both,” but if we analyze the statement, it denotes exclusivity. Let us consider **example #2**, which reads:

**Either** John is sleeping **or** he is studying.

Although the statement does not contain the phrase “but not both,” it is pretty obvious that it is not possible for John to be sleeping and studying at the same time. Hence, example #2 above is an exclusive disjunction.

If we let ** p** stand for “John is sleeping” and

**for “He is studying,” then the statement “Either John is sleeping or he is studying” is symbolized as follows:**

*q*(*p***v** ** q**)

*•***(**

*~*

*p*

*•***)**

*q*or, simply,

*p*__v__*q*

**Rules in Exclusive Disjunction**

- An exclusive disjunction is false if both disjuncts have the same truth-value.
- Thus, for an exclusive disjunction to be true, one disjunct must true and the other false, and vice versa.

The truth table below illustrates this point.

The truth table above says:

- If
is*p***true**andis*q***true**, then*p*__v__is*q***false**. - If
is*p***true**andis*q***false**, then*p*__v__is*q***true**. - If
is*p***false**andis*q***true**, then*p*__v__is*q***true**. - If
is*p***false**andis*q***false**, then*p*__v__is*q***false**.

Now, given the rule in exclusive disjunction, how do we, for example, determine the truth-value of the

exclusive disjunction *~ **p *__v__** q**?

Let us suppose that the truth-value of ** p** is

**true**and

**is**

*q***true**. So, if

**is true and**

*p***true, then the statement**

*q*

*~*

*p*

__v__**is**

*q***true**. To illustrate:

The illustration says that ** p** is true and

**is true. Now, before we apply the rule in exclusive disjunction in the statement**

*q*

*~*

*p*

__v__**, we need**

*q*__to__simplify

*~***first because the truth-value “**

*p***true**” is assigned to

**and not to**

*p*

*~***. If we recall our discussion on the**

*p***rule in negation**, we learned that the negation of

**true**is

**false**. So, if

**is**

*p***true**, then

*~***is**

*p***false**. Thus, at the end of it all,

*~*

*p*

__v__**is**

*q***true**if

**is true and**

*p***is true.**

*q*

We have provided a video for all our posts in Symbolic Logic. If you are interested, please visit the following:

1. Propositions and Symbols Used in Symbolic Logic (see https://www.youtube.com/watch?v=OdUbiNZVG1s)

2. What is Philosophy (see https://www.youtube.com/watch?v=nRG-rV8hhpU)