Logika negasi

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Loncat ke navigasi Loncat ke pencarian

Dalam logika dan bidang teknik yang memakainya, negasi, atau tidak, adalah operator logika dalam kalkulus proposisional. Hasil dari dua proposisi juga disebut negasi mereka. Hasil negasi adalah benar jika proposisinya salah; jika tidak, hasilnya adalah salah.