Logic and Set Theory

A set is a grouping of different elements that share similar characteristics and properties. These elements can be subjects or objects, such as numbers, songs, months, people, etc. For example: the set of prime numbers or the set of planets in the solar system.

In turn, a set can also become an element. For example: in the case of a bouquet of flowers, initially a flower would be the first element, but the set of flowers can later be considered a bouquet of flowers, thus becoming a new element.

To represent a set, brackets are used to delimit the elements that comprise it, which are separated from each other by commas. For example: "S" is defined as the set of days of the week, therefore, S = [Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday].

Set Theory

Set theory is the branch of mathematics that studies sets. It was introduced as a discipline by the Russian mathematician Georg Cantor, who defined a set as the collection of finite or infinite elements and used it to explain mathematics.

Cantor studied the set of rational and natural numbers, and his discovery of sets of infinite numbers was revolutionary, as it revealed the existence of infinities of different sizes by asserting that a greater infinity can always be found.

Cantor's discoveries were not well received in the mathematical community at the end of the 19th century. However, today he is considered a visionary in the study of what he called transfinite sets, a study that contributed to the study of abstract and infinite sets.

Types of Sets

When forming a set, the manner and reason for grouping its elements can vary, giving rise to different types of sets, which can be:

Finite Sets: Their elements can be counted or enumerated in their entirety. For example: the months of the year, the days of the week, or the continents.

Infinite Sets: Their elements cannot be counted or enumerated in their entirety because they have no end. For example: numbers.

Unitary Sets: These are composed of a single element. For example: The Moon is the only element in the set "Earth's natural satellites."

Empty set: Does not contain or have any elements.

Homogeneous set: Its elements have the same class or category.

Heterogeneous set: Its elements differ in class and category.

Regarding the relationship between sets, they can be:

Equivalent sets: The number of elements in two or more sets is the same.

Equal sets: Two or more sets are composed of identical elements.

Sets and subsets

A subset is a set that is within another set. That is, set A is a subset of set B if all the elements of A are included in B.

For example:

Mammals are a subset of animals.

Odd numbers are a subset of the set of natural numbers.

The countries of South America are a subset of the set of countries in the world.

Ensemble in other fields

The word ensemble is also used in other areas, such as:

Musical ensemble: A group containing two or more people who, through voice or musical instruments, perform musical works.

Ensemble in programming: A group of diverse values, which do not have a specific order or duplicate values.

Vocal ensemble: A group of people who perform a musical work in a coordinated manner.

Remember to review the answers to the open questions at the bottom of this page.

1. Which of the following examples corresponds to a finite set?

a. Natural numbers

b. Integers

c. The countries of the solar system

d. Multiples of 5

2. What set is composed of a single element?

a. Unitary set

b. Empty set

c. Empty set

d. Heterogeneous set

3. What characterizes a heterogeneous set?

a. Has no elements

b. All its elements are equal

c. Its elements are of different classes

d. Has a single element

4. What does it mean that A is a subset of B?

a. That A and B are equal

b. That A has more elements than B

c. That B has no elements

d. That all the elements of A are inside B

5. When are two sets said to be equivalent?

a. When they have the same number of elements

b. When they have no elements

c. When they contain exactly the same number of elements

d. When one is inside the other

Once you click this button, the questions will close and you will not be able to change your answer.

6. Explain the difference between a homogeneous and heterogeneous set.

7. What is the difference between equivalent and equal sets?

8. What does it mean for a set to become an element?

9. How does set theory relate to programming?

10. Why are mammals said to be a subset of animals?

Still have questions?

We recommend visiting the following material for further knowledge or understanding of the topic:

1. Logic and Sets

2. Chapter 1: Logic and Set Theory

3. Set Theory

Answers to open questions:

6. A homogeneous set is made up of elements of the same class, while a heterogeneous set has elements from different categories.

7. Equivalent sets have the same number of elements, while identical sets have exactly the same number of elements.

8. This means that a group of elements (such as a bouquet of flowers) can then be considered a single element within another set.

9. In programming, sets are used as data structures that store values ​​without order or duplicates.

10. Because all mammals belong to the group of animals, but not all animals are mammals.




References:

1. Equipo editorial, Etecé. (2024, 25 noviembre). Conjunto - Concepto, tipos y diferentes acepciones. Concepto. https://concepto.de/que-es-un-conjunto/ https://concepto.de/que-es-un-conjunto/

2. 1.5 Logic and Sets. (s. f.). https://www.whitman.edu/mathematics/higher_math_online/section01.05.html https://www.whitman.edu/mathematics/higher_math_online/section01.05.html

3. Chapter 1: Logic and Set Theory. (s. f.). http://pfister.ee.duke.edu/courses/ece586/notes_ch1.pdf http://pfister.ee.duke.edu/courses/ece586/notes_ch1.pdf

4. Libretexts. (2021b, octubre 20). 5: set theory. Mathematics LibreTexts. https://math.libretexts.org/Courses/SUNY_Schenectady_County_Community_College/Discrete_Structures/05%3A_Set_Theory https://math.libretexts.org/Courses/SUNY_Schenectady_County_Community_College/Discrete_Structures/05%3A_Set_Theory

5. Dr. Will Wood. (2021, 3 agosto). Set Theory | All-in-One video [Vídeo]. YouTube. https://www.youtube.com/watch?v=5ZhNmKb-dqk https://www.youtube.com/watch?v=5ZhNmKb-dqk

6. Dr. Hoover. (2020, 28 agosto). Sets Theory and Logic Lecture 1  Sets [Vídeo]. YouTube. https://www.youtube.com/watch?v=usjOF3eHhHs https://www.youtube.com/watch?v=usjOF3eHhHs

7. harris math. (2013, 17 octubre). Logic and Set Theory [Vídeo]. YouTube. https://www.youtube.com/watch?v=dH4RHHsTf6Q https://www.youtube.com/watch?v=dH4RHHsTf6Q