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)
|
atau &
|
Benar sekiranya kedua-dua kendaliannya benar.
|
Disjungsi (atau)
|
|
Benar sekiranya satu daripada kendalian-kendaliannnya benar.
|
Bersyarat (jika...maka)
|
, atau
|
Palsu sekiranya kendalian pertama benar tetapi kendalian kedua palsu.
|
Dwisyarat (jika dan hanya jika)
|
, , 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 pula bermaksud "jika hari ini hujan, maka Ahmad menggunakan payung", atau, dari sudut lain, "hari ini hujan hanya jika Ahmad menggunakan payung ".
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).