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