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

1 Exercises for propositional logic ii

Relations and models

1 Properties of relations

2 Interpretations

2.1 Needing interpretations to evaluate formulas

2.2 Using truth tables to summarize interpretations (optional)

2.3 Using formulas to classify interpretations (optional)

2.4 Encoding functions as relations

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

	Who Said This Quote Quiz By Yasser Ibrahim Start Quiz
	English Vocabulary By Jordon Humphreys Start Quiz
	Chemistry Final By Briana Hamilton Start Flashcards
	Pre-class Online Quiz - Case Control Studies By Mucho Mizinduko Start Quiz
	Biology Exam Final By Savannah Parrish Start Exam
©flickr: Eduardo	Nursing Education NU589 By Sandy Yamane Start Test
	Biology 302 Final By Dravida Mahadeo-J... Start Quiz
	Anthropology Biology Culture By Prof. Richley Crapo Start Assignment
©flickr: Tim	Hazard Quiz By Royalle Moore Start Quiz
©flickr:	Anatomy Physiology By Jemekia Weeden Start Quiz