(dates are wrong, due to reorganization)
|
|
 |
10-Intro.toquantification.pdf
View Download |
|
20k |
v. 2 |
Oct 21, 2009 1:48 PM
|
David Sidi |
|
|
11-Moreonquantification.pdf
View Download |
|
22k |
v. 2 |
Oct 21, 2009 1:48 PM
|
David Sidi |
|
|
12-Semanticsofthequantifiers.pdf
View Download |
|
24k |
v. 2 |
Oct 22, 2009 8:43 PM
|
David Sidi |
|
|
13-Syllogisms,translatingcomplexNPs,negationandquantification.pdf
View Download |
|
17k |
v. 2 |
Oct 22, 2009 8:43 PM
|
David Sidi |
|
|
14-FO-consequenceandinterpretations.pdf
View Download |
|
21k |
v. 5 |
Dec 11, 2009 10:59 AM
|
David Sidi |
|
|
15-Kindsofconsequence;truth-functionalformandquantifiedsentences;quantifierequivalences.pdf
View Download |
|
36k |
v. 2 |
Oct 29, 2009 8:42 PM
|
David Sidi |
|
|
16-Axiomaticmethod;equivalencesandnullquantification;translatingintoandoutofFOL.pdf
View Download |
|
20k |
v. 2 |
Nov 4, 2009 9:53 AM
|
David Sidi |
|
|
17-translationoutofFOL;mixedquantification;reasoningwithquantifiers.pdf
View Download |
|
30k |
v. 2 |
Nov 8, 2009 6:46 PM
|
David Sidi |
|
|
18-Universalintro.andExistentialelim.,withexamples.pdf
View Download |
Proofs discussed in these slides are in the folder marked 'Example Proofs' |
35k |
v. 4 |
Nov 17, 2009 7:14 PM
|
David Sidi |
|
|
19-Workedexamplesofformalproofwithquantifiers.pdf
View Download |
Proofs discussed in these slides are in the folder marked 'Example Proofs' |
31k |
v. 7 |
Nov 17, 2009 7:15 PM
|
David Sidi |
|
|
20-Furtherpracticewithformalproofwithquantifiers.pdf
View Download |
|
22k |
v. 2 |
Nov 24, 2009 7:03 AM
|
David Sidi |
|
|
21-Practicewithformalproofwithquantifiers;definitedescriptions.pdf
View Download |
Some of the material here is repeated from last time, due to the strike. |
29k |
v. 2 |
Nov 24, 2009 7:11 AM
|
David Sidi |
|
|
22-BeyondFOL;intro.tosoundnessandcompleteness.pdf
View Download |
|
35k |
v. 2 |
Dec 1, 2009 7:35 PM
|
David Sidi |
|
|
1-Introduction.pdf
View Download |
|
14k |
v. 2 |
Oct 21, 2009 1:49 PM
|
David Sidi |
|
|
2-ConsequenceandValidity.pdf
View Download |
|
16k |
v. 2 |
Oct 21, 2009 1:49 PM
|
David Sidi |
|
|
3-Overviewofmethodsforshowingconsequence.pdf
View Download |
|
17k |
v. 6 |
Oct 21, 2009 1:49 PM
|
David Sidi |
|
|
4-Formalproofwithidentity,sententialconnectives.pdf
View Download |
|
47k |
v. 2 |
Oct 21, 2009 1:49 PM
|
David Sidi |
|
|
5-Booleanconnectives.pdf
View Download |
|
49k |
v. 2 |
Oct 21, 2009 1:49 PM
|
David Sidi |
|
|
6-Truthtablemethodforshowingconsequence;understandingtautologies.pdf
View Download |
|
32k |
v. 2 |
Oct 21, 2009 1:49 PM
|
David Sidi |
|
|
7-Tautologicalconsequence,proofbycases,indirectproof.pdf
View Download |
|
40k |
v. 2 |
Oct 21, 2009 1:49 PM
|
David Sidi |
|
|
8-Someintro.andelim.rules,exampleproofs.pdf
View Download |
|
63k |
v. 2 |
Oct 21, 2009 1:49 PM
|
David Sidi |
|
|
9-Conditionals.pdf
View Download |
|
87k |
v. 2 |
Oct 21, 2009 1:49 PM
|
David Sidi |
 Tarski's world sentences and worlds |
|---|
|
