مجتبی امیرخانلو

بلکه، از قضا

تخفیف دار

غیر مستقل در سیستمهای منطقی، گاهی وقتها، یک قاعده ی استنتاج یا یک اصل، قابل استنتاج از خود سیستمِ معرفی شده، هست اما به دلیل وضوح شهودی یا استعمال را ...

exhaust sth همه . . . را در بر گرفتن

قیاسهای تودرتو این کلمه از واژه ی یونانی soros، به معنای "توده یا دسته" برگرفته شده است. در منطق، به زنجیره ای از قیاس های حملی گفته می شودکه نتیجه ...