Intro to logic

OpenStax

@

90 = 100: a proof

1 The need for proofs

1.2 Type checking

1.3 Circuit verification

2 Defining a proof

2.1 What are proofs? (informal)

2.2 An argument by form

2.3 Some non-proofs

2.4 Other inference rules

2.5 The need for a precise language

Propositional logic

Exercises for propositional logic i

1 Exercises for propositional logic ii

Relations and models

1 Properties of relations

1.1 Relations as subsets

1.2 Relations as functions

1.3 Functions as relations

1.4 Binary relations

1.5 Binary relation notation

1.6 Binary relations as graphs

2 Interpretations

3 Nonstandard interpretations (optional)

4 Modeling with relations

First-order logic

Exercises for first-order logic

0.1 Relations and interpretations

0.2 Quantifiers

0.3 Interpreting first-order formulas

0.5 Reasoning with equivalences

0.6 Reasoning with inference rules

Conclusion, acknowledgements

Logic: looking back

0.1 Why didn't we begin with quantifiers all along?

0.2 Logic and everyday reasoning

0.3 Other logics

0.4 Limitations of first-order logic's expressiveness

0.5 Logic in computer science

1 Acknowledgements

Appendices and reference sheets

Propositional equivalences

1 Propositional inference rules

2 First-order equivalences

3 First-order inference rules

4 Propositional axioms for waterworld

5 First-order axioms for waterworld

6 Browser support

Source: OpenStax, Intro to logic. OpenStax CNX. Jan 29, 2008 Download for free at http://cnx.org/content/col10154/1.20

	3 BOD GI quiz By Brooke Delaney Start Exam
	2 Muscular System MCQ By Nick Swain Start Quiz
	4 Neuroanatomy 04 Spinal Cord Brain Stem By M.D. Stephen Voron Start Quiz
	Kira Kira Test By Briana Knowlton Start Quiz
	22 AP 22 Respiratory System Essay By OpenStax Start Flashcards
	Chemistry Final By Briana Hamilton Start Flashcards
	Spreadsheets MCQ By Ryan Lowe Start Quiz
	3 Microeconomics 03 Demand Supply By OpenStax Start Flashcards
	6 Biology 06 Metabolism MCQ By OpenStax Start Quiz
	10 Lec:10 Sampling Confidence Intervals By Dr. Janet Forrester Start Quiz