natural deduction

💡 In logic class, natural deduction felt like choreography, introducing assumptions, deriving consequences, and discharging them with elegant, rule-bound steps.

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

💡 In natural deduction, the deduction theorem bridges conditional proofs with discharged assumptions elegantly.

در استنتاج طبیعی، قضیه استنتاج به زیبایی بین اثبات‌های شرطی و فرض‌های رد شده پل می‌زند.

💡 Proof assistants implement natural deduction, guiding students through inference rules that prevent hand-wavy leaps disguised as insight.

دستیاران اثبات، استنتاج طبیعی را اجرا می‌کنند و دانش‌آموزان را از طریق قوانین استنتاج راهنمایی می‌کنند که از جهش‌های دستی پنهان‌شده در قالب بینش جلوگیری می‌کند.

💡 We contrasted natural deduction with sequent calculus, discovering different paths can reach the same glittering summit of validity.

ما قیاس طبیعی را با حساب دیفرانسیل و انتگرال متوالی مقایسه کردیم و کشف کردیم که مسیرهای مختلف می‌توانند به همان اوج درخشان اعتبار برسند.

💡 The only natural deduction is that it comes from the same source as the other sayings, and that source was not our synoptic Gospels.

تنها استنباط طبیعی این است که این گفته از همان منبع گفته‌های دیگر آمده است، و آن منبع، انجیل‌های هم‌نوا (سینوپتیک) ما نبوده‌اند.

💡 In natural deduction, the deduction theorem elegantly bridges conditional proofs with discharged assumptions, streamlining derivations significantly.

در استنتاج طبیعی، قضیه استنتاج به زیبایی اثبات‌های شرطی را با فرض‌های رد شده پیوند می‌دهد و استنتاج‌ها را به طور قابل توجهی ساده می‌کند.