Untuk menganalisis penghubung logis, cukup dengan mempertimbangkan variabel proposisional (kadang-kadang disebut variabel kalimat), yang biasanya berupa huruf kapital di bagian tengah alfabet: \(P, Q, R, S, \ldots\text{.}\) Kita memandang variabel-variabel ini sebagai pengganti pernyataan (biasanya atomik), tetapi hanya ada dua nilai yang dapat dimiliki variabel tersebut: benar atau salah.

¹

Dalam pemrograman komputer, variabel semacam ini disebut variabel Boolean.

Kita juga memiliki simbol untuk penghubung logis: \(\wedge\text{,}\) \(\vee\text{,}\) \(\imp\text{,}\) \(\iff\text{,}\) \(\neg\text{.}\)