The first proposition $P$ is a conditional statement represented by $p \rightarrow q$. This means "if $p$, then $q$". The second proposition $Q$ is a biconditional statement represented by $p \leftrightarrow q$. This means "$p$ if and only if $q$".
Show more…