ساختمان گسسته کارشناسی ارشد: در یک استدلال هر یک از عبارات استفاده شده برای رسیدن به نتیجه را فرض یا مقدم و عبارت آخر را نتیجه یا تالی مینامیم. یک استدلال زمانی معتبر است که اگر فرضهای آن درست باشد نتیجه نیز درست است. جملات یا راست هستند یا دروغ ولی هرگز نمیتوانند هم راست باشند هم دروغ. چنین جملاتی را گزاره می نامیم.
قاعده ی طرد شق ثالث : گزاره ای که دروغ نیست پس راست است و بر عکس.
گزاره : یک جمله ی خبری است که یا راست است یا دروغ ولی نه هردو.
قضیه : گزاره ای که راست بودن آن را در یک سیستم ریاضی بتوان ثابت کرد.
تشکیل گزاره های جدید از روی گزاره های قبلی ( حروف پیوندی مبنا) :
حرف پیوندی (( و ))،(( عطف ))،(( \/ )) : زمانی راست است که هر دو راست باشد. ·
حرف پیوندی (( یا ))،(( فصل ))،(( /\ )) : زمانی راست است که یکی از گزاره ها راست باشد. ·
نقیض (( ~ )) یا نفی یک گزاره ها : ارزش گزاره ی اول را نفی میکند. ·
جدول درستی : روشی برای تجزیه و تحلیل ارزشهای گزاره ها.
ساختمان گسسته کارشناسی ارشد: در یک استدلال هر یک از عبارات استفاده شده برای رسیدن به نتیجه را فرض یا مقدم و عبارت آخر را نتیجه یا تالی مینامیم. یک استدلال زمانی معتبر است که اگر فرضهای آن درست باشد نتیجه نیز درست است. جملات یا راست هستند یا دروغ ولی هرگز نمیتوانند هم راست باشند هم دروغ. چنین جملاتی را گزاره می نامیم.
قاعده ی طرد شق ثالث : گزاره ای که دروغ نیست پس راست است و بر عکس.
گزاره : یک جمله ی خبری است که یا راست است یا دروغ ولی نه هردو.
قضیه : گزاره ای که راست بودن آن را در یک سیستم ریاضی بتوان ثابت کرد.
تشکیل گزاره های جدید از روی گزاره های قبلی ( حروف پیوندی مبنا) :
حرف پیوندی (( و ))،(( عطف ))،(( \/ )) : زمانی راست است که هر دو راست باشد. ·
حرف پیوندی (( یا ))،(( فصل ))،(( /\ )) : زمانی راست است که یکی از گزاره ها راست باشد. ·
نقیض (( ~ )) یا نفی یک گزاره ها : ارزش گزاره ی اول را نفی میکند. ·
جدول درستی : روشی برای تجزیه و تحلیل ارزشهای گزاره ها.