Koofers

Lecture Notes for MATH 387 - Discrete and Foundational Mathematics with Holmes at Boise State (BSU)

Notes Information

Material Type:Class Note
Professor:Holmes
Class:MATH 387 - Discrete and Foundational Mathematics
Subject:Mathematics
University:Boise State University
Term:Spring 2009
Keywords:
  • Assumptions
  • Conjunction
  • Contradiction
  • Immediately
  • Propositional
  • Uncomfortable
  • Line Number
  • Interpretation
  • Following Equivalence
  • Distinction
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4Preview Page 5Preview Page 6

Sample Document Text

Math 387 Spring 2009 Lecture Notes M. Randall Holmes May 7, 2009 Contents 1 Introduction 3 2 Propositional Logic 3 2.1 January 20, 2009: levels of language, basic operations, truth tables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 January 21, 2009: adequacy of our basic operations; reducing them too far . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.3 January 23, 2009: proof strategy for natural deduction proofs 13 2.3.1 Conjunctions in proofs . . . . . . . . . . . . . . . . . . 13 2.3.2 Implications in proofs . . . . . . . . . . . . . . . . . . . 14 2.3.3 Biconditionals in proofs . . . . . . . . . . . . . . . . . 14 2.3.4 An example with conjunction and implication (and bi- conditional) . . . . . . . . . . . . . . . . . . . . . . . . 14 2.3.5 Negation in proofs . . . . . . . . . . . . . . . . . . . . 16 2.3.6 Disjunction in proofs . . . . . . . . . . . . . . . . . . . 16 2.3.7 Discussion and more examples . . . . . . . . . . . . . . 16 2.4 Homework Set...

Related Documents

Conciliation Exam
Grandfather/grandmother Notes
In/on/at a Place Notes
Chapter 13 Bankruptcy Exam
Problem Statements Notes
Target Cost Exam
Unilateral Contract Exam
Unauthorized Exam
Instrumental Values Notes
Expressive Style Notes
Underpayment Inequity Notes
Legal Custody Notes
Different Schools Notes
Non-Experimental Method Notes
American Imperialism Exam
Creative Concept Exam
155, "/var/app/current/tmp/"