صورت منطقی

صورت منطقی  در ریاضیات و فلسفه، یک عبارت نحوی، یک نسخه معنایی دقیقاً مشخص از آن عبارت در یک سیستم صوری است. به طور غیررسمی، صورت منطقی تلاش می‌کند تا یک بیان احتمالاً مبهم را به یک بیان دارای یک تفسیر منطقی دقیق و بدون ابهام با توجه به یک سیستم صوری صورت‌بندی کند. در یک زبان صوری ایده‌آل، معنی یک صورت منطقی را می‌توان به طور واضح از صرف و نحو تعیین کرد. صورت‌های منطقی سازه‌های معنایی هستند و نه نحوی. بنابراین، ممکن است بیش از یک رشته وجود داشته باشد که نمایانگر صورت منطقی یکسان در یک زبان معین باشد.The Cambridge Dictionary of Philosophy, CUP 1999, pp. 511–512

صورت منطقی یک برهان، صورت برهان یا صورت آزمون برهان نامیده می‌شود.

 جستارهای وابسته 
 نقشه برهان 
 مغالطه

 مغالطه منطقی 
 مغالطه غیرصوری (مادی) 
 دستور زبان دسته بندی 
 سنس و مرجع 
 گزاره تحلیلی- گزاره ترکیبی 
 لیست صورت های برهان معتبر

 منابع 

رده:برهان‌ها
رده:تجرید
رده:درست منطقی
رده:فلسفه تحلیلی
رده:فلسفه زبان
رده:مفهوم‌ها در منطق