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