جزوه ساختمان گسسته رشته مهندسی کامپیوتر توضیحات محصول : کتاب های خلاصه منابع  رشته مهندسی کامپیوترگرایش هوش مصنوعی برای آمادگی آزمون دکتری دانشگاه آزاد به همراه مجموعه تست با پاسخنامه تشریحی برای کنکوریها فصل اول: حساب گزارهها   تعریف: در یک استدلال هر یک از عبارات استفاده شده برای رسیدن به نتیجه را فرض یا مقدم و عبارت آخر را نتیجه یا تالس . مینامیم  * یک استدلال زمانی معتبر است که اگر فرضهای آن درست باشد نتیجه درست است.  * جملات یا راست هستند یا دروغ ولی هرگز نمیتوانند ...