Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    Only $9.99/month after trial. Cancel anytime.

    Set Theory Essentials
    Set Theory Essentials
    Set Theory Essentials
    Ebook129 pages1 hour

    Set Theory Essentials

    By Emil Milewski

    ()

    Read preview

    About this ebook

    REA’s Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Set Theory includes elementary logic, sets, relations, functions, denumerable and non-denumerable sets, cardinal numbers, Cantor's theorem, axiom of choice, and order relations.
    LanguageEnglish
    PublisherResearch & Education Association
    Release dateJan 1, 2013
    ISBN9780738672069
    Set Theory Essentials

    Read more from Emil Milewski

    Related to Set Theory Essentials

    Related ebooks

    Mathematics For You

    View More
    View More

    Related podcast episodes

    Related articles

    • Article

      Physicists Attack Math’s $1,000,000 Question

      Apr 4, 2017

      Physicists are attempting to map the distribution of the prime numbers to the energy levels of a particular quantum system.

      4 min read

    • Article

      Graph Theory In A Nutshell

      May 5, 2020

      A graph G(V,E) is a finite, non-empty set of vertices V (or nodes) and a set of edges E. If the edges E that have the form of (a,b) are an ordered pairs of vertices, then we have a directed graph. In contrast, if the edges E are unordered pairs of ve

      1 min read

    • Article

      In Mathematics, Mistakes Aren’t What They Used To Be: Computers can’t invent, but they’re changing the field anyway.

      May 7, 2015

      Vladimir Voevodsky had no sooner sat himself down at the sparkling table, set for a dinner party at the illustrious Institute for Advanced Study in Princeton, New Jersey, than he overturned his empty wine glass, flipping bowl over stem and standing t

      9 min read

    • Article

      The Deepest Uncertainty

      May 16, 2019

      Georg Cantor died in 1918 in a sanatorium in Halle, Germany. A pre-eminent mathematician, he had laid the foundation for the theory of infinite numbers in the 1870s. At the time, his ideas received hostile opposition from prominent mathematicians in

      4 min read

    • Article

      Microcontrollers In Amateur Radio

      Aug 1, 2022

      My way of teaching about program data has always been a little different than the way most approach the subject. As you may know, pointers in C are a special type of variable that allows you to access data in a very efficient manner. Indeed, many com

      6 min read

    • Article

      The Fractional Method

      Jan 19, 2023

      The Fractional Method
      1 min read

    • Article

      The Deepest Uncertainty: When a hypothesis is neither true nor false.

      Jun 6, 2013

      Georg Cantor died in 1918 in a sanatorium in Halle, Germany. A pre-eminent mathematician, he had laid the foundation for the theory of infinite numbers in the 1870s. At the time, his ideas received hostile opposition from prominent mathematicians in

      4 min read

    • Article

      A Supermassive Lens On The Constants Of Nature

      Nov 25, 2020

      The 2020 Nobel Prize in Physics went to three researchers who confirmed that Einstein’s general relativity predicts black holes, and established that the center of our own galaxy houses a supermassive black hole with the equivalent of 4 million suns

      9 min read

    • Article

      A Universe Made of Tiny, Random Chunks: The space-time that makes up our universe is inherently uncertain.

      Jun 6, 2013

      One of science’s most crucial yet underappreciated achievements is the description of the physical universe using mathematics—in particular, using continuous, smooth mathematical functions, like how a sine wave describes both light and sound. This is

      6 min read

    • Article

      Fine Tuning Is Just Fine

      Sep 20, 2018

      It is hard to overstate the anticipation that preceded the opening of the Large Hadron Collider (LHC) 10 years ago. Smashing protons together at energies well above those produced at any previous particle accelerator, the LHC seemed capable of vindic

      9 min read

    Related categories

    Reviews for Set Theory Essentials

    0 ratings

    0 ratings0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words

      Book preview

      Set Theory Essentials - Emil Milewski

      NUMBERS

      CHAPTER 1

      ELEMENTARY LOGIC

      1.1 STATEMENTS AND THEIR DISJUNCTION AND CONJUNCTION

      By a statement we mean a declarative sentence that has one of two logical values, 0 and 1 (denoted also by F and T). The value 0 is assigned to a false statement and the value 1 to a true statement. All the statements in mathematics are of this kind, i.e. they take values of either 0 or 1.

      Let p, q, r, ... be statements

      Definition of Disjunction

      The disjunction of the statements p and q (also called the sum), denoted by p ∨ q (read "p or q") is the compound statement which is true if at least one of the components is true.

      Definition of Conjunction

      The conjunction of the statements p, q (also called the product), denoted by p ∧ q (read "p and q") is the compound statement which is true if both statements are true.

      The truth table for p ∨ q and p ∧ q

      Definition of Equivalence

      Let p and q be two statements. p and q are equivalent, denoted by

      p = q or p ⇔ q,

      if and only if p and q have the same logical value.

      Theorem 1

      If p, q and r are statements,

      then

      (1)

      (2)

      (3)

      (4)

      (5)

      The last equivalence (5) is called the distributive law.

      1.2 NEGATION AND IMPLICATION

      The negation of a true statement is a false statement and the negation of a false statement is a true statement.

      The negation of a statement p is denoted by ∼p or by ¬p.

      The truth table for negation

      Note: ∼(∼p) ≡ p

      Theorem 2 (Aristotelian Logic)

      In classical logic Theorem 2 is formulated as follows:

      From two contradictory statements only one is true; no statement can be true simultaneously with its negation.

      Theorem 3 (De Morgan Laws)

      Observe that the sum can be defined with the aid of product and negation. In fact, from Theorem 3 p ∨ q ≡ ∼((∼p) ∧ (∼q))

      Similarly the product can be defined with the aid of sum and negation : p ∧ q ≡ ∼((∼p) ∨ (∼q))

      Definition of Turplication

      Turplication p ⇒ q is defined by

      p ⇒ q is read: p implies q, or:

      if p, then q.

      The truth table for implication:

      We have

      if p ⇒ q and q ⇒ p then p ≡ q

      Turplication has properties analogous to deduction. However, the meaning of the expression implication is different from the expression deduction.

      Theorem 4: The Syllogism Law

      The Law of Contraposition

      The proof by reductio ad absurdum (or the indirect method of proof) depends on the law of contraposition.

      Some properties of implication:

      Definition of Tautology

      A statement that is true in each of all logical possibilities is said to be a tautology.

      Examples of tautologies

      p ∨ ∼p

      p ⇒ p

      p ∧ q ⇒ q

      The truth tables can be applied to prove any law of logic. The other method is deductive reasoning.

      Example:

      Prove that (p ⇒ r) ∨ (q ⇒ s) ≡ (p ∧ q) ⇒ (r ∨ s)

      We have (p ⇒ r) ∨ (q ⇒ s)

      ≡((∼p) ∨ r) ∨ ((∼q) ∨ s)

      ≡((∼p) ∨ (∼q)) ∨ (r ∨ s)

      ≡(∼(p ∧ q)) ∨ (r ∨ s)

      ≡ (p ∧ q) ⇒ (r ∨ s)

      In this case deductive reasoning is the faster way to solve the problem because the truth table requires 2⁴ =

      Enjoying the preview?
      Page 1 of 1