استنتاج گزاره
قواعد استنتاج یا قوانین استنتاج، نحوه تبدیل قوانین هستند که می‌توان برای پی بردن به یک نتیجه از یک فرض برای ایجاد یک استدلال استفاده کرد. این مجموعه از قواعد یا قوانین را می‌توان برای به دست آوردن نتایج معتبر استفاده کرد.
نمادهای اعتماد
