You may remember the game Nim. We will now play a slightly modified version, called Thrim. In Thrim, there are two piles of stones (or any objects of your choosing), one of size \(1\) and the other of size \(5\).
Whoever takes the last stone wins. The players take it in turns to remove stones - they can only remove stones from one pile at a time, and they can remove at most \(3\) stones at a time.
Does the player going first or the player going second have a winning strategy?
We meet a group of people, all of whom are either knights or liars. Knights always tell the truth and liars always lie. Prove that it’s impossible for someone to say “I’m a liar".
We’re told that Leonhard and Carl are knights or liars (the two of them could be the same or one of each). They have the following conversation.
Leonhard says “If \(49\) is a prime number, then I am a knight."
Carl says “Leonhard is a liar".
Prove that Carl is a liar.
Let \(A=\{1,2,3\}\) and \(B=\{2,4\}\) be two sets containing natural numbers. Find the sets: \(A\cup B\), \(A\cap B\), \(A-B\), \(B-A\).
Let \(A=\{1,2,3,4,5\}\) and \(B=\{2,4,5,7\}\) be two sets containing natural numbers. Find the sets: \(A\cup B\), \(A\cap B\), \(A-B\), \(B-A\).
Given three sets \(A,B,C\). Prove that if we take a union \(A\cup B\) and intersect it with the set \(C\), we will get the same set as if we took a union of \(A\cap C\) and \(B\cap C\). Essentially, prove that \((A\cup B)\cap C = (A\cap C)\cup (B\cap C)\).
\(A,B\) and \(C\) are three sets. Prove that if we take an intersection \(A\cap B\) and unite it with the set \(C\), we will get the same set as if we took an intersection of two unions \(A\cup C\) and \(B\cup C\). Essentially, prove that \((A\cap B)\cup C = (A\cup C)\cap (B\cup C)\). Draw a Venn diagram for the set \((A\cap B)\cup C\).
Let \(A,B\) and \(C\) be three sets. Prove that if we take an intersection \(A\cap B\) and intersect it with the set \(C\), we will get the same set as if we took an intersection of \(A\) with \(B\cap C\). Essentially, prove that it does not matter where to put the brackets in \((A\cap B)\cap C = A\cap (B\cap C)\). Draw a Venn diagram for the set \(A\cap B\cap C\).
Prove the same for the union \((A\cup B)\cup C = A\cup (B\cup C) = A\cup B\cup C\).
For three sets \(A,B,C\) prove that \(A - (B\cup C) = (A-B)\cap (A-C)\). Draw a Venn diagram for this set.
For three sets \(A,B,C\) prove that \(A - (B\cap C) = (A-B)\cup (A-C)\). Draw a Venn diagram for this set.