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 much do you love him? By Zarina Chocolate Start Quiz
	Psychology By OpenStax Read Online Course
	12 Sociology 12 Gender, Sex, and Sexuality MCQ By OpenStax Start Quiz
	Economy Foundations By Dr. Robert Murphy Start Test
	Principles of microeconomics for ap® courses By OpenStax Read Online Course
©flickr: Justin	Music Appreciation Final Practice By Madison Christian Start Exam
	Time and Stress Management MCQ By Dionne Mahaffey Start Quiz
	Principles of Marketing By Dionne Mahaffey Start Quiz
	Spanish Lesson 4 By Anonymous User Start Quiz
	12 AP 12 Nervous System Essay By OpenStax Start Flashcards