Operator logika

Dalam logika, operator logika atau perangkai logika merupakan konstanta logika yang dipakai untuk menghubungkan rumus-rumus logika. Sebagai contoh, dalam sintaks logika proposisional, operasi biner $\lor$ yang dipakai untuk menggabungkan dua rumus atomik $P$ dan $Q$, memberikan rumus kompleks $P\lor Q$.

Diagram Hasse mengenai perangkai logika

Operator pada umumnya meliputi negasi, disjungsi, konjungsi, dan implikasi. Namun dalam sistem logika klasik yang standar, perangkai tersebut dipandang sebagai fungsi kebenaran, meskipun perangkai tersebut menerima berbagai pandangan lain dalam logika dalam logika nonklasik. Pandangan tersebut menyerupai pengertian dari kata "bukan", "atau", "dan", dan "jika", namun tidak identik.