در این جلسه به حل تمارین مباحث استدلال بازگشتی، استدلال به روش اشباع، برهان خلف، اثبات به روش بازگشتی، گزاره هم‌ارز، اثبات استنتاجی، مثال نقض، اتحاد مربع و نقیض گزاره می‌پردازیم.