Answer
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 the 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\wedge 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\wedge p \right)\to \sim p \right]\].
Work Step by Step
.