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