Perhaps it is too late, but we’ve completely forgotten ever setting up this blog for this course!

One whole semester went by. Exam is over. Time to look at the scripts.

Perhaps it is too late, but we’ve completely forgotten ever setting up this blog for this course!

One whole semester went by. Exam is over. Time to look at the scripts.

Posted in Logic and Proving Techniques
Leave a comment

Distributive rules:

i)

ii)

Proof: i)

Can you see that the values of and are exactly the same line by line? This means they are *logically equivalent*.

ii) Exercise

Posted in Logic and Proving Techniques
2 Comments