Hiatus and another three rounds of MAT422

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

Solutions to Exercises 6 and 7

Posted in Logic and Proving Techniques | 2 Comments

Protected: Solution to Exercise 4

This content is password protected. To view it please enter your password below:

Posted in Logic and Proving Techniques

Protected: Exercises 5, 6, 7 and 8

This content is password protected. To view it please enter your password below:

Posted in Logic and Proving Techniques

Protected: Exercise 4

This content is password protected. To view it please enter your password below:

Posted in Logic and Proving Techniques

Solution to Problems 4 and 5 in Exercise 2

Posted in Logic and Proving Techniques | Leave a comment

Logic: Distributive rules

Distributive rules:

i) p \vee (q\wedge r) = (p\vee q)\wedge (p\vee r)
ii) p \wedge (q\vee r) = (p\wedge q)\vee (p\wedge r)

Proof: i)

p q r q\wedge r p\vee (q\wedge r)

p\vee q p\vee r (p\vee q)\wedge (p\vee r)
1 1 1 1 1 1 1 1
0 1 1 1 1 1 1 1
1 0 1 0 1 1 1 1
0 0 1 0 0 0 1 0
1 1 0 0 1 1 1 1
0 1 0 0 0 1 0 0
1 0 0 0 1 1 1 1
0 0 0 0 0 0 0 0

Can you see that the values of p \vee (q\wedge r) and (p\vee q)\wedge (p\vee r) are exactly the same line by line? This means they are logically equivalent.

ii) Exercise

Posted in Logic and Proving Techniques | 2 Comments