Intro to logic

OpenStax

@

90 = 100: a proof

1 The need for proofs

2 Defining a proof

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

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

	5 Biology 05 Plasma Membranes Structure Function By OpenStax Start Quiz
©flickr: Eduardo	Nursing Education NU589 By Sandy Yamane Start Test
	9 Neuroanatomy 09 The Auditory System By M.D. Stephen Voron Start Quiz
	30 Biology 30 Plant Form and Physiology MCQ By OpenStax Start Quiz
	15 AP 15 Autonomic Nervous System MCQ By OpenStax Start Quiz
	Biology Exam 2 By Vanessa Soledad Start Exam
©flickr: Aaron	Computer Literacy Exam 1 By Lakeima Roberts Start Quiz
	8 AP Key Terms 08 The Appendicular Skeleton By OpenStax Start Key Terms
	13 Neuroanatomy 13 The Hypothalamus By M.D. Stephen Voron Start Quiz
	2 AP Key Terms 02 Chemical Level of Organization By OpenStax Start Key Terms