قضیه: تفاوت میان نسخه‌ها

 

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

مقاله اصلی: اثبات صوری

مفهوم قضیه به اثبات صوری آن،به طور خیلی نزدیک به آن مربوط شده است (استنتاج نیز می نامند). برای اینکه نشان بدهند استنتاج ها چگونه انجام می شوند،ما در یک روش (سیستم) صوری بسیار ساده شده عمل خواهیم کرد. فرض کنیم که حروف <math>\mathcal{FS}</math> از دو نماد A و B تشکیل شده است و قانون ترکیب آن برای فرمول برابر است با:

"هر رشته از نماد <math>\mathcal{FS}</math> که حداقل طول آن رشته سه است و دارای طول بینهایت نمی باشد"، یک فرمول است. هیچ چیز دیگری فرمول نیست.

 

ABBA (به عنوان اصل موضوعه)

ABBBA (با اعمال قانون دگرگونی یا تبدیل)