## Thinking Mathematically (6th Edition)

The dominance of connectives is used to clarify the means of the statement. The ascending order in which dominance of connectives is used is: (1) Negation, $\sim$ (2) Disjunction, $\vee$ Conjunction, $\wedge$ (3) Conditional, $\to$ (4) Biconditional, $\leftrightarrow$ Biconditional statement is most dominant and Negation statement is least dominant and conjunction, disjunction has the same level of dominance. Use this order of dominance of connectives then the statement in the clarify form is: $\left( p\to p \right)\leftrightarrow \left[ \left( p\vee p \right)\to \sim p \right]$. The statement is biconditional because biconditional is most dominant. Hence, the statement in the clarify form is$\left( p\to p \right)\leftrightarrow \left[ \left( p\vee p \right)\to \sim p \right]$.