Pengoperasi logik

Dalam bidang logik, pengoperasi logik atau pengait logik ialah pengoperasi matematik yang digunakan pada ayat-ayat logik untuk membentuk ayat gabungan.

Berikut ialah beberapa pengoperasi logik:

Nama	Simbol	Hasil
Penafian (tak)	¬ atau ~	Palsu sekiranya kendaliannya benar, dan sebaliknya
Konjungsi (dan)	$\wedge$ atau &	Benar sekiranya kedua-dua kendaliannya benar.
Disjungsi (atau)	$\vee$	Benar sekiranya satu daripada kendalian-kendaliannnya benar.
Bersyarat (jika...maka)	$\rightarrow$, $\Rightarrow$ atau $\supset$	Palsu sekiranya kendalian pertama benar tetapi kendalian kedua palsu.
Dwisyarat (jika dan hanya jika)	$\leftrightarrow$, $\equiv$, atau =	Benar sekiranya kedua-dua kendaliannya benar atau kedua-dua kendaliannya palsu.

Katakan,

A: Hari ini hujan.
B: Ahmad menggunakan payung.

Maka kenyataan ¬A bermaksud "hari ini tidak hujan". Kenyataan $A \rightarrow B$ pula bermaksud "jika hari ini hujan, maka Ahmad menggunakan payung", atau, dari sudut lain, "hari ini hujan hanya jika Ahmad menggunakan payung ".

(file)		(file) (zoom in)

Dalam sains komputer

Selain logik, pengoperasi logik turut digunakan dalam bidang sains komputer, umpamanya untuk membina atur cara (lihat Boolean) dan litar berdigit (lihat get logik).