Skip to main content
Engineering LibreTexts

3.2.B Some terminology

  • Page ID
    9928
  • Before we look at some sample proofs, here is some terminology that we will use through- out our sample proofs and the rest of the course of Reasoning & Logic. 

    • The natural numbers (denoted N) are the numbers 0, 1, 2, . . .. Note that the sum and product of natural numbers are natural numbers.

    • The integers (denoted Z) are the numbers 0, −1, 1, −2, 2, −3, 3, . . .. Note that the sum, product, and difference of integers are integers.

    • The rational numbers (denoted Q) are all numbers that can be written in the form \(\frac{m}{n}\) where and are integers and 

    • The real numbers (denoted R) are numbers that can be written in decimal form, possibly with an infinite number of digits after the decimal point. Note that the sum, product, difference, and quotient of real numbers are real numbers (provided you don’t attempt to divide by 0).

    • The irrational numbers are real numbers that are not rational, i.e., that cannot be written as a ratio of integers. Such numbers include \(\sqrt{3}\)(which we will prove is not rational) and \(\pi\) (if anyone ever told you that \(\pi=\frac{22}{7}\) , remember that \(\frac{22}{7}\) is only  an approximation of the value of \(\pi\)). Later you will learn that we can describe this set of irrational numbers as R − Q, that is: it is all the numbers that are in R but are not in Q.

    • An integer is divisible by iff mk for some integer k. This can also be expressed by saying that evenly divides n, which has the mathematical notation m n. So for example, 2 | 8, but 8 ∤ 2. 2 | iff = 2for some integer kis divisible by 3 iff = 3for some integer k, and so on. Note that if 2 ∤ (i.e., is not divisible by 2), then must be 1 more than a multiple of 2 so = 2k+1 for some integer k. Similarly, if is not divisible by 3 then must be 1 or 2 more than a multiple of 3, so = 3+ 1 or = 3+ 2 for some integer k.
    • An integer is even iff it is divisible by 2 and odd iff it is not.
    • An integer > 1 is prime if it is divisible by exactly two positive integers, namely 1 and itself. Note that a number must be greater than 1 to even have a chance of being termed ‘prime’. In particular, neither 0 nor 1 is prime.