منطق امری شاخه ای از علم منطق است که برای نوع خاصی از جملات غیرخبری یعنی جملات امر و نهی تدوین شده است. منطق امری، از منطق بایایی که به تکالیف می پردازد مستقل است. این منطق را نخستین بار هری گنسلر به طور رسمی تدوین نمود. تصدیقات در منطق امری، قابل تصدیق و تکذیب نیستند.منطق صوریمنطق بایاییمنطق کاربردیمنطق مادیمنطق ریاضیبرهان خلفاگر معنی A این باشد که «تو سیب می خوری»، آن گاه معنی A چنین خواهد بود: ...