Practice library

Problems

logic and sets · serbia · difficulty 3-510 of 651easiest first

1CityLogic and setsSerbia 1998Write 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 …Open2CityLogic and setsSerbia 2015At 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, …3CityLogic and setsSerbia 2021Let \(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}} \] …4CityLogic and setsSerbia 1995Two 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 …5CityLogic and setsSerbia 2020Find 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 …6RegionalLogic and setsSerbia 2024A 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, …7RegionalLogic and setsSerbia 2026On 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) …8RegionalLogic and setsSerbia 1999A 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, …9RegionalLogic and setsSerbia 2017Let \(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 …10RegionalLogic and setsSerbia 2023Let \(\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}, \] …

Showing 10 of 651 - problem statements are free for everyone.