Practice library
Problems
1Tomorrow's weather forecast consists of the following three claims: it will be cloudy, or it will snow, or the wind will blow; if it is cloudy and snowing, then the wind will blow; if the wind does not …Open2Let \(A\), \(B\) and \(C\) be finite sets whose sizes satisfy \[ |A \triangle C| + |B \triangle C| = |A \triangle B|. \] Prove that \(C\) is then trapped between the intersection and the union of the other …3Consider the set of five Serbian words (written in the Latin alphabet) \[ X = \{\ \text{aca},\ \text{konac},\ \text{lopte},\ \text{loto},\ \text{prst}\ \}, \] and define two relations on \(X\): for words …4Let \(S = \{s, i, c, g\}\). a) How many relations on \(S\) are not symmetric? b) How many antisymmetric relations are there on \(S\)?5Write each of the numbers \(1, 2, 3, \dots, 9\) into exactly one of the nine shapes in the figure - odd numbers into the triangles, even numbers into the squares - so that all \(12\) of the inequality …6At a round table sit \(2014\) people. Each of them either always tells the truth or always lies. Every single person at the table said the following sentence: "Apart from me and my two immediate neighbours, …7Let \(A\) and \(B\) be non-empty sets, neither of which is a subset of the other. For a natural number \(n\) consider the equality \[ \underbrace{A \setminus \bigl(B \setminus (A \setminus (B \setminus \cdots))\bigr)}_{n \text{ sets}} \;=\; \underbrace{A \mathbin{\triangle} \bigl(B \mathbin{\triangle} (A \mathbin{\triangle} (B \mathbin{\triangle} \cdots))\bigr)}_{n \text{ sets}} \] …8Two people are talking. Person \(A\) says: "If we win at football, we will also win at basketball." Person \(B\) says: "If we do not win at basketball, we will win at football." Person \(C\) remarks: "At …9Find all three-element sets \(A\) with the following two properties: (i) the set \(A\) has at least two elements in common with its power set \(\mathcal{P}(A)\); (ii) \(3 \in A\). (It is understood that …10A binary relation \(\varrho\) on the set of real numbers is defined by \[ (\forall x, y \in \mathbb{R}) \quad x \varrho y \iff x^2 - 3xy + 2y^2 = 0 . \] (a) Determine whether \(\varrho\) is reflexive, …11On the set \[ A=\left\{0,\;1,\;-1,\;2,\;\tfrac12,\;-2,\;-\tfrac12,\;3,\;\tfrac13\right\} \] define the relation \[ \rho=\left\{(a,b)\in A\times A \;:\; \left(a^{2}-b^{2}\right)(ab-1)=0\right\}. \] (a) …12A set \(A\) is given. Among its subsets a relation \(\sim\) is defined by \[ X \subseteq A, \quad Y \subseteq A, \qquad X \sim Y \iff X \cap Y \neq \varnothing . \] Determine whether \(\sim\) is reflexive, …13Let \(A\), \(B\), \(C\) and \(D\) be finite sets such that \(D \subseteq A \cup B\), \(D \subseteq C\) and \[ |A \triangle B| + |B \setminus C| + |C \setminus D| + |B \cap D| = |A| . \] (a) Prove that …14Let \(\varrho\) be a binary relation on the set \(\mathbb{N}\) defined, for all \(x, y \in \mathbb{N}\), by \[ x \varrho y \iff (\exists k \in A)\ x + 2y = 3k \cdot x. \] In each of the cases \[ \text{(a) } A = \mathbb{N}, \qquad \text{(b) } A = \mathbb{T}, \qquad \text{(c) } A = \mathbb{Q}, \] …15Ana, Biljana, Vesna and Gordana crossed a river in a canoe in the following way. There were three trips from the left bank to the right bank, and on each of them the canoe carried exactly two of the girls, …16For a set \(X\) let \(\mathcal{P}(X) = \{Y : Y \subseteq X\}\) denote its power set. For example \(\mathcal{P}(\{1\}) = \{\varnothing, \{1\}\}\), since the subsets of \(\{1\}\) are \(\varnothing\) and …17An operation \(\diamond\) on the set \(G = \{1, 2, 3, \dots, 2016\}\) is given by the table \[ \begin{array}{c|cccccc} \diamond & 1 & 2 & 3 & 4 & \cdots & 2016 \\ \hline 1 & 5 & 5 & 5 & 5 & \cdots & 5 \\ 2 & 1 & 2 & 5 & 5 & \cdots & 5 \\ 3 & 4 & 3 & 5 & 5 & \cdots & 5 \\ 4 & 5 & 5 & 5 & 5 & \cdots & 5 \\ \vdots & \vdots & \vdots & \vdots & \vdots & \ddots & \vdots \\ 2016 & 5 & 5 & 5 & 5 & \cdots & 5 \end{array} \] …18Let \(k\) be a positive integer and let \(A\), \(B\), \(C\) be sets such that \(|A \triangle B| = |B \triangle C| = |C \triangle A| = 2k .\) Prove that there is exactly one set \(D\) for which \(|A \triangle D| = |B \triangle D| = |C \triangle D| = k .\) …
Showing 18 of 651 - problem statements are free for everyone.