Systems of Formal Deduction
|
|
- Adrian Wilkins
- 7 years ago
- Views:
Transcription
1 Systems of Formal Deduction Inference Rules Systems of formal deduction (or formal derivation, or formal proof) consist of a set of formal inference rules. The inference rules are formal in the sense that they allow sentences to be derived from other sentences on the basis of the formal structure of those sentences. For example, an inference rule can state that when you have a sentence of the form ϕ φ, then you can derive the sentence ϕ from that. Normally, the inference rules try and capture basic and valid inferences that we make when we reason. In the example above, ϕ is indeed logically implied by ϕ φ, and this is a very basic inference. For this reason, systems of formal deduction are sometimes called systems of natural deduction. It is important to keep in mind, however, that we can define inference rules in any way we want. Thus, we could add a non-basic (though valid) inference rule that says that you can infer ϕ λ from ϕ (φ γ) and φ γ λ. More importantly, we could define an invalid inference rule that says that you can infer ϕ from ϕ φ and φ. In other words, while normally the inference rules in some system of formal deduction capture inferences that are both basic and valid, we cannot assume this. Obviously, systems of formal deduction differ in that they have different sets of inference rules. As such, we are going to define a formal proof relative to any system S: A formal proof in system S is a sequence of sentences, starting with a set of sentences Γ (usually called premises or assumptions), and ending with a sentence ϕ (usually called the conclusion), where each sentence φ in the sequence after Γ is derived from a subset of the sentences in the sequence before φ by the application of some inference rule as defined by S. If there exists a formal proof in S from Γ to ϕ, we write Γ S ϕ. Many systems of derivation have rules that deal with what are called subproofs. A subproof can be started at any point during a formal proof by making some additional assumption. Sentences that are derived from that point on are said to be within the scope of that assumption, until the subproof is closed. Once the subproof is closed, none of the sentences that occur within that subproof can be used to derive further sentences. Subproofs can be started within subproofs. Subproofs need to be closed one at a time, and any subproof within a subproof (the inner subproof ) should be closed before the outer subproof is closed. Although we will not do so here, the definition of a formal proof obviously needs to be modified to account for subproofs. In general, then, an inference rule can be written as {ϕ 1,,ϕ n } φ, which indicates that φ can be derived from ϕ 1,,ϕ n, where each ϕ i is either a sentence or a subproof (written as ϕ φ, where ϕ is the assumption of that subproof and φ the last sentence of that subproof) that occurs anywhere earlier in the proof but not within the scope of some subproof that has been closed.
2 Example: The System F System F, as defined in Language, Proof, and Logic by Jon Barwise and John Etchemendy, contains the following inference rules: Conjunction Elimination ( Elim ) {ϕ ψ} ϕ (or ψ) Disjunction Elimination ( Elim ) {ϕ ψ, ϕ χ, ψ χ} χ Negation Elimination ( Elim ) { ϕ} ϕ Contradiction Elimination ( Elim ) { } ϕ Conditional Elimination ( Elim ) {ϕ ψ, ϕ} ψ Biconditional Elimination ( Elim ) {ϕ ψ (or ψ ϕ), ϕ} φ Conjunction Introduction ( Intro ) {ϕ, ψ} ϕ ψ Disjunction Introduction ( Intro ) {ϕ (or ψ)} ϕ ψ Negation Introduction ( Intro ) {ϕ } ϕ Contradiction Introduction ( Intro ) {ϕ, ϕ} Conditional Introduction ( Intro ) {ϕ ψ} ϕ ψ Biconditional Introduction ( Intro ) {ϕ ψ, ψ ϕ} ϕ φ A final rule is Reiteration, which is {ϕ} ϕ. The inference pattern of Elim is also called Proof by Cases, the inference pattern of Intro is known as Proof by Contradiction, Indirect Proof, or Reductio ad Absurdum, and the inference pattern of Intro as Conditional Proof.
3 Other Fitch-Style Derivational Systems, and Derivational Equivalence System F is what is called a Fitch-style system. Fitch-style systems have a single elimination and an introduction rule for every truth-functional connective (possibly including ). Another Fitch-style system is SD, as defined in The Logic Book, by Merrie Bergmann, James Moor, and Jack Nelson. SD has the same inference rules as F, except that the Negation Elimination rule in SD is defined as { ϕ } ϕ. (Actually, the syntax of the sentences over which SD is defined uses ~ for, & for, for, for, and does not have. Thus, Negation Introduction is actually defined as {ϕ φ, ϕ ~φ} ~ϕ, and the Negation Elimination rule as {~ϕ φ, ~ϕ ~φ} ϕ. For the point I am about to make though, this is not important.) Now, an obvious question to ask is: Can the two systems derive the same things, or is there anything that can be derived in F, but not in SD (or vice versa)? To be precise, is it the case that for any set of sentences Γ and any sentence, Γ F ϕ iff Γ SD ϕ? It turns out that the answer to this question is Yes. To demonstrate this, we will demonstrate that SD can do whatever F accomplishes with its Negation Elimination rule, and vice versa. From this, the result immediately follows. First, here s how we can do SD s Negation Elimination in F: ϕ ϕ ϕ ( Intro) ( Elim) Second, here s how we can do F s Negation Elimination in SD: ϕ ϕ ϕ (assumption) ( Intro) ( Elim) Because Γ F ϕ iff Γ SD ϕ, we say that F and SD are derivationally equivalent.
4 Other Derivational Equivalences Notice that we didn t say that F s and SD s Negation Elimination rules are (derivationally) equivalent, and in fact we can t, as by themselves they are clearly not. For example, if we have two systems NE1 and NE2, such that NE1 has as its only rule F s Negation Elimination rule, and NE2 has as its only rule SD s Negation Elimination rule, then { P} NE1 P but not { P } NE2 P. Still, in the context of a larger proof system, it is intuitive to regard the two rules as equivalent. Indeed, one wonders if there are other equivalent rules, and indeed there are. For example, one can define Biconditional Introduction as {ϕ ψ, ψ ϕ} ϕ ψ, and Biconditional Elimination as {ϕ ψ} ϕ ψ (or ψ ϕ). If we use these to replace F s Biconditional rules, we obtain a derivationally equivalent system. We could also use {(ϕ ψ) (ψ ϕ)} ϕ ψ and {ϕ ψ} (ϕ ψ) (ψ ϕ), respectively. What about the conditional? Well, {ϕ ψ} ϕ ψ for Conditional Elimination, and { ϕ ψ} ϕ ψ for Conditional Introduction should work: the reader can verify these for themselves. There really aren t any other intuitive rules for the conjunction. For the disjunction, one might contemplate using {ϕ ψ, ϕ χ, ψ λ} χ λ for Disjunction Elimination, but that s not going to work (at least not in the context of F; what is the problem?). Assuming we leave the Conditional Rules as they are, we could use {ϕ ψ, ϕ χ, ψ χ} χ for Disjunction Elimination. Also, leaving the Conditional rules as they are, what about {ϕ ψ} ϕ ψ for Disjunction Introduction, and { ϕ ψ} ϕ ψ for Disjunction Elimination? Notice that redefining the Biconditional and Conditional rules as above, one is getting rid of two rules involving subproofs. Is there a way to use these rules, and also to change the Disjunction rules (the Disjunction Elimnation rule at least) so that the only rule left using a subproof is the Negation Introduction? Can we get rid of all subproofs altogether?
5 Non-Fitch-style Systems Non-Fitch-style systems do not restrict themselves to having a single Elimination and Introduction rule for each connective. As such, these kinds of systems can have other valid and basic inference rules. This usually makes them less mathematically elegant, but much easier to use. Below is a list of typical rules of inference. Most Non-Fitch-style systems use some subset of these: Modus Ponens (MP) {ϕ ψ, ϕ} ψ Disjunctive Syllogism (DS) {ϕ ψ, ϕ (or ψ) } ψ (or ϕ) Simplification (Simp) {ϕ ψ} ϕ (or ψ) Constructive Dilemma (CD) {ϕ χ, ψ λ, ϕ ψ} χ λ Addition (Add) {ϕ (or ψ)} ϕ ψ Weakening the Consequent (Weakening) {ϕ (ψ χ)} ϕ ψ Conditional Proof (CP) {ϕ ψ} ϕ ψ Modus Tollens (MT) {ϕ ψ, ψ} ϕ Exclusion (EX) { (ϕ ψ), ϕ (or ψ) } ψ (or ϕ) Conjunction (Conj) {ϕ, ψ} ϕ ψ Destructive Dilemma (DD) {ϕ χ, ψ λ, χ λ} ϕ ψ Hypothetical Syllogism (HS) {ϕ ψ, ψ φ} ϕ φ Strengthening the Antecedent (Strengthening) {ϕ ψ} (ϕ χ) ψ Indirect Proof (IP) {ϕ ψ, ϕ ψ} ϕ
6 Generalized Inference Rules Some of the inference rules can be generalized by considering generalized conjunctions or generalized disjunctions, or by considering multiple statements. Generalized Simplification {ϕ 1 ϕ i ϕ n } ϕ i Generalized Proof by Cases {ϕ 1 ϕ n, ϕ 1 ψ,, ϕ n ψ} ψ Generalized Disjunctive Syllogism {ϕ 1 ϕ i ϕ n, ϕ 1,, ϕ i -1, ϕ i +1, ϕ n } ϕ i Generalized Constructive Dilemma {ϕ 1 ψ 1,, ϕ n ψ n, ϕ 1 ψ n } ψ 1 ψ n Generalized Conjunction {ϕ 1,, ϕ n } ϕ 1 ϕ n Generalized Addition {ϕ i } ϕ 1 ϕ i ϕ n Generalized Hypothetical Syllogism {ϕ 1 ϕ 2, ϕ 2 ϕ 3,, ϕ n-1 ϕ n } ϕ 1 ϕ n Generalized Destructive Dilemma {ϕ 1 ψ 1,, ϕ n ψ n, ψ 1 ψ n } ϕ 1 ϕ n Notice that with these generalizations, Modus Ponens has become a special case of Generalized Constructive Dilemma, and Modus Tollens a special case of Generalized Destructive Dilemma. In F, Conjunction Elimination and Introduction are in fact respectively defined as Generalized Simplification and Generalized Conjunction, and Disjunction Elimination and Introduction as Generalized Proof by Cases and Generalized Addition. For theoretical as well as practical purposes, however, we will not consider any such generalized rules when doing metatheory.
7 Rules of Equivalence Besides rules of inference, non-fitch-style systems usually also make use of rules of equivalence. Rules of equivalence are inference rules as well, but they are of a somewhat different nature. Rules of equivalence allow one to use the Principle of Substitution of Logical Equivalents on any sentence, and to infer the result from the original sentence. The rules of equivalence state which equivalences can be used to perform this substitution. Typical equivalences used in non-fitch-style derivational systems are: Double Negation (DN) ϕ ϕ Commutation (Com) ϕ ψ ψ ϕ ϕ ψ ψ ϕ Distribution (Dist) ϕ (ψ χ) (ϕ ψ) (ϕ χ) ϕ (ψ χ) (ϕ ψ) (ϕ χ) Contraposition (Contra) ϕ ψ ψ ϕ Implication (Impl) ϕ ψ ϕ ψ (ϕ ψ) ϕ ψ Absorption (Abs) ϕ (ϕ ψ) ϕ ϕ (ϕ ψ) ϕ Idempotence (Idem) ϕ ϕ ϕ ϕ ϕ ϕ Association (Assoc) ϕ (ψ χ) (ϕ ψ) χ ϕ (ψ χ) (ϕ ψ) χ DeMorgan (DeM) (ϕ ψ) ϕ ψ (ϕ ψ) ϕ ψ Exportation (Exp) ϕ (ψ χ) (ϕ ψ) χ Equivalence (Equiv) ϕ ψ (ϕ ψ) (ψ ϕ) ϕ ψ (ϕ ψ) ( ψ ϕ) Reduction (Red) ϕ ( ϕ ψ) ϕ ψ ϕ ( ϕ ψ) ϕ ψ Rules of Equivalence differ in two ways from rules of inference: 1. Rules of Inference go one way only, whereas rules of equivalence go both ways 2. Rules of Inference apply to whole sentences only, whereas rules of equivalence can be applied to component parts.
8 Examples: C1, C2, H, K, and B In Symbolic Logic, 5 th ed., Irving Copi defines a non-fitch-style derivational system (I ll call it C1) with the following Rules: Rules of Inference: MP, MT, DS, HS, Simp, Conj, Add, CD, DD Rules of Equivalence: DN, Idem, Com, Assoc, Dist, DeM, Trans, Exp, Impl, Equiv Rules of Subproof: CP, IP In Introduction to Logic, 11 th ed., Irving Copi and Carl Cohen define (C2): Rules of Inference: MP, MT, DS, HS, Simp, Conj, Add, CD, Abs Rules of Equivalence: DN, Idem, Com, Assoc, Dist, DeM, Trans, Exp, Impl, Equiv Rules of Subproof: CP, IP In A Concise Introduction to Logic, Patrick Hurley uses (H): Rules of Inference: MP, MT, DS, HS, Simp, Conj, Add, CD Rules of Equivalence: DN, Idem, Com, Assoc, Dist, DeM, Trans, Exp, Impl, Equiv Rules of Subproof: CP, IP In Introductory Modal Logic, Kenneth Konyndyk uses (K): Rules of Inference: MP, MT, DS, HS, Simp, Conj, Add Rules of Equivalence: DN, Idem, Com, Assoc, Dist, DeM, Trans, Exp, Impl, Equiv Rules of Subproof: CP, IP Theorem: for any Γ and ϕ: Γ C1 ϕ iff Γ C2 ϕ iff Γ H ϕ iff Γ K ϕ Proof: Easy, and left to reader Theorem: for any Γ and ϕ: Γ F ϕ iff Γ K ϕ Proof: Unfortunately, there is no straightforward way to prove that Γ F ϕ if Γ K ϕ because it is not clear how one would emulate the equivalence rules of K in F. However, it is pretty straightforward to show that Γ K ϕ if Γ F ϕ. We ll do the other half later! Homework: Define system B (Bram) as follows: Rules of Inference: MP, Simp, Conj, Add Rules of Equivalence: DN, Idem, Com, Assoc, Dist, DeM, Impl, Equiv Rules of Subproof: CP Show that for any Γ and ϕ: Γ B ϕ iff Γ K ϕ
Likewise, we have contradictions: formulas that can only be false, e.g. (p p).
CHAPTER 4. STATEMENT LOGIC 59 The rightmost column of this truth table contains instances of T and instances of F. Notice that there are no degrees of contingency. If both values are possible, the formula
More informationdef: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.
Section 1.5 Methods of Proof 1.5.1 1.5 METHODS OF PROOF Some forms of argument ( valid ) never lead from correct statements to an incorrect. Some other forms of argument ( fallacies ) can lead from true
More informationDISCRETE MATH: LECTURE 3
DISCRETE MATH: LECTURE 3 DR. DANIEL FREEMAN 1. Chapter 2.2 Conditional Statements If p and q are statement variables, the conditional of q by p is If p then q or p implies q and is denoted p q. It is false
More informationHandout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationCHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
More informationCHAPTER 7 GENERAL PROOF SYSTEMS
CHAPTER 7 GENERAL PROOF SYSTEMS 1 Introduction Proof systems are built to prove statements. They can be thought as an inference machine with special statements, called provable statements, or sometimes
More informationMath 3000 Section 003 Intro to Abstract Math Homework 2
Math 3000 Section 003 Intro to Abstract Math Homework 2 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Solutions (February 13, 2012) Please note that these
More informationp: I am elected q: I will lower the taxes
Implication Conditional Statement p q (p implies q) (if p then q) is the proposition that is false when p is true and q is false and true otherwise. Equivalent to not p or q Ex. If I am elected then I
More informationDiscrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us
More informationA Few Basics of Probability
A Few Basics of Probability Philosophy 57 Spring, 2004 1 Introduction This handout distinguishes between inductive and deductive logic, and then introduces probability, a concept essential to the study
More informationWRITING PROOFS. Christopher Heil Georgia Institute of Technology
WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this
More informationSolution to Homework 2
Solution to Homework 2 Olena Bormashenko September 23, 2011 Section 1.4: 1(a)(b)(i)(k), 4, 5, 14; Section 1.5: 1(a)(b)(c)(d)(e)(n), 2(a)(c), 13, 16, 17, 18, 27 Section 1.4 1. Compute the following, if
More informationRules of Inference Friday, January 18, 2013 Chittu Tripathy Lecture 05
Rules of Inference Today s Menu Rules of Inference Quantifiers: Universal and Existential Nesting of Quantifiers Applications Old Example Re-Revisited Our Old Example: Suppose we have: All human beings
More informationBeyond Propositional Logic Lukasiewicz s System
Beyond Propositional Logic Lukasiewicz s System Consider the following set of truth tables: 1 0 0 1 # # 1 0 # 1 1 0 # 0 0 0 0 # # 0 # 1 0 # 1 1 1 1 0 1 0 # # 1 # # 1 0 # 1 1 0 # 0 1 1 1 # 1 # 1 Brandon
More informationLogic in general. Inference rules and theorem proving
Logical Agents Knowledge-based agents Logic in general Propositional logic Inference rules and theorem proving First order logic Knowledge-based agents Inference engine Knowledge base Domain-independent
More informationCS510 Software Engineering
CS510 Software Engineering Propositional Logic Asst. Prof. Mathias Payer Department of Computer Science Purdue University TA: Scott A. Carr Slides inspired by Xiangyu Zhang http://nebelwelt.net/teaching/15-cs510-se
More informationMathematical Induction
Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How
More informationCosmological Arguments for the Existence of God S. Clarke
Cosmological Arguments for the Existence of God S. Clarke [Modified Fall 2009] 1. Large class of arguments. Sometimes they get very complex, as in Clarke s argument, but the basic idea is simple. Lets
More information1.2 Forms and Validity
1.2 Forms and Validity Deductive Logic is the study of methods for determining whether or not an argument is valid. In this section we identify some famous valid argument forms. Argument Forms Consider
More information3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)
More information6.080/6.089 GITCS Feb 12, 2008. Lecture 3
6.8/6.89 GITCS Feb 2, 28 Lecturer: Scott Aaronson Lecture 3 Scribe: Adam Rogal Administrivia. Scribe notes The purpose of scribe notes is to transcribe our lectures. Although I have formal notes of my
More informationHypothetical Syllogisms 1
Phil 2302 Intro to Logic Dr. Naugle Hypothetical Syllogisms 1 Compound syllogisms are composed of different kinds of sentences in their premises and conclusions (not just categorical propositions, statements
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationCHAPTER 2. Logic. 1. Logic Definitions. Notation: Variables are used to represent propositions. The most common variables used are p, q, and r.
CHAPTER 2 Logic 1. Logic Definitions 1.1. Propositions. Definition 1.1.1. A proposition is a declarative sentence that is either true (denoted either T or 1) or false (denoted either F or 0). Notation:
More informationLogic Appendix. Section 1 Truth Tables CONJUNCTION EXAMPLE 1
Logic Appendix T F F T Section 1 Truth Tables Recall that a statement is a group of words or symbols that can be classified collectively as true or false. The claim 5 7 12 is a true statement, whereas
More informationInvalidity in Predicate Logic
Invalidity in Predicate Logic So far we ve got a method for establishing that a predicate logic argument is valid: do a derivation. But we ve got no method for establishing invalidity. In propositional
More informationNP-Completeness and Cook s Theorem
NP-Completeness and Cook s Theorem Lecture notes for COM3412 Logic and Computation 15th January 2002 1 NP decision problems The decision problem D L for a formal language L Σ is the computational task:
More informationAn Innocent Investigation
An Innocent Investigation D. Joyce, Clark University January 2006 The beginning. Have you ever wondered why every number is either even or odd? I don t mean to ask if you ever wondered whether every number
More informationPredicate logic Proofs Artificial intelligence. Predicate logic. SET07106 Mathematics for Software Engineering
Predicate logic SET07106 Mathematics for Software Engineering School of Computing Edinburgh Napier University Module Leader: Uta Priss 2010 Copyright Edinburgh Napier University Predicate logic Slide 1/24
More informationDeveloping Critical Thinking Skills with The Colbert Report
Developing Critical Thinking Skills with The Colbert Report Why Teach Critical Thinking with The Colbert Report? A. Young people receive the majority of their information through popular culture. B. Using
More informationPredicate Logic Review
Predicate Logic Review UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Grammar A term is an individual constant or a variable. An individual constant is a lowercase letter from the beginning
More informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationBasic Proof Techniques
Basic Proof Techniques David Ferry dsf43@truman.edu September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This document
More informationDEDUCTIVE & INDUCTIVE REASONING
DEDUCTIVE & INDUCTIVE REASONING Expectations 1. Take notes on inductive and deductive reasoning. 2. This is an information based presentation -- I simply want you to be able to apply this information to
More informationThe Fundamental Theorem of Arithmetic
The Fundamental Theorem of Arithmetic 1 Introduction: Why this theorem? Why this proof? One of the purposes of this course 1 is to train you in the methods mathematicians use to prove mathematical statements,
More informationOutline. Written Communication Conveying Scientific Information Effectively. Objective of (Scientific) Writing
Written Communication Conveying Scientific Information Effectively Marie Davidian davidian@stat.ncsu.edu http://www.stat.ncsu.edu/ davidian. Outline Objectives of (scientific) writing Important issues
More informationP1. All of the students will understand validity P2. You are one of the students -------------------- C. You will understand validity
Validity Philosophy 130 O Rourke I. The Data A. Here are examples of arguments that are valid: P1. If I am in my office, my lights are on P2. I am in my office C. My lights are on P1. He is either in class
More informationLecture 19: Chapter 8, Section 1 Sampling Distributions: Proportions
Lecture 19: Chapter 8, Section 1 Sampling Distributions: Proportions Typical Inference Problem Definition of Sampling Distribution 3 Approaches to Understanding Sampling Dist. Applying 68-95-99.7 Rule
More informationCorrespondence analysis for strong three-valued logic
Correspondence analysis for strong three-valued logic A. Tamminga abstract. I apply Kooi and Tamminga s (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K 3 ).
More informationSchedule. Logic (master program) Literature & Online Material. gic. Time and Place. Literature. Exercises & Exam. Online Material
OLC mputational gic Schedule Time and Place Thursday, 8:15 9:45, HS E Logic (master program) Georg Moser Institute of Computer Science @ UIBK week 1 October 2 week 8 November 20 week 2 October 9 week 9
More informationElementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.
Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole
More informationSYMBOL AND MEANING IN MATHEMATICS
,,. SYMBOL AND MEANING IN MATHEMATICS ALICE M. DEAN Mathematics and Computer Science Department Skidmore College May 26,1995 There is perhaps no other field of study that uses symbols as plentifully and
More informationArkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 3 Binary Operations We are used to addition and multiplication of real numbers. These operations combine two real numbers
More informationCartesian Products and Relations
Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special
More informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,
More informationSolutions Q1, Q3, Q4.(a), Q5, Q6 to INTLOGS16 Test 1
Solutions Q1, Q3, Q4.(a), Q5, Q6 to INTLOGS16 Test 1 Prof S Bringsjord 0317161200NY Contents I Problems 1 II Solutions 3 Solution to Q1 3 Solutions to Q3 4 Solutions to Q4.(a) (i) 4 Solution to Q4.(a)........................................
More informationMathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson
Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement
More information1.7 Graphs of Functions
64 Relations and Functions 1.7 Graphs of Functions In Section 1.4 we defined a function as a special type of relation; one in which each x-coordinate was matched with only one y-coordinate. We spent most
More informationCONTENTS 1. Peter Kahn. Spring 2007
CONTENTS 1 MATH 304: CONSTRUCTING THE REAL NUMBERS Peter Kahn Spring 2007 Contents 2 The Integers 1 2.1 The basic construction.......................... 1 2.2 Adding integers..............................
More informationMath 4310 Handout - Quotient Vector Spaces
Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable
More informationDegrees of Truth: the formal logic of classical and quantum probabilities as well as fuzzy sets.
Degrees of Truth: the formal logic of classical and quantum probabilities as well as fuzzy sets. Logic is the study of reasoning. A language of propositions is fundamental to this study as well as true
More informationLogical Agents. Explorations in Artificial Intelligence. Knowledge-based Agents. Knowledge-base Agents. Outline. Knowledge bases
Logical Agents Explorations in Artificial Intelligence rof. Carla. Gomes gomes@cs.cornell.edu Agents that are able to: Form representations of the world Use a process to derive new representations of the
More informationQuotient Rings and Field Extensions
Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.
More informationDevelopment of a computer system to support knowledge acquisition of basic logical forms using fairy tale "Alice in Wonderland"
Development of a computer system to support knowledge acquisition of basic logical forms using fairy tale "Alice in Wonderland" Antonija Mihaljević Španjić *, Alen Jakupović *, Matea Tomić * * Polytechnic
More informationVocabulary. Term Page Definition Clarifying Example. biconditional statement. conclusion. conditional statement. conjecture.
CHAPTER Vocabulary The table contains important vocabulary terms from Chapter. As you work through the chapter, fill in the page number, definition, and a clarifying example. biconditional statement conclusion
More informationLecture Notes in Discrete Mathematics. Marcel B. Finan Arkansas Tech University c All Rights Reserved
Lecture Notes in Discrete Mathematics Marcel B. Finan Arkansas Tech University c All Rights Reserved 2 Preface This book is designed for a one semester course in discrete mathematics for sophomore or junior
More information8 Divisibility and prime numbers
8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express
More informationMatrix Representations of Linear Transformations and Changes of Coordinates
Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under
More informationWhat Is Induction and Why Study It?
1 What Is Induction and Why Study It? Evan Heit Why study induction, and indeed, why should there be a whole book devoted to the study of induction? The first reason is that inductive reasoning corresponds
More informationDedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes)
Dedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes) by Jim Propp (UMass Lowell) March 14, 2010 1 / 29 Completeness Three common
More informationPart 1 Expressions, Equations, and Inequalities: Simplifying and Solving
Section 7 Algebraic Manipulations and Solving Part 1 Expressions, Equations, and Inequalities: Simplifying and Solving Before launching into the mathematics, let s take a moment to talk about the words
More informationOne natural response would be to cite evidence of past mornings, and give something like the following argument:
Hume on induction Suppose you were asked to give your reasons for believing that the sun will come up tomorrow, in the form of an argument for the claim that the sun will come up tomorrow. One natural
More information2 When is a 2-Digit Number the Sum of the Squares of its Digits?
When Does a Number Equal the Sum of the Squares or Cubes of its Digits? An Exposition and a Call for a More elegant Proof 1 Introduction We will look at theorems of the following form: by William Gasarch
More informationThe last three chapters introduced three major proof techniques: direct,
CHAPTER 7 Proving Non-Conditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements
More informationINCIDENCE-BETWEENNESS GEOMETRY
INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationQuine on truth by convention
Quine on truth by convention March 8, 2005 1 Linguistic explanations of necessity and the a priori.............. 1 2 Relative and absolute truth by definition.................... 2 3 Is logic true by convention?...........................
More informationON ADDING A CRITICAL THINKING MODULE TO A DISCRETE STRUCTURES COURSE *
ON ADDING A CRITICAL THINKING MODULE TO A DISCRETE STRUCTURES COURSE * Michael R. Scheessele 1, Hang Dinh 1, and Mahesh Ananth 2 1 Department of Computer and Information Sciences and 2 Department of Philosophy
More informationLecture 2. What is the Normative Role of Logic?
Lecture 2. What is the Normative Role of Logic? What is the connection between (deductive) logic and rationality? One extreme: Frege. A law of logic is a law of rational thought. Seems problematic, if
More informationWOLLONGONG COLLEGE AUSTRALIA. Diploma in Information Technology
First Name: Family Name: Student Number: Class/Tutorial: WOLLONGONG COLLEGE AUSTRALIA A College of the University of Wollongong Diploma in Information Technology Mid-Session Test Summer Session 008-00
More informationRigorous Software Development CSCI-GA 3033-009
Rigorous Software Development CSCI-GA 3033-009 Instructor: Thomas Wies Spring 2013 Lecture 11 Semantics of Programming Languages Denotational Semantics Meaning of a program is defined as the mathematical
More informationThis asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.
3. Axioms of Set theory Before presenting the axioms of set theory, we first make a few basic comments about the relevant first order logic. We will give a somewhat more detailed discussion later, but
More information196 Chapter 7. Logical Agents
7 LOGICAL AGENTS In which we design agents that can form representations of the world, use a process of inference to derive new representations about the world, and use these new representations to deduce
More informationSYSTEMS OF PYTHAGOREAN TRIPLES. Acknowledgements. I would like to thank Professor Laura Schueller for advising and guiding me
SYSTEMS OF PYTHAGOREAN TRIPLES CHRISTOPHER TOBIN-CAMPBELL Abstract. This paper explores systems of Pythagorean triples. It describes the generating formulas for primitive Pythagorean triples, determines
More informationBoolean Design of Patterns
123 Boolean Design of Patterns Basic weave structures interlacement patterns can be described in many ways, but they all come down to representing the crossings of warp and weft threads. One or the other
More informationBOOLEAN ALGEBRA & LOGIC GATES
BOOLEAN ALGEBRA & LOGIC GATES Logic gates are electronic circuits that can be used to implement the most elementary logic expressions, also known as Boolean expressions. The logic gate is the most basic
More informationCommon sense, and the model that we have used, suggest that an increase in p means a decrease in demand, but this is not the only possibility.
Lecture 6: Income and Substitution E ects c 2009 Je rey A. Miron Outline 1. Introduction 2. The Substitution E ect 3. The Income E ect 4. The Sign of the Substitution E ect 5. The Total Change in Demand
More information9. Quotient Groups Given a group G and a subgroup H, under what circumstances can we find a homomorphism φ: G G ', such that H is the kernel of φ?
9. Quotient Groups Given a group G and a subgroup H, under what circumstances can we find a homomorphism φ: G G ', such that H is the kernel of φ? Clearly a necessary condition is that H is normal in G.
More informationFive High Order Thinking Skills
Five High Order Introduction The high technology like computers and calculators has profoundly changed the world of mathematics education. It is not only what aspects of mathematics are essential for learning,
More informationOA3-10 Patterns in Addition Tables
OA3-10 Patterns in Addition Tables Pages 60 63 Standards: 3.OA.D.9 Goals: Students will identify and describe various patterns in addition tables. Prior Knowledge Required: Can add two numbers within 20
More informationCSL105: Discrete Mathematical Structures. Ragesh Jaiswal, CSE, IIT Delhi
Propositional Logic: logical operators Negation ( ) Conjunction ( ) Disjunction ( ). Exclusive or ( ) Conditional statement ( ) Bi-conditional statement ( ): Let p and q be propositions. The biconditional
More information8 Primes and Modular Arithmetic
8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.
More informationChapter II. Controlling Cars on a Bridge
Chapter II. Controlling Cars on a Bridge 1 Introduction The intent of this chapter is to introduce a complete example of a small system development. During this development, you will be made aware of the
More informationMATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.
MATHEMATICAL INDUCTION MIGUEL A LERMA (Last updated: February 8, 003) Mathematical Induction This is a powerful method to prove properties of positive integers Principle of Mathematical Induction Let P
More informationIntroduction to Automata Theory. Reading: Chapter 1
Introduction to Automata Theory Reading: Chapter 1 1 What is Automata Theory? Study of abstract computing devices, or machines Automaton = an abstract computing device Note: A device need not even be a
More informationPropositional Logic. A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both.
irst Order Logic Propositional Logic A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both. Are the following sentences propositions? oronto
More informationPractice with Proofs
Practice with Proofs October 6, 2014 Recall the following Definition 0.1. A function f is increasing if for every x, y in the domain of f, x < y = f(x) < f(y) 1. Prove that h(x) = x 3 is increasing, using
More informationMathematics Review for MS Finance Students
Mathematics Review for MS Finance Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,
More informationPredicate Logic. Example: All men are mortal. Socrates is a man. Socrates is mortal.
Predicate Logic Example: All men are mortal. Socrates is a man. Socrates is mortal. Note: We need logic laws that work for statements involving quantities like some and all. In English, the predicate is
More informationGödel s Ontological Proof of the Existence of God
Prof. Dr. Elke Brendel Institut für Philosophie Lehrstuhl für Logik und Grundlagenforschung g Rheinische Friedrich-Wilhelms-Universität Bonn ebrendel@uni-bonn.de Gödel s Ontological Proof of the Existence
More informationUniversity of Ostrava. Reasoning in Description Logic with Semantic Tableau Binary Trees
University of Ostrava Institute for Research and Applications of Fuzzy Modeling Reasoning in Description Logic with Semantic Tableau Binary Trees Alena Lukasová Research report No. 63 2005 Submitted/to
More informationAutomata and Formal Languages
Automata and Formal Languages Winter 2009-2010 Yacov Hel-Or 1 What this course is all about This course is about mathematical models of computation We ll study different machine models (finite automata,
More informationThe Taxman Game. Robert K. Moniot September 5, 2003
The Taxman Game Robert K. Moniot September 5, 2003 1 Introduction Want to know how to beat the taxman? Legally, that is? Read on, and we will explore this cute little mathematical game. The taxman game
More informationFormal Languages and Automata Theory - Regular Expressions and Finite Automata -
Formal Languages and Automata Theory - Regular Expressions and Finite Automata - Samarjit Chakraborty Computer Engineering and Networks Laboratory Swiss Federal Institute of Technology (ETH) Zürich March
More informationc 2008 Je rey A. Miron We have described the constraints that a consumer faces, i.e., discussed the budget constraint.
Lecture 2b: Utility c 2008 Je rey A. Miron Outline: 1. Introduction 2. Utility: A De nition 3. Monotonic Transformations 4. Cardinal Utility 5. Constructing a Utility Function 6. Examples of Utility Functions
More informationChapter 1. Use the following to answer questions 1-5: In the questions below determine whether the proposition is TRUE or FALSE
Use the following to answer questions 1-5: Chapter 1 In the questions below determine whether the proposition is TRUE or FALSE 1. 1 + 1 = 3 if and only if 2 + 2 = 3. 2. If it is raining, then it is raining.
More informationCS 103X: Discrete Structures Homework Assignment 3 Solutions
CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering
More informationPolynomial Invariants
Polynomial Invariants Dylan Wilson October 9, 2014 (1) Today we will be interested in the following Question 1.1. What are all the possible polynomials in two variables f(x, y) such that f(x, y) = f(y,
More informationTHE BANACH CONTRACTION PRINCIPLE. Contents
THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,
More informationA simple algorithm with no simple verication
A simple algorithm with no simple verication Laszlo Csirmaz Central European University Abstract The correctness of a simple sorting algorithm is resented, which algorithm is \evidently wrong" at the rst
More informationThis puzzle is based on the following anecdote concerning a Hungarian sociologist and his observations of circles of friends among children.
0.1 Friend Trends This puzzle is based on the following anecdote concerning a Hungarian sociologist and his observations of circles of friends among children. In the 1950s, a Hungarian sociologist S. Szalai
More information