\(P \wedge Q\) dibaca “\(P\) dan \(Q\text{,}\)” dan disebut konjungsi.

\(P \vee Q\) dibaca “\(P\) atau \(Q\text{,}\)” dan disebut disjungsi.

\(P \imp Q\) dibaca “jika \(P\) maka \(Q\text{,}\)” dan disebut implikasi atau kondisional.

\(P \iff Q\) dibaca “\(P\) jika dan hanya jika \(Q\text{,}\)” dan disebut bikondisional.

\(\neg P\) dibaca “tidak \(P\text{,}\)” dan disebut negasi.