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

0.1 Why didn't we begin with quantifiers all along?

0.2 Logic and everyday reasoning

0.3 Other logics

0.4 Limitations of first-order logic's expressiveness

0.5 Logic in computer science

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

	8 Biology 08 Photosynthesis MCQ By OpenStax Start Quiz
	NCE Ch 10 Professional Orientation By Anh Dao Start Quiz
	1 Arts Society: Theater 1 By Jonathan Long Start Quiz
	Anthropology Culture Personality By Richley Crapo Start Assignment
	MAPEH Test G9 (Physical Education) By Angelica Lito Start Quiz
	Art Reviewer MCQ By Edgar Delgado Start Quiz
	Vocabulary Week 1-3 By Rachel Woolard Start Quiz
©flickr: Elliott	Spanish Verbs Subject Pronouns By Mariah Hauptman Start Quiz
©flickr:	Anatomy Physiology By Jemekia Weeden Start Quiz
©flickr: anjelkam	Art By Caitlyn Gobble Start Exam