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