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

2 Interpretations

3 Nonstandard interpretations (optional)

4 Modeling with relations

First-order logic

Exercises for first-order logic

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

	How well do you know 5SOS? By Wey Hey Start Quiz
	Understanding basic music theory By OpenStax Read Online Course
	Socialism Command Economy By Dr. Robert Murphy Start Test
	Are you a 5sos fan? By Rylee Minllic Start Quiz
	Professional makeup certification Test By Angela January Start Quiz
	Precalculus By OpenStax Read Online Course
	Introductory statistics By OpenStax Read Online Course
	11 AP 11 Muscular System Essay By OpenStax Start Flashcards
©flickr:	Biology 1 By Jill Zerressen Start Quiz
	2 Pharmacology Nervous System Essay By Rohini Ajay Start Test