Önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadedir. Mantık kuralları arasında öne çıkanlar: Değil Bağlacı: Bir önermenin hükmünün değiştirilmesiyle elde edilen yeni önermeye bu önermenin değili denir ve "tırnak (')" işareti ile gösterilir. Ve Bağlacı: İki önermenin doğruluk değerinin 1 olduğu durumda 1, bir tanesinin veya her ikisinin de yanlış olması durumunda 0 değerini döndüren bağlaçtır. Veya Bağlacı: İki önermenin doğruluk değerinin yalnız bir tanesinin 1 olması, 1 değeri döndürmesi için yeterlidir. Koşullu Bağlaç: İki önermenin "ise" bağlacı ile birleştirilmesiyle elde edilen bileşik önermeye koşullu önerme denir. Ayrıca, totoloji ve çelişki kavramları da mantık kuralları arasında yer alır.