Logical Connectives.
\(P \wedge Q\) is read “\(P\) and \(Q\text{,}\)” and called a conjunction.
\(P \vee Q\) is read “\(P\) or \(Q\text{,}\)” and called a disjunction.
\(P \imp Q\) is read “if \(P\) then \(Q\text{,}\)” and called an implication or conditional.
\(P \iff Q\) is read “\(P\) if and only if \(Q\text{,}\)” and called a biconditional.
\(\neg P\) is read “not \(P\text{,}\)” and called a negation.