Brief Review of Some Basic Logic and Calculus

Total Page:16

File Type:pdf, Size:1020Kb

Brief Review of Some Basic Logic and Calculus Mathematical methods for economic theory: a tutorial by Martin J. Osborne Copyright © 1997-2007 Martin J. Osborne. Version: 2007/7/23. 1.1 Logic Basics When making precise arguments, we often need to make conditional statements, like if the price of output increases then a competitive firm increases its output or if the demand for a good is a decreasing function of the price of the good and the supply of the good is an increasing function of the price then an increase in supply at every price decreases the equilibrium price. These statements are instances of the statement if A then B, where A and B stand for statements. We may alternatively write this general statement as A implies B, or, using a symbol, as A ⇒ B. Yet two more ways in which we may write the same statement are A is a sufficient condition for B, and B is a necessary condition for A. (Note that B comes first in the second of these two statements!!) Important note: The statement A ⇒ B does not make any claim about whether B is true if A is NOT true! It says only that if A is true, then B is true. While this point may seem obvious, it is sometimes a source of error, partly because we do not always adhere to the rules of logic in everyday communication. For example, when we say " if it's fine tomorrow then let's play tennis" we probably mean both " if it's fine tomorrow then let's play tennis" and " if it's not fine tomorrow then let's not play tennis" (and maybe also " if it's not clear whether the weather is good enough to play tennis tomorrow then I'll call you"). When we say "if you listen to the radio at 8 o'clock then you'll know the weather forecast", on the other hand, we do not mean also " if you don't listen to the radio at 8 o'clock then you won't know the weather forecast", because you might listen to the radio at 9 o'clock or check on the web, for example. The point is that the rules we use to attach meaning to statements in everyday language are subtle, while the rules we use in logical arguments are absolutely clear: when we make the logical statement " if A then B", that's exactly what we mean---no more, no less. We may also use the symbol " ⇐" to mean "only if" or "is implied by". Thus B ⇐ A is equivalent to A ⇒ B. Finally, the symbol " ⇔" means "implies and is implied by", or "if and only if". Thus A ⇔ B is equivalent to A ⇒ B and A ⇐ B. If A is a statement, we write the claim that A is not true as not(A). If A and B are statements, and both are true, we write A and B, and if at least one of them is true we write A or B. Note, in particular, that writing "A or B" includes the possibility that both statements are true. Two rules Rule 1 If the statement A ⇒ B is true, then so too is the statement (not B) ⇒ (not A). The first statement says that whenever A is true, B is true. Thus if B is false, A must be false---hence the second statement. Rule 2 The statement not(A and B) is equivalent to the statement (not A) or (not B). Note the "or" in the second statement! If it is not the case that both A is true and B is true (the first statement), then either A is not true or B is not true. Quantifiers We sometimes wish to make a statement that is true for all values of a variable. For example, denoting the total demand for tomatoes at the price p by D(p), it might be true that D(p) > 100 for every price p in the set S. In this statement, "for every price" is a quantifier . Important note : We may use any symbol for the price in this statement: " p" is a dummy variable. After having defined D(p) to be the total demand for tomatoes at the price p, for example, we could write D(z) > 100 for every price z in the set S. Given that we just used the notation p for a price, switching to z in this statement is a little odd, BUT there is absolutely nothing wrong with doing so! In this simple example, there is no reason to switch notation, but in some more complicated cases a switch is unavoidable (because of a clash with other notation) or convenient. The point is that every statement of the form A( x) for every x in the set Y, where x is any symbol, has exactly the same content. Another type of statement we sometimes need to make is A( x) for some x in the set Y, or, equivalently, there exists x in the set Y such that A( x). "For some x" (alternatively "there exists x") is another quantifier , like "for every x"; my comments about notation apply to it. Exercises Copyright © 2000-2003 by Martin J. Osborne 1.2 Matrices and solutions of systems of simultaneous equations Matrices I assume that you are familiar with vectors and matrices and know, in particular, how to multiply them together. (Do the first few exercises to check your knowledge.) The determinant of the 2 × 2 matrix a b c d is ad − bc. If ad − bc ≠ 0, the matrix is nonsingular ; in this case its inverse is 1 d −b . ad − bc −c a (You can check that the product of the matrix and its inverse is the identity matrix.) The determinant of the 3 × 3 matrix a b c d e f g h i is ∆ = a(ei − h f ) − b(di − g f ) + c(dh − eg). If ∆ ≠ 0 the matrix is nonsingular ; in this case its inverse is D −D D 1 11 12 13 −D21 D22 −D23 ∆ D31 −D32 D33 where Dij is the determinant of the 2 × 2 matrix obtained by deleting the ith column and jth row of the original 3 × 3 matrix. That is, D11 = ei − h f , D12 = bi − ch, D13 = b f − ec, D21 = di − f g, D22 = ai − cg, D23 = a f − dc, D31 = dh − eg, D32 = ah − bg, and D33 = ae − db. (Again, you can check that the product of the matrix and its inverse is the identity matrix.) The determinant of the matrix A is denoted A. Let A be an n × m matrix (i.e. a matrix with n rows and m columns). The transpose A′ of A is the m × n matrix in which, for i = 1, ..., n, the ith row of A′ is the ith column of A. In particular, if x is a column vector (1 × n matrix) then x′ is a row vector ( n × 1 matrix). Solutions of systems of simultaneous equations Consider a system of two equations in two variables x and y: ax + by = u cx + dy = v. Here are three ways to solve for x and y. 1. Isolate one of the variables in one of the equations and substitute the result into the other equation. For example, from the second equation we have y = ( v − cx)/ d. Substituting this expression for y into the first equation yields ax + b(v − cx)/ d = u, which we can write as (a − bc/d)x + bv/d = u, so that u − bv/d x = a − bc/d or ud − bv x = . ad − bc To find y we now use the fact that y = ( v − cx)/ d, to get va − cu y = . ad − bc 2. Use Cramer's rule (due to Gabriel Cramer, 1704-1752 ). Write the two equations in matrix form as a b x u = (*) c d y v Cramer's rule says that the solutions are given by u b x = v d ad − bc and a u y = c v . ad − bc Note that the denominator in these expressions, ad − bc, is the determinant of the matrix at the left of (*). The matrix in the numerator of each expression is obtained by replacing the column in the matrix on the left of (*) that corresponds to the variable for which we are solving with the column vector on the right of (*). Calculating the determinants in the numerators, we have ud − bv x = ad − bc and va − cu y = . ad − bc 3. Write the two equations in matrix form as a b x u = c d y v (as when using Cramer's rule) and solve by inverting the matrix on the left hand side. The inverse of this matrix is 1 d −b ad − bc −c a so we have x 1 d −b u = y ad − bc −c a v so that ud − bv x = ad − bc and va − cu y = . ad − bc Which of these three methods is best depends on several factors, including your ability to remember Cramer's rule and/or how to invert a matrix. If you have to solve for only one of the variables, Cramer's rule is particularly convenient (if you can remember it). For a system of more than two variables, the same three methods are available. The first method, however, is pretty messy, and unless you are adept at inverting matrices, Cramer's rule is probably your best bet. Exercises Copyright © 1997-2003 by Martin J. Osborne 1.3 Intervals and functions Intervals An interval is a set of (real) numbers between, and possibly including, two numbers.
Recommended publications
  • Think Python
    Think Python How to Think Like a Computer Scientist 2nd Edition, Version 2.2.18 Think Python How to Think Like a Computer Scientist 2nd Edition, Version 2.2.18 Allen Downey Green Tea Press Needham, Massachusetts Copyright © 2015 Allen Downey. Green Tea Press 9 Washburn Ave Needham MA 02492 Permission is granted to copy, distribute, and/or modify this document under the terms of the Creative Commons Attribution-NonCommercial 3.0 Unported License, which is available at http: //creativecommons.org/licenses/by-nc/3.0/. The original form of this book is LATEX source code. Compiling this LATEX source has the effect of gen- erating a device-independent representation of a textbook, which can be converted to other formats and printed. http://www.thinkpython2.com The LATEX source for this book is available from Preface The strange history of this book In January 1999 I was preparing to teach an introductory programming class in Java. I had taught it three times and I was getting frustrated. The failure rate in the class was too high and, even for students who succeeded, the overall level of achievement was too low. One of the problems I saw was the books. They were too big, with too much unnecessary detail about Java, and not enough high-level guidance about how to program. And they all suffered from the trap door effect: they would start out easy, proceed gradually, and then somewhere around Chapter 5 the bottom would fall out. The students would get too much new material, too fast, and I would spend the rest of the semester picking up the pieces.
    [Show full text]
  • Natural Domain of a Function • Range Calculations Table of Contents (Continued)
    ~ THE UNIVERSITY OF AKRON w Mathematics and Computer Science calculus Article: Functions menu Directory • Table of Contents • Begin tutorial on Functions • Index Copyright c 1995{1998 D. P. Story Last Revision Date: 11/6/1998 Functions Table of Contents 1. Introduction 2. The Concept of a Function 2.1. Constructing Functions • The Use of Algebraic Expressions • Piecewise Definitions • Descriptive or Conceptual Methods 2.2. Evaluation Issues • Numerical Evaluation • Symbolic Evalulation 2.3. What's in a Name • The \Standard" Way • Functions Named by the Depen- dent Variable • Descriptive Naming • Famous Functions 2.4. Models for Functions • A Function as a Mapping • Venn Diagram of a Function • A Function as a Black Box 2.5. Calculating the Domain and Range • The Natural Domain of a Function • Range Calculations Table of Contents (continued) 2.6. Recognizing Functions • Interpreting the Terminology • The Vertical Line Test 3. Graphing: First Principles 4. Methods of Combining Functions 4.1. The Algebra of Functions 4.2. The Composition of Functions 4.3. Shifting and Rescaling • Horizontal Shifting • Vertical Shifting • Rescaling 5. Classification of Functions • Polynomial Functions • Rational Functions • Algebraic Functions 1. Introduction In the world of Mathematics one of the most common creatures en- countered is the function. It is important to understand the idea of a function if you want to gain a thorough understanding of Calculus. Science concerns itself with the discovery of physical or scientific truth. In a portion of these investigations, researchers (or engineers) attempt to discern relationships between physical quantities of interest. There are many ways of interpreting the meaning of the word \relation- ships," but in Calculus we are most often concerned with functional relationships.
    [Show full text]
  • False Dilemma Wikipedia Contents
    False dilemma Wikipedia Contents 1 False dilemma 1 1.1 Examples ............................................... 1 1.1.1 Morton's fork ......................................... 1 1.1.2 False choice .......................................... 2 1.1.3 Black-and-white thinking ................................... 2 1.2 See also ................................................ 2 1.3 References ............................................... 3 1.4 External links ............................................. 3 2 Affirmative action 4 2.1 Origins ................................................. 4 2.2 Women ................................................ 4 2.3 Quotas ................................................. 5 2.4 National approaches .......................................... 5 2.4.1 Africa ............................................ 5 2.4.2 Asia .............................................. 7 2.4.3 Europe ............................................ 8 2.4.4 North America ........................................ 10 2.4.5 Oceania ............................................ 11 2.4.6 South America ........................................ 11 2.5 International organizations ...................................... 11 2.5.1 United Nations ........................................ 12 2.6 Support ................................................ 12 2.6.1 Polls .............................................. 12 2.7 Criticism ............................................... 12 2.7.1 Mismatching ......................................... 13 2.8 See also
    [Show full text]
  • Pivotal Decompositions of Functions
    PIVOTAL DECOMPOSITIONS OF FUNCTIONS JEAN-LUC MARICHAL AND BRUNO TEHEUX Abstract. We extend the well-known Shannon decomposition of Boolean functions to more general classes of functions. Such decompositions, which we call pivotal decompositions, express the fact that every unary section of a function only depends upon its values at two given elements. Pivotal decom- positions appear to hold for various function classes, such as the class of lattice polynomial functions or the class of multilinear polynomial functions. We also define function classes characterized by pivotal decompositions and function classes characterized by their unary members and investigate links between these two concepts. 1. Introduction A remarkable (though immediate) property of Boolean functions is the so-called Shannon decomposition, or Shannon expansion (see [20]), also called pivotal decom- position [2]. This property states that, for every Boolean function f : {0, 1}n → {0, 1} and every k ∈ [n]= {1,...,n}, the following decomposition formula holds: 1 0 n (1) f(x) = xk f(xk)+ xk f(xk) , x = (x1,...,xn) ∈{0, 1} , a where xk = 1 − xk and xk is the n-tuple whose i-th coordinate is a, if i = k, and xi, otherwise. Here the ‘+’ sign represents the classical addition for real numbers. Decomposition formula (1) means that we can precompute the function values for xk = 0 and xk = 1 and then select the appropriate value depending on the value of xk. By analogy with the cofactor expansion formula for determinants, here 1 0 f(xk) (resp. f(xk)) is called the cofactor of xk (resp. xk) for f and is derived by setting xk = 1 (resp.
    [Show full text]
  • Functional C
    Functional C Pieter Hartel Henk Muller January 3, 1999 i Functional C Pieter Hartel Henk Muller University of Southampton University of Bristol Revision: 6.7 ii To Marijke Pieter To my family and other sources of inspiration Henk Revision: 6.7 c 1995,1996 Pieter Hartel & Henk Muller, all rights reserved. Preface The Computer Science Departments of many universities teach a functional lan- guage as the first programming language. Using a functional language with its high level of abstraction helps to emphasize the principles of programming. Func- tional programming is only one of the paradigms with which a student should be acquainted. Imperative, Concurrent, Object-Oriented, and Logic programming are also important. Depending on the problem to be solved, one of the paradigms will be chosen as the most natural paradigm for that problem. This book is the course material to teach a second paradigm: imperative pro- gramming, using C as the programming language. The book has been written so that it builds on the knowledge that the students have acquired during their first course on functional programming, using SML. The prerequisite of this book is that the principles of programming are already understood; this book does not specifically aim to teach `problem solving' or `programming'. This book aims to: ¡ Familiarise the reader with imperative programming as another way of imple- menting programs. The aim is to preserve the programming style, that is, the programmer thinks functionally while implementing an imperative pro- gram. ¡ Provide understanding of the differences between functional and imperative pro- gramming. Functional programming is a high level activity.
    [Show full text]
  • Notes on Functional Programming with Haskell
    Notes on Functional Programming with Haskell H. Conrad Cunningham [email protected] Multiparadigm Software Architecture Group Department of Computer and Information Science University of Mississippi 201 Weir Hall University, Mississippi 38677 USA Fall Semester 2014 Copyright c 1994, 1995, 1997, 2003, 2007, 2010, 2014 by H. Conrad Cunningham Permission to copy and use this document for educational or research purposes of a non-commercial nature is hereby granted provided that this copyright notice is retained on all copies. All other rights are reserved by the author. H. Conrad Cunningham, D.Sc. Professor and Chair Department of Computer and Information Science University of Mississippi 201 Weir Hall University, Mississippi 38677 USA [email protected] PREFACE TO 1995 EDITION I wrote this set of lecture notes for use in the course Functional Programming (CSCI 555) that I teach in the Department of Computer and Information Science at the Uni- versity of Mississippi. The course is open to advanced undergraduates and beginning graduate students. The first version of these notes were written as a part of my preparation for the fall semester 1993 offering of the course. This version reflects some restructuring and revision done for the fall 1994 offering of the course|or after completion of the class. For these classes, I used the following resources: Textbook { Richard Bird and Philip Wadler. Introduction to Functional Program- ming, Prentice Hall International, 1988 [2]. These notes more or less cover the material from chapters 1 through 6 plus selected material from chapters 7 through 9. Software { Gofer interpreter version 2.30 (2.28 in 1993) written by Mark P.
    [Show full text]
  • 4 Trigonometry and Complex Numbers
    4 Trigonometry and Complex Numbers Trigonometry developed from the study of triangles, particularly right triangles, and the relations between the lengths of their sides and the sizes of their angles. The trigono- metric functions that measure the relationships between the sides of similar triangles have far-reaching applications that extend far beyond their use in the study of triangles. Complex numbers were developed, in part, because they complete, in a useful and ele- gant fashion, the study of the solutions of polynomial equations. Complex numbers are useful not only in mathematics, but in the other sciences as well. Trigonometry Most of the trigonometric computations in this chapter use six basic trigonometric func- tions The two fundamental trigonometric functions, sine and cosine, can be de¿ned in terms of the unit circle—the set of points in the Euclidean plane of distance one from the origin. A point on this circle has coordinates +frv w> vlq w,,wherew is a measure (in radians) of the angle at the origin between the positive {-axis and the ray from the ori- gin through the point measured in the counterclockwise direction. The other four basic trigonometric functions can be de¿ned in terms of these two—namely, vlq { 4 wdq { @ vhf { @ frv { frv { frv { 4 frw { @ fvf { @ vlq { vlq { 3 ?w? For 5 , these functions can be found as a ratio of certain sides of a right triangle that has one angle of radian measure w. Trigonometric Functions The symbols used for the six basic trigonometric functions—vlq, frv, wdq, frw, vhf, fvf—are abbreviations for the words cosine, sine, tangent, cotangent, secant, and cose- cant, respectively.You can enter these trigonometric functions and many other functions either from the keyboard in mathematics mode or from the dialog box that drops down when you click or choose Insert + Math Name.
    [Show full text]
  • Glossary from Math Analysis
    A Glossary for Pre-calculus These terms were identified during the Cal-PASS deconstruction of the California State Standards for Math Analysis, Linear Algebra, and Trigonometry By the Cal-PASS Central San Diego Math Professional Learning Council Bruce Arnold, Brenda Kracht, Judy Ross, Terrie Teegarden and Maurice Tompkins 1 Preface: In the deconstruction of the California state standards for trigonometry, linear algebra and mathematical analysis for the Cal-PASS Content Standards Deconstruction projects, it became apparent that terms were used for which no definition was given. The San Diego Central Cal-PASS Math Professional Learning Council felt that many of these terms might be unfamiliar to a precalculus instructor. Hence, a list of key terms and their appropriate definitions were developed, resulting in this document. These descriptions are intended to be explanatory rather than to provide precise mathematical rigor. Some terms, such as logarithms, are not included even though they are essential for calculus preparation because they do not appear in the precalculus standards. Many high schools combine some of the standards from trigonometry, linear algebra, and mathematical analysis to form a pre-calculus course. Pre-calculus courses in community colleges and four year institutions also combine the content of these standards. This integrated approach reflects the fact that these topics do not exist in isolation, but rather work in unity with each other. It is also important to note that the order of the standards, or even groups of standards, may not reflect the order in which they might appear in standard textbooks or course outlines. Suggested topic sequence for a pre-calculus course: Mathematical Analysis 4 and 6 Note that there are many topics loosely associated with 4 that are not mentioned, such as the Rational Root Theorem, Descartes’ Rule of signs, etc.
    [Show full text]
  • Dictionary of Mathematical Terms
    DICTIONARY OF MATHEMATICAL TERMS DR. ASHOT DJRBASHIAN in cooperation with PROF. PETER STATHIS 2 i INTRODUCTION changes in how students work with the books and treat them. More and more students opt for electronic books and "carry" them in their laptops, tablets, and even cellphones. This is This dictionary is specifically designed for a trend that seemingly cannot be reversed. two-year college students. It contains all the This is why we have decided to make this an important mathematical terms the students electronic and not a print book and post it would encounter in any mathematics classes on Mathematics Division site for anybody to they take. From the most basic mathemat- download. ical terms of Arithmetic to Algebra, Calcu- lus, Linear Algebra and Differential Equa- Here is how we envision the use of this dictio- tions. In addition we also included most of nary. As a student studies at home or in the the terms from Statistics, Business Calculus, class he or she may encounter a term which Finite Mathematics and some other less com- exact meaning is forgotten. Then instead of monly taught classes. In a few occasions we trying to find explanation in another book went beyond the standard material to satisfy (which may or may not be saved) or going curiosity of some students. Examples are the to internet sources they just open this dictio- article "Cantor set" and articles on solutions nary for necessary clarification and explana- of cubic and quartic equations. tion. The organization of the material is strictly Why is this a better option in most of the alphabetical, not by the topic.
    [Show full text]
  • Scattering of Waves in the Phase Space, Quantum Mechanics, and Irreversibility
    EJTP 12, No. 32 (2015) 43–60 Electronic Journal of Theoretical Physics Scattering of Waves in the Phase Space, Quantum Mechanics, and Irreversibility E. M. Beniaminov∗† Russian State University for the Humanities, Miusskaya sq. 6, Moscow, GSP-3, 125993, Russia Received 29 November 2014, Accepted 19 December 2014, Published 10 January 2015 Abstract: We give an example of a mathematical model describing quantum mechanical processes interacting with medium. As a model, we consider the process of heat scattering of a wave function defined on the phase space. We consider the case when the heat diffusion takes place only with respect to momenta. We state and study the corresponding modified Kramers equation for this process. We consider the consequent approximations to this equation in powers of the quantity inverse to the medium resistance per unit of mass of the particle in the process. The approximations are constructed similarly to statistical physics, where from the usual Kramers equation for the evolution of probability density of the Brownian motion of a particle in the phase space, one deduces an approximate description of this process by the Fokker–Planck equation for the density of probability distribution in the configuration space. We prove that the zero (invertible) approximation to our model with respect to the large parameter of the medium resistance, yields the usual quantum mechanical description by the Schr¨odinger equation with the standard Hamilton operator. We deduce the next approximation to the model with respect to the negative power of the medium resistance coefficient. As a result we obtain the modified Schr¨odinger equation taking into account dissipation of the process in the initial model, and explaining the decoherence of the wave function.
    [Show full text]
  • CS1313 Standard Library Functions Lesson
    Standard Library Functions Outline 1. Standard Library Functions Outline 20. Programming: Return Type 2. Functions in Mathematics #1 21. More on Function Arguments 3. Functions in Mathematics #2 22. Function Argument Example Part 1 4. Functions in Mathematics #3 23. Function Argument Example Part 2 5. Function Argument 24. Function Argument Example Part 3 6. Absolute Value Function in C #1 25. Using the C Standard Math Library 7. Absolute Value Function in C #2 26. Function Call in Assignment 8. Absolute Value Function in C #3 27. Function Call in printf 9. A Quick Look at abs 28. Function Call as Argument 10. Function Call in Programming 29. Function Call in Initialization 11. Math Function vs Programming 30. Function Use Example Part 1 Function 31. Function Use Example Part 2 12. C Standard Library 32. Function Use Example Part 3 13. C Standard Library Function Examples 33. Function Use Example Part 4 14. Is the Standard Library Enough? 34. Evaluation of Functions in Expressions 15. Math: Domain & Range #1 35. Evaluation Example #1 16. Math: Domain & Range #2 36. Evaluation Example #2 17. Math: Domain & Range #3 37. Exercise: Calculating Roots 18. Programming: Argument Type 19. Argument Type Mismatch CS1313: Standard Library Functions Lesson CS1313 Fall 2020 1 Functions in Mathematics #1 “A rule that relates two variables, typically x and y, is called a function if to each value of x the rule assigns one and only one value of y.” http://www.themathpage.com/aPreCalc/functions.htm So, for example, if we have a function f(x) = x + 1 then
    [Show full text]
  • Programming in Scilab
    Programming in Scilab Micha¨elBaudin September 2011 Abstract In this document, we present programming in Scilab. In the first part, we present the management of the memory of Scilab. In the second part, we present various data types and analyze programming methods associated with these data structures. In the third part, we present features to design flexible and robust functions. In the last part, we present methods which allow to achieve good performances. We emphasize the use of vectorized functions, which allow to get the best performances, based on calls to highly optimized numerical libraries. Many examples are provided, which allow to see the effectiveness of the methods that we present. Contents 1 Introduction5 2 Variable and memory management5 2.1 The stack.................................6 2.2 More on memory management......................8 2.2.1 Memory limitations from Scilab.................8 2.2.2 Memory limitations of 32 and 64 bit systems.......... 10 2.2.3 The algorithm in stacksize ................... 11 2.3 The list of variables and the function who ................ 11 2.4 Portability variables and functions.................... 12 2.5 Destroying variables : clear ....................... 15 2.6 The type and typeof functions..................... 16 2.7 Notes and references........................... 17 2.8 Exercises.................................. 18 3 Special data types 18 3.1 Strings................................... 18 3.2 Polynomials................................ 22 3.3 Hypermatrices............................... 25 3.4 Type and dimension of an extracted hypermatrix........... 28 3.5 The list data type............................ 30 3.6 The tlist data type........................... 33 3.7 Emulating OO Programming with typed lists............. 36 1 3.7.1 Limitations of positional arguments............... 37 3.7.2 A "person" class in Scilab...................
    [Show full text]