Operator logika

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Diagram Hasse mengenai perangkai 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 yang dipakai untuk menggabungkan dua rumus atomik dan , memberikan rumus kompleks .

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.