صورت منطقی

صورت منطقی  در ریاضیات و فلسفه، یک عبارت نحوی، یک نسخه معنایی دقیقاً مشخص از آن عبارت در یک سیستم صوری است. به طور غیررسمی، صورت منطقی تلاش می‌کند تا یک بیان احتمالاً مبهم را به یک بیان دارای یک تفسیر منطقی دقیق و بدون ابهام با توجه به یک سیستم صوری صورت‌بندی کند. در یک زبان صوری ایده‌آل، معنی یک صورت منطقی را می‌توان به طور واضح از صرف و نحو تعیین کرد. صورت‌های منطقی سازه‌های معنایی هستند و نه نحوی. بنابراین، ممکن است بیش از یک رشته وجود داشته باشد که نمایانگر صورت منطقی یکسان در یک زبان معین باشد.

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

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

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

منابع 

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