فرااستوارهای[=فراقضیهای] در گوییک انگارشی است که میگوید اگر دیسول 𝜓 با انگاشتن [=فرض] هنگرد گزارههای Γ و 𝜙 استوارشپذیر باشد، آنگاه میتوان استوار کرد [=ثابت کرد] با انگاشتن 𝜙 ، Γ درمیتاهد 𝜓 را.
آشنایی با Deduction theorem چیست؟معنی Deduction theorem یعنی چه؟
آشنایی با استواره فروهازش چیست؟معنی استواره فروهازش یعنی چه؟
آشنایی با قضیه استنتاج چیست؟معنی قضیه استنتاج یعنی چه؟
برابر پارسی قضیه استنتاج
معادل فارسی قضیه استنتاج