Set Theory & Logic Examples & Practice Problems

Work through examples and practice problems for set theory & logic symbols.

Set Theory & Logic Examples

Work through these examples to understand set theory and logic symbols.

Here are common usage examples for each symbol:

Empty Set ( $\emptyset$ or $\{\}$ ): A set containing no elements
Element Of ( $\in$ ): Belongs to a set ( $a \in A$ )
Not Element Of ( $\notin$ ): Does not belong to a set ( $a \notin A$ )
Union ( $\cup$ ): Elements in set A OR set B ( $A \cup B$ )
Intersection ( $\cap$ ): Elements in set A AND set B ( $A \cap B$ )
Subset ( $\subset$ ): A is contained inside B ( $A \subset B$ )
For All ( $\forall$ ): Universal quantifier (true for every instance) ( $\forall x \in \mathbb{R}$ )
There Exists ( $\exists$ ): Existential quantifier (true for at least one instance) ( $\exists x$ )
Implies ( $\Rightarrow$ ): If A is true, then B is true ( $A \Rightarrow B$ )
If and Only If ( $\Leftrightarrow$ ): A and B are logically equivalent ( $A \Leftrightarrow B$ )
Therefore ( $\therefore$ ): Used to state a conclusion
Because ( $\because$ ): Used to state a reason

Problem 1: Let $A = \{1, 2, 3, 4\}$ and $B = \{3, 4, 5, 6\}$ . Find $A \cup B$ and $A \cap B$ .

Solution:

Union ( $A \cup B$ ): Combine all elements from both sets (remove duplicates) $A \cup B = \{1, 2, 3, 4, 5, 6\}$
Intersection ( $A \cap B$ ): Keep only elements that appear in both sets $A \cap B = \{3, 4\}$

Answer: $A \cup B = \{1, 2, 3, 4, 5, 6\}$ and $A \cap B = \{3, 4\}$

Problem 2: Determine if the statement is true: $\forall x \in \mathbb{R}, x^2 \geq 0$

Solution:

This says "for all real numbers $x$ , $x^2$ is greater than or equal to 0"
For any real number $x$ $x$ :
- If $x > 0$ , then $x^2 > 0$
- If $x < 0$ , then $x^2 > 0$ (negative times negative is positive)
- If $x = 0$ , then $x^2 = 0$
Therefore, $x^2 \geq 0$ for all real $x$

Answer: True. $\forall x \in \mathbb{R}, x^2 \geq 0$ is a true statement.

Problem 3: Express in symbols: "There exists a real number $x$ such that $x^2 = 2$ "

Solution:

Answer: $\exists x \in \mathbb{R} : x^2 = 2$ or $\exists x \in \mathbb{R} \mid x^2 = 2$

Problem 4: If $A = \{1, 2, 3\}$ and $B = \{1, 2, 3, 4, 5\}$ , is $A \subset B$ ?

Solution:

Check if every element of $A$ $A$ is in $B$ $B$ :
- $1 \in B$ ✓
- $2 \in B$ ✓
- $3 \in B$ ✓
All elements of $A$ are in $B$ , so $A \subset B$

Answer: Yes, $A \subset B$ (A is a subset of B)

Set theory and logic help you organize information, make logical decisions, and understand relationships in everyday situations.

Sets and Elements ( $\in$ , $\notin$ ): Organize your belongings. Create sets like "Books I've read" = $\{book_1, book_2, book_3\}$ . If a book is in this set, we write $book_1 \in \text{Books I've read}$ .
Subsets ( $\subset$ ): Create categories. "Fiction books" $\subset$ "All books" means all fiction books are also books.
Empty Set ( $\emptyset$ ): Represent "nothing." If you have no unread emails, your unread set is $\emptyset = \{\}$ .

Union ( $\cup$ ): Combine options. If you can choose from Restaurant A $\cup$ Restaurant B, you can go to either restaurant (or both if you visit multiple times).
Intersection ( $\cap$ ): Find common features. If you want a restaurant that's "affordable" $\cap$ "nearby," you're looking for places that are both affordable AND nearby.

Implication ( $\Rightarrow$ ): Understand cause and effect. "If it rains ( $R$ ), then I'll bring an umbrella ( $U$ )" is written as $R \Rightarrow U$ .
If and Only If ( $\Leftrightarrow$ ): Express equivalence. "I'll go to the party if and only if my friend goes" means both conditions must match: $I \Leftrightarrow F$ .
Therefore ( $\therefore$ ): Draw conclusions. "It's raining, and I always bring an umbrella when it rains. $\therefore$ I'll bring an umbrella."

Set Operations: Filter products online. "Items on sale" $\cap$ "In stock" gives you available sale items. "Free shipping" $\cup$ "Store pickup" gives you either option.
Subsets: Understand product categories. "Electronics" $\subset$ "All products" means all electronics are products.

Union: Combine time slots. "Morning meetings" $\cup$ "Afternoon meetings" gives all meeting times.
Intersection: Find common availability. "Your free time" $\cap$ "Friend's free time" shows when you can both meet.
Empty Set: Identify conflicts. If "Your schedule" $\cap$ "Meeting time" = $\emptyset$ , you're free!

For All ( $\forall$ ): Make general statements. " $\forall$ items in my budget, I can afford them" means every item fits your budget.
There Exists ( $\exists$ ): Find solutions. " $\exists$ a store that has this item" means at least one store has it.

Logical Connectives: Structure arguments clearly. Use $\Rightarrow$ for "if-then" statements, $\Leftrightarrow$ for "if and only if" conditions.
Therefore ( $\therefore$ ): Present conclusions. "The evidence shows X. $\therefore$ we should do Y."

When organizing information or making decisions:

Define your sets (what categories or groups are you working with?)
Identify relationships (subset, union, intersection)
Apply logical operations ( $\cup$ for OR, $\cap$ for AND)
Use logical reasoning ( $\Rightarrow$ for implications, $\Leftrightarrow$ for equivalence)
Draw conclusions ( $\therefore$ ) based on your analysis

Set theory and logic provide a structured way to think about relationships and make logical decisions in daily life!