DOCSLIB.ORG

The Addition and Subtraction Properties of Equality Linear

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Addition and Subtraction Properties of Equality Linear MAT 056: Basic Algebra I Learning Unit 4: Handout The Addition and Subtraction Properties of Equality Linear equation A linear equation in one variable can be written as follows. 푎푥 + 푏 = 푐 a, b and c are any real numbers. Example 1 The following equations are examples of linear equations. 2푥 + 8 = 16 5푥 = −50 푥 − 6 = 10 A solution of an equation is a replacement for the variable that makes the equation true. Example 2 Find the solution to the following equation. 푥 + 3 = 10 The solution of this equation is 7 since replacing 푥 with 7 will make the equation true. 푥 + 3 = 10 7 + 3 = 10 10 = 10 The properties of equality help us find a solution to an equation. Addition Property of Equality Let 푎, 푏, and 푐 represent any real numbers. You can add the same number to both sides of an equation and get an equivalent equation. 푎 = 푏 푎 + 푐 = 푏 + 푐 Subtraction Property of Equality Let 푎, 푏, and 푐 represent any real numbers. You can subtract the same number from both sides of an equation and get an equivalent equation. 푎 = 푏 푎 − 푐 = 푏 − 푐 Page 1 of 10 MAT 056: Basic Algebra I Learning Unit 4: Handout When solving an equation for 푥, we must get 푥 alone. We can do this by performing the inverse operation. Addition and subtraction are inverse operations. We can add the same number to each side of an equation or subtract the same number from each side of an equation. Example 3 푥 + 6 = 10 The inverse of adding 6 is subtracting 6. 푥 + 6 − 6 = 10 − 6 Subtract 6 from each side of the equation. 푥 + 0 = 4 Answer: 풙 = ퟒ Example 4 푥 − 8 = 12 The inverse of subtracting 8 is adding 8. Add 8 to each side of the equation. 푥 − 8 + 8 = 12 + 8 Adding opposites will give a sum of zero. −8 + 8 = 0 푥 + 0 = 20 Answer: 풙 = ퟐퟎ Example 5 푥 + 4.5 = 10.8 The inverse of adding 4.5 is subtracting 4.5. 푥 + 4.5 − 4.5 = 10.8 − 4.5 Subtract 4.5 from each side of the equation. 푥 + 0 = 6.3 Answer: 풙 = ퟔ. ퟑ Page 2 of 10 MAT 056: Basic Algebra I Learning Unit 4: Handout Example 6 1 3 1 1 1 푥 − = The inverse of subtracting is adding . Add to 3 4 3 3 3 each side of the equation. 1 1 3 1 푥 − + = + Adding opposites will give a sum of zero. 3 3 4 3 1 1 − + = 0. 3 3 When adding fractions, get a common 3 1 denominator. + 4 3 3 푥 3 9 1 푥 4 4 = and = 4 푥 3 12 3 푥 4 12 9 4 푥 + 0 = + 12 12 13 푥 = 12 ퟏ Answer: 풙 = ퟏ ퟏퟐ Example 7 20 = 푥 − 9 Sometimes 푥 is on the right side of the equation. The inverse of subtracting 9 is adding 9. 20 + 9 = 푥 − 9 + 9 Add 9 to each side of the equation. 29 = 푥 + 0 Answer: ퟐퟗ = 풙 This is the same as 푥 = 29. Example 8 5 = 푥 + 8 Here 푥 is on the right side of the equation. The inverse of adding 8 is subtracting 8. 5 − 8 = 푥 + 8 − 8 Subtract 8 from each side of the equation. −3 = 푥 + 0 Answer: −ퟑ = 풙 This is the same as 푥 = −3. Page 3 of 10 MAT 056: Basic Algebra I Learning Unit 4: Handout Combine like terms Sometimes we need to simplify one or both sides of an equation before using the addition or subtraction property of equality. Combine like terms on each side of the equation. Example 9 4푥 + 6 − 3푥 − 3 = 15 Combine like terms on the left side of the equation. 4푥 − 3푥 + 6 − 3 = 15 Change the order. Combine the 푥 variables. 1푥 + 6 − 3 = 15 Combine the numbers. 1푥 + 3 = 15 1푥 + 3 − 3 = 15 − 3 Subtract 3 from each side of the equation. 1푥 + 0 = 12 1푥 = 12 Anwer: 풙 = ퟏퟐ Example 10 2.3 = −7푐 + 0.5 + 8푐 + 0.1 Combine like terms on the right side of the equation. 2.3 = −7푐 + 8푐 + 0.5 + 0.1 Combine the c variables. 2.3 = 1푐 + 0.5 + 0.1 Combine the decimal numbers. 2.3 = 1푐 + 0.6 Now get 푐 alone on the right side of the equation. 2.3 − 0.6 = 1푐 + 0.6 − 0.6 Subtract 0.6 on each side of the equation. 1.7 = 1푐 + 0 Answer: ퟏ. ퟕ = 풄 Page 4 of 10 MAT 056: Basic Algebra I Learning Unit 4: Handout The Opposite of 풙 A minus sign in front of 푥 can be read as the opposite of 푥. Let 푎 represent any real number. −푥 = 푎 The opposite of 푥 is 푎. 푥 = −푎 Therefore 푥 equals the opposite of 푎. Example 11 −푥 = 8 The opposite of 푥 is 8. Answer: 풙 = −ퟖ Therefore 푥 = −8. Example 12 −푥 = −5 The opposite of 푥 is −5. Answer: 풙 = ퟓ Therefore 푥 = 5. Variables on Both Sides of the Equation Sometimes variables are on both sides of the equation. We need to get the variables on one side of the equation and numbers on the other side. You can get the variables alone on either side of the equation. Example13 8푥 + 5 = 7푥 Here the 푥 variable appears on both sides of the equation. You must eliminate the 푥 variable on one side of the equation. One way to do this is to subtract 7푥 on each side. 8푥 − 7푥 + 5 = 7푥 − 7푥 Notice that 7푥 − 7푥 = 0. 1푥 + 5 = 0 Now 푥 is only on the left side of the equation. Next, get 푥 alone. 1푥 + 5 − 5 = 0 − 5 Subtract 5 on each side of the equation. 1푥 + 0 = −5 1푥 = −5 Answer: 풙 = −ퟓ There is often more than one way to solve a problem. If you use the addition and subtraction properties correctly, you will always get the correct answer. Page 5 of 10 MAT 056: Basic Algebra I Learning Unit 4: Handout Example 14 We could work the problem in example 13 another way. We could eliminate the variable on the left side of the equation. 8푥 + 5 = 7푥 8푥 − 8푥 + 5 = 7푥 − 8푥 Subtract 8푥 on each side of the equation. 0 + 5 = −1푥 Now 푥 is just on the right side of the equation. 5 = −푥 This says that 5 equals the opposite of 푥. Answer: −ퟓ = 풙 Therefore −5 equals 푥. This is the same solution we found in example 13. You can eliminate the variable from either side of the equation and still get the same answer. Eliminate the Parentheses in an Equation Example15 5(푥 − 1) = 6푥 + 4 Distribute to get rid of the parentheses. 5푥 − 5 = 6푥 + 4 5푥 − 6푥 − 5 = 6푥 − 6푥 + 4 Eliminate the x variable on the right side of the equation. −1푥 − 5 = 0 + 4 −1푥 − 5 = 4 Now get x alone on the left side of the equation. Add 5 to each side of the equation. Don’t try to eliminate the coefficient of x which is −1 before adding 5 to each side of the equation. −1푥 − 5 + 5 = 4 + 5 Add 5 to each side of the equation. −1푥 + 0 = 9 −1푥 = 9 Remember: −1푥 = −푥 −푥 = 9 This means the opposite of 푥 equals 9. Answer: 풙 = −ퟗ Therefore 푥 equals −9. Page 6 of 10 MAT 056: Basic Algebra I Learning Unit 4: Handout Example 16 −6푥 + 8 = 10 − 5푥 + 14 −6푥 + 8 = 10 + 14 − 5푥 Combine like terms on the right side of the equation. −6푥 + 8 = 24 − 5푥 Eliminate the x variable on the right side of the equation. −6푥 + 5푥 + 8 = 24 − 5푥 + 5푥 Add 5푥 to each side of the equation. −1푥 + 8 = 24 + 0 −1푥 + 8 = 24 Now get x alone. −1푥 + 8 − 8 = 24 − 8 Subtract 8 from each side of the equation. −1푥 + 0 = 16 −1푥 = 16 Remember: −1푥 = −푥 −푥 = 16 This means the opposite of 푥 equals 16. Answer: 풙 = −ퟏퟔ Therefore 푥 equals −16. Example 17 9푥 − 3 − 5푥 = −3푥 + 8 + 6푥 9푥 − 5푥 − 3 = −3푥 + 8 + 6푥 Combine like terms on the left side of the equation. 4푥 − 3 = −3푥 + 6푥 + 8 Combine like terms on the right side of the equation. 4푥 − 3 = 3푥 + 8 Eliminate 3푥 on the right side of the equation. 4푥 − 3푥 − 3 = 3푥 − 3푥 + 8 Subtract 3푥 on each side of the equation. 1푥 − 3 = 0 + 8 1푥 − 3 = 8 1푥 − 3 + 3 = 8 + 3 Add 3 to each side of the equation. 1푥 + 0 = 11 1푥 = 11 Answer: 풙 = ퟏퟏ Page 7 of 10 MAT 056: Basic Algebra I Learning Unit 4: Handout Example 18 8(푎 + 2) − 10 − 푎 = 6(푎 + 1) Distribute to eliminate the parentheses. Multiply by the number outside the parentheses. 8푎 + 16 − 10 − 푎 = 6푎 + 6 Combine terms on the left side of the equation. 8푎 − 푎 + 16 − 10 = 6푎 + 6 Combine the 푎 variables. 8푎 − 1푎 + 16 − 10 = 6푎 + 6 Remember: −푎 = −1푎 7푎 + 16 − 10 = 6푎 + 6 7푎 + 6 = 6푎 + 6 Eliminate the variable on the right side of the equation. 7푎 − 6푎 + 6 = 6푎 − 6푎 + 6 Subtract 6푎 on each side of the equation. 1푎 + 6 = 0 + 6 1푎 + 6 = 6 Now get 푎 alone on the left side of the equation. 1푎 + 6 − 6 = 6 − 6 Subtract 6 on each side of the equation. 1푎 + 0 = 0 1푎 = 0 Answer: 풂 = ퟎ Page 8 of 10 MAT 056: Basic Algebra I Learning Unit 4: Handout Some equations have no solution and some have an infinite number of solutions.
Load more

