# 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: AssumptionsConjunctionContradictionImmediatelyPropositionalUncomfortableLine NumberInterpretationFollowing EquivalenceDistinction

## 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