Intro to logic

OpenStax

@

90 = 100: a proof

1 The need for proofs

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

0.1 Propositional logic

0.2 Reasoning with truth tables

0.3 Reasoning with equivalences

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

	2 Lec:2 Randomized Controlled Trials By Janet Forrester Start Quiz
©flickr: U.S.	Molecular Cellular Biology By Ann Schlosser Start Quiz
	2 Gastrointestinal Pathophysiology Self-Assessment By Laurence Bailen Start Assessment
	39 Biology 39 The Respiratory System MCQ By OpenStax Start Quiz
	34 Biology 34 Animal Nutrition Digestive System By OpenStax Start Quiz
	Autonomic Nervous System By Marriyam Rana Start Quiz
	Are you part of the R5 Family? By Anonymous User Start Quiz
	Worldport Outside By Rachel Carlisle Start Quiz
	1 Understanding Societies 1 By Jessica Collett Start Exam
	24 Biology 24 Fungi MCQ By OpenStax Start Quiz