Recommended publications
  • 2.1 the Algebra of Sets
    Chapter 2 I Abstract Algebra 83 part of abstract algebra, sets are fundamental to all areas of mathematics and we need to establish a precise language for sets. We also explore operations on sets and relations between sets, developing an “algebra of sets” that strongly resembles aspects of the algebra of sentential logic. In addition, as we discussed in chapter 1, a fundamental goal in mathematics is crafting articulate, thorough, convincing, and insightful arguments for the truth of mathematical statements. We continue the development of theorem-proving and proof-writing skills in the context of basic set theory. After exploring the algebra of sets, we study two number systems denoted Zn and U(n) that are closely related to the integers. Our approach is based on a widely used strategy of mathematicians: we work with specific examples and look for general patterns. This study leads to the definition of modified addition and multiplication operations on certain finite subsets of the integers. We isolate key axioms, or properties, that are satisfied by these and many other number systems and then examine number systems that share the “group” properties of the integers. Finally, we consider an application of this mathematics to check digit schemes, which have become increasingly important for the success of business and telecommunications in our technologically based society. Through the study of these topics, we engage in a thorough introduction to abstract algebra from the perspective of the mathematician— working with specific examples to identify key abstract properties common to diverse and interesting mathematical systems. 2.1 The Algebra of Sets Intuitively, a set is a “collection” of objects known as “elements.” But in the early 1900’s, a radical transformation occurred in mathematicians’ understanding of sets when the British philosopher Bertrand Russell identified a fundamental paradox inherent in this intuitive notion of a set (this paradox is discussed in exercises 66–70 at the end of this section).
    [Show full text]
  • Reasoning About Equations Using Equality
    Mathematics Instructional Plan – Grade 4 Reasoning About Equations Using Equality Strand: Patterns, Functions, Algebra Topic: Using reasoning to assess the equality in closed and open arithmetic equations Primary SOL: 4.16 The student will recognize and demonstrate the meaning of equality in an equation. Related SOL: 4.4a Materials: Partners Explore Equality and Equations activity sheet (attached) Vocabulary equal symbol (=), equality, equation, expression, not equal symbol (≠), number sentence, open number sentence, reasoning Student/Teacher Actions: What should students be doing? What should teachers be doing? 1. Activate students’ prior knowledge about the equal sign. Formally assess what students already know and what misconceptions they have. Ask students to open their notebooks to a clean sheet of paper and draw lines to divide the sheet into thirds as shown below. Create a poster of the same graphic organizer for the room. This activity should take no more than 10 minutes; it is not a teaching opportunity but simply a data- collection activity. Equality and the Equal Sign (=) I know that- I wonder if- I learned that- 1 1 1 a. Let students know they will be creating a graphic organizer about equality and the equal sign; that is, what it means and how it is used. The organizer is to help them keep track of what they know, what they wonder, and what they learn. The “I know that” column is where they can write things they are pretty sure are correct. The “I wonder if” column is where they can write things they have questions about and also where they can put things they think may be true but they are not sure.
    [Show full text]
  • The Five Fundamental Operations of Mathematics: Addition, Subtraction
    The five fundamental operations of mathematics: addition, subtraction, multiplication, division, and modular forms Kenneth A. Ribet UC Berkeley Trinity University March 31, 2008 Kenneth A. Ribet Five fundamental operations This talk is about counting, and it’s about solving equations. Counting is a very familiar activity in mathematics. Many universities teach sophomore-level courses on discrete mathematics that turn out to be mostly about counting. For example, we ask our students to find the number of different ways of constituting a bag of a dozen lollipops if there are 5 different flavors. (The answer is 1820, I think.) Kenneth A. Ribet Five fundamental operations Solving equations is even more of a flagship activity for mathematicians. At a mathematics conference at Sundance, Robert Redford told a group of my colleagues “I hope you solve all your equations”! The kind of equations that I like to solve are Diophantine equations. Diophantus of Alexandria (third century AD) was Robert Redford’s kind of mathematician. This “father of algebra” focused on the solution to algebraic equations, especially in contexts where the solutions are constrained to be whole numbers or fractions. Kenneth A. Ribet Five fundamental operations Here’s a typical example. Consider the equation y 2 = x3 + 1. In an algebra or high school class, we might graph this equation in the plane; there’s little challenge. But what if we ask for solutions in integers (i.e., whole numbers)? It is relatively easy to discover the solutions (0; ±1), (−1; 0) and (2; ±3), and Diophantus might have asked if there are any more.
    [Show full text]
  • A Quick Algebra Review
    A Quick Algebra Review 1. Simplifying Expressions 2. Solving Equations 3. Problem Solving 4. Inequalities 5. Absolute Values 6. Linear Equations 7. Systems of Equations 8. Laws of Exponents 9. Quadratics 10. Rationals 11. Radicals Simplifying Expressions An expression is a mathematical “phrase.” Expressions contain numbers and variables, but not an equal sign. An equation has an “equal” sign. For example: Expression: Equation: 5 + 3 5 + 3 = 8 x + 3 x + 3 = 8 (x + 4)(x – 2) (x + 4)(x – 2) = 10 x² + 5x + 6 x² + 5x + 6 = 0 x – 8 x – 8 > 3 When we simplify an expression, we work until there are as few terms as possible. This process makes the expression easier to use, (that’s why it’s called “simplify”). The first thing we want to do when simplifying an expression is to combine like terms. For example: There are many terms to look at! Let’s start with x². There Simplify: are no other terms with x² in them, so we move on. 10x x² + 10x – 6 – 5x + 4 and 5x are like terms, so we add their coefficients = x² + 5x – 6 + 4 together. 10 + (-5) = 5, so we write 5x. -6 and 4 are also = x² + 5x – 2 like terms, so we can combine them to get -2. Isn’t the simplified expression much nicer? Now you try: x² + 5x + 3x² + x³ - 5 + 3 [You should get x³ + 4x² + 5x – 2] Order of Operations PEMDAS – Please Excuse My Dear Aunt Sally, remember that from Algebra class? It tells the order in which we can complete operations when solving an equation.
    [Show full text]
  • 7.2 Binary Operators Closure
    last edited April 19, 2016 7.2 Binary Operators A precise discussion of symmetry benefits from the development of what math- ematicians call a group, which is a special kind of set we have not yet explicitly considered. However, before we define a group and explore its properties, we reconsider several familiar sets and some of their most basic features. Over the last several sections, we have considered many di↵erent kinds of sets. We have considered sets of integers (natural numbers, even numbers, odd numbers), sets of rational numbers, sets of vertices, edges, colors, polyhedra and many others. In many of these examples – though certainly not in all of them – we are familiar with rules that tell us how to combine two elements to form another element. For example, if we are dealing with the natural numbers, we might considered the rules of addition, or the rules of multiplication, both of which tell us how to take two elements of N and combine them to give us a (possibly distinct) third element. This motivates the following definition. Definition 26. Given a set S,abinary operator ? is a rule that takes two elements a, b S and manipulates them to give us a third, not necessarily distinct, element2 a?b. Although the term binary operator might be new to us, we are already familiar with many examples. As hinted to earlier, the rule for adding two numbers to give us a third number is a binary operator on the set of integers, or on the set of rational numbers, or on the set of real numbers.
    [Show full text]
  • Rules for Matrix Operations
    Math 2270 - Lecture 8: Rules for Matrix Operations Dylan Zwick Fall 2012 This lecture covers section 2.4 of the textbook. 1 Matrix Basix Most of this lecture is about formalizing rules and operations that we’ve already been using in the class up to this point. So, it should be mostly a review, but a necessary one. If any of this is new to you please make sure you understand it, as it is the foundation for everything else we’ll be doing in this course! A matrix is a rectangular array of numbers, and an “m by n” matrix, also written rn x n, has rn rows and n columns. We can add two matrices if they are the same shape and size. Addition is termwise. We can also mul tiply any matrix A by a constant c, and this multiplication just multiplies every entry of A by c. For example: /2 3\ /3 5\ /5 8 (34 )+( 10 Hf \i 2) \\2 3) \\3 5 /1 2\ /3 6 3 3 ‘ = 9 12 1 I 1 2 4) \6 12 1 Moving on. Matrix multiplication is more tricky than matrix addition, because it isn’t done termwise. In fact, if two matrices have the same size and shape, it’s not necessarily true that you can multiply them. In fact, it’s only true if that shape is square. In order to multiply two matrices A and B to get AB the number of columns of A must equal the number of rows of B. So, we could not, for example, multiply a 2 x 3 matrix by a 2 x 3 matrix.
    [Show full text]
  • Basic Concepts of Set Theory, Functions and Relations 1. Basic
    Ling 310, adapted from UMass Ling 409, Partee lecture notes March 1, 2006 p. 1 Basic Concepts of Set Theory, Functions and Relations 1. Basic Concepts of Set Theory........................................................................................................................1 1.1. Sets and elements ...................................................................................................................................1 1.2. Specification of sets ...............................................................................................................................2 1.3. Identity and cardinality ..........................................................................................................................3 1.4. Subsets ...................................................................................................................................................4 1.5. Power sets .............................................................................................................................................4 1.6. Operations on sets: union, intersection...................................................................................................4 1.7 More operations on sets: difference, complement...................................................................................5 1.8. Set-theoretic equalities ...........................................................................................................................5 Chapter 2. Relations and Functions ..................................................................................................................6
    [Show full text]
  • Binary Operations
    4-22-2007 Binary Operations Definition. A binary operation on a set X is a function f : X × X → X. In other words, a binary operation takes a pair of elements of X and produces an element of X. It’s customary to use infix notation for binary operations. Thus, rather than write f(a, b) for the binary operation acting on elements a, b ∈ X, you write afb. Since all those letters can get confusing, it’s also customary to use certain symbols — +, ·, ∗ — for binary operations. Thus, f(a, b) becomes (say) a + b or a · b or a ∗ b. Example. Addition is a binary operation on the set Z of integers: For every pair of integers m, n, there corresponds an integer m + n. Multiplication is also a binary operation on the set Z of integers: For every pair of integers m, n, there corresponds an integer m · n. However, division is not a binary operation on the set Z of integers. For example, if I take the pair 3 (3, 0), I can’t perform the operation . A binary operation on a set must be defined for all pairs of elements 0 from the set. Likewise, a ∗ b = (a random number bigger than a or b) does not define a binary operation on Z. In this case, I don’t have a function Z × Z → Z, since the output is ambiguously defined. (Is 3 ∗ 5 equal to 6? Or is it 117?) When a binary operation occurs in mathematics, it usually has properties that make it useful in con- structing abstract structures.
    [Show full text]
  • Binary Operations
    Binary operations 1 Binary operations The essence of algebra is to combine two things and get a third. We make this into a definition: Definition 1.1. Let X be a set. A binary operation on X is a function F : X × X ! X. However, we don't write the value of the function on a pair (a; b) as F (a; b), but rather use some intermediate symbol to denote this value, such as a + b or a · b, often simply abbreviated as ab, or a ◦ b. For the moment, we will often use a ∗ b to denote an arbitrary binary operation. Definition 1.2. A binary structure (X; ∗) is a pair consisting of a set X and a binary operation on X. Example 1.3. The examples are almost too numerous to mention. For example, using +, we have (N; +), (Z; +), (Q; +), (R; +), (C; +), as well as n vector space and matrix examples such as (R ; +) or (Mn;m(R); +). Using n subtraction, we have (Z; −), (Q; −), (R; −), (C; −), (R ; −), (Mn;m(R); −), but not (N; −). For multiplication, we have (N; ·), (Z; ·), (Q; ·), (R; ·), (C; ·). If we define ∗ ∗ ∗ Q = fa 2 Q : a 6= 0g, R = fa 2 R : a 6= 0g, C = fa 2 C : a 6= 0g, ∗ ∗ ∗ then (Q ; ·), (R ; ·), (C ; ·) are also binary structures. But, for example, ∗ (Q ; +) is not a binary structure. Likewise, (U(1); ·) and (µn; ·) are binary structures. In addition there are matrix examples: (Mn(R); ·), (GLn(R); ·), (SLn(R); ·), (On; ·), (SOn; ·). Next, there are function composition examples: for a set X,(XX ; ◦) and (SX ; ◦).
    [Show full text]
  • 1.3 Matrices and Matrix Operations 1.3.1 De…Nitions and Notation Matrices Are Yet Another Mathematical Object
    20 CHAPTER 1. SYSTEMS OF LINEAR EQUATIONS AND MATRICES 1.3 Matrices and Matrix Operations 1.3.1 De…nitions and Notation Matrices are yet another mathematical object. Learning about matrices means learning what they are, how they are represented, the types of operations which can be performed on them, their properties and …nally their applications. De…nition 50 (matrix) 1. A matrix is a rectangular array of numbers. in which not only the value of the number is important but also its position in the array. 2. The numbers in the array are called the entries of the matrix. 3. The size of the matrix is described by the number of its rows and columns (always in this order). An m n matrix is a matrix which has m rows and n columns. 4. The elements (or the entries) of a matrix are generally enclosed in brack- ets, double-subscripting is used to index the elements. The …rst subscript always denote the row position, the second denotes the column position. For example a11 a12 ::: a1n a21 a22 ::: a2n A = 2 ::: ::: ::: ::: 3 (1.5) 6 ::: ::: ::: ::: 7 6 7 6 am1 am2 ::: amn 7 6 7 =4 [aij] , i = 1; 2; :::; m, j =5 1; 2; :::; n (1.6) Enclosing the general element aij in square brackets is another way of representing a matrix A . 5. When m = n , the matrix is said to be a square matrix. 6. The main diagonal in a square matrix contains the elements a11; a22; a33; ::: 7. A matrix is said to be upper triangular if all its entries below the main diagonal are 0.
    [Show full text]
  • Operation CLUE WORDS Remember, Read Each Question Carefully
    Operation CLUE WORDS Remember, read each question carefully. THINK about what the question is asking. Addition Subtraction add difference altogether fewer and gave away both take away in all how many more sum how much longer/ total shorter/smaller increase left less change Multiplication decrease each same twice Division product share equally in all (each) each double quotient every ©2012 Amber Polk-Adventures of a Third Grade Teacher Clue Word Cut and Paste Cut out the clue words. Sort and glue under the operation heading. Subtraction Multiplication Addition Division add each difference share equally both fewer in all twice product every gave away change quotient sum total left double less decrease increase ©2012 Amber Polk-Adventures of a Third Grade Teacher Clue Word Problems Underline the clue word in each word problem. Write the equation. Solve the problem. 1. Mark has 17 gum balls. He 5. Sara and her two friends bake gives 6 gumballs to Amber. a pan of 12 brownies. If the girls How many gumballs does Mark share the brownies equally, how have left? many will each girl have? 2. Lauren scored 6 points during 6. Erica ate 12 grapes. Riley ate the soccer game. Diana scored 3 more grapes than Erica. How twice as many points. How many grapes did both girls eat? many points did Diana score? 3. Kyle has 12 baseball cards. 7. Alice the cat is 12 inches long. Jason has 9 baseball cards. Turner the dog is 19 inches long. How many do they have How much longer is Turner? altogether? 4.
    [Show full text]
  • First-Order Logic
    Chapter 5 First-Order Logic 5.1 INTRODUCTION In propositional logic, it is not possible to express assertions about elements of a structure. The weak expressive power of propositional logic accounts for its relative mathematical simplicity, but it is a very severe limitation, and it is desirable to have more expressive logics. First-order logic is a considerably richer logic than propositional logic, but yet enjoys many nice mathemati- cal properties. In particular, there are finitary proof systems complete with respect to the semantics. In first-order logic, assertions about elements of structures can be ex- pressed. Technically, this is achieved by allowing the propositional symbols to have arguments ranging over elements of structures. For convenience, we also allow symbols denoting functions and constants. Our study of first-order logic will parallel the study of propositional logic conducted in Chapter 3. First, the syntax of first-order logic will be defined. The syntax is given by an inductive definition. Next, the semantics of first- order logic will be given. For this, it will be necessary to define the notion of a structure, which is essentially the concept of an algebra defined in Section 2.4, and the notion of satisfaction. Given a structure M and a formula A, for any assignment s of values in M to the variables (in A), we shall define the satisfaction relation |=, so that M |= A[s] 146 5.2 FIRST-ORDER LANGUAGES 147 expresses the fact that the assignment s satisfies the formula A in M. The satisfaction relation |= is defined recursively on the set of formulae.
    [Show full text]