صورت منطقی

{logical form} [زبان شناسی] حوزه ای در نظریۀ حاکمیت و مرجع گزینی و برنامۀ کمینه گرا که در آن سیطرۀ سورها (quantifier ) و عناصر شبیه به آن تعیین می شود

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

حوزه‏ای در نظریۀ حاکمیت و مرجع‏گزینی و برنامۀ کمینه‏گرا که در آن سیطرۀ سورها (quantifier) و عناصر شبیه به آن تعیین می‌شود.

💡 چنانچه نتوان رابطه‌ای بین بهای تمام شده کالاهای مصرف شده و درآمد واحد تجاری یافت، چنین هزینه‌هایی را در همان دوره‌ای که مصرف شده‌اند، ثبت می‌شود. به این ترتیب پیش پرداخت هزینه (مانند پیش پرداخت اجاره) تحت عنوان دارایی ثبت می‌شود و سپس در زمان تحقق هزینه (سپری شدن زمان اجاره) به حساب هزینه منظور می‌شود. اتخاذ چنین رویه‌ای باعث می‌شود تا هزینه‌های یک دوره از درآمدهای همان دوره کسر شده و بنابراین محاسبه سود یک دوره مالی به صورت منطقی تری صورت پذیرد.