Məntiqi düstur (məntiqi ifadə) –məntiqi kəmiyyətlər və məntiq əməl işarələrindən istifadə edilməklə düzəlir. Məntiqi ifadələrin nəticəsi ya “doğru” ya da “yalan” olur.
Məntiqi ifadələrin yazılışında məntiq əməlləri aşağıdakı ardıcıllıqla yerinə yetirilir: