Double Negation with Erroneous Conjunction

Source Work

 * Chapter $1$: Informal statement calculus
 * $1.2$. Truth functions and truth tables: Example $1.6 \ \text{(c)}$
 * $1.2$. Truth functions and truth tables: Example $1.6 \ \text{(c)}$

Mistake

 * $\left({p \leftrightarrow \left({\land \left({\sim p}\right)}\right)}\right)$ is a tautology.

Correction
As it stands, this statement is meaningless, as $\land$ is a binary operator.

The most obvious assumption is that $\land$ is a typo for $\sim$, and that:
 * $\left({p \leftrightarrow \left({\sim \left({\sim p}\right)}\right)}\right)$ is a tautology.

is meant.

See Double Negation/Formulation 2 for an analysis of this.

Note that in :
 * $\sim$ is the symbol used for $\neg$, the logical negation operator
 * $\leftrightarrow$ is the symbol used for $\iff$, the biconditional operator.