Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
6Activity

Table Of Contents

What is logic?
1.1 Arguments
1.2 Sentences
1.3 Two ways that arguments can go wrong
1.4 Deductive validity
1.5 Other logical notions
1.6 Formal languages
Practice Exercises
Sentential logic
2.1 Sentence letters
2.2 Connectives
2.3 Other symbolization
2.4 Sentences of SL
Truth tables
3.1 Truth-functional connectives
3.2 Complete truth tables
3.3 Using truth tables
3.4 Partial truth tables
Quantified logic
4.1 From sentences to predicates
4.2 Building blocks of QL
4.3 Quantifiers
4.4 Translating to QL
4.5 Sentences of QL
4.6 Identity
Formal semantics
5.1 Semantics for SL
5.2 Interpretations and models in QL
5.3 Semantics for identity
5.4 Working with models
6.1 Basic rules for SL
6.2 Derived rules
6.3 Rules of replacement
6.4 Rules for quantifiers
6.5 Rules for identity
6.6 Proof strategy
6.7 Proof-theoretic concepts
6.8 Proofs and models
6.9 Soundness and completeness
Quick Reference
0 of .
Results for:
No results containing your search query
P. 1
An Introduction to Formal Logic

An Introduction to Formal Logic

Ratings: (0)|Views: 909|Likes:
Published by Jatin Gera

More info:

Published by: Jatin Gera on Apr 16, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

11/15/2012

pdf

text

original

You're Reading a Free Preview
Pages 4 to 75 are not shown in this preview.
You're Reading a Free Preview
Pages 79 to 95 are not shown in this preview.
You're Reading a Free Preview
Pages 99 to 107 are not shown in this preview.
You're Reading a Free Preview
Pages 111 to 132 are not shown in this preview.
You're Reading a Free Preview
Pages 136 to 160 are not shown in this preview.

Activity (6)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Kazuaki Tani liked this
Kevin Kuehner liked this
petprod liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->