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

	Immunology Practice Test By Sandhills MLT Start Test
	Biology Exam 2 By Vanessa Soledad Start Exam
	Biology Final By Anonymous User Start Quiz
	2 Biology 02 The Chemical Foundation of Life MCQ By OpenStax Start Quiz
	34 Biology 34 Animal Nutrition Digestive System By OpenStax Start Quiz
©flickr: Mike	Examples of Wiffle IQ By Sean WiffleBoy Start Quiz
	10 Biology 10 Cell Reproduction MCQ By OpenStax Start Quiz
	5 Psychology MCQ 2010 1 Exam By John Gabrieli Start Exam
	3 Neuroanatomy 03 Ventricular System By Stephen Voron Start Quiz
©flickr: Gareth	Resume Writing MCQ By Abby Sharp Start Quiz