<<

. 107
( 107 .)



step, 127, 128, 319“321
validity
¬rst-order, 266“273
and logical truth, 271
variable, 228“229
assignment, 500, 506
appropriate, 501



General Index
Exercise Files Index

Abelard™s Sentences, 183 Conditional Sentences, 203
Ackermann™s World, 76, 83, 279 Conjunction 1, 143
Alan Robinson™s Sentences, 492 Conjunction 2, 145
Allan™s Sentences, 241 Conjunction 3, 146
Ana Con 1, 60 Conjunction 4, 147
Anderson™s First World, 305 Cooper™s World, 388
Anderson™s Second World, 306
Deduction Thm 1, 535
Aristotle™s Sentences, 241
DeMorgan™s Sentences, 81, 82
Arnault™s Sentences, 296
DeMorgan™s Sentences 2, 279
Austin™s Sentences, 27
Disjunction 1, 151
Axioms 1, 286
Disjunction 2, 153
Bernays™ Sentences, 83 DNF Example, 124
Bernstein™s Sentences, 234 Dodgson™s Sentences, 245
Between Sentences, 205
Bill™s Argument, 64 Edgar™s Sentences, 241
Bolzano™s World, 35, 83, 185, 273, Edgar™s World, 241
279, 300, 302, 372 Euler™s Sentences, 186
Boole™s Sentences, 80 Existential 1, 349
Boole™s World, 35, 70, 83, 86, 88
Finsler™s World, 292
Boolos™ Sentences, 186
FO Con 1, 272
Bozo™s Sentences, 234
Frege™s Sentences, 291
Brouwer™s Sentences, 70
Buridan™s Sentences, 297
Game Sentences, 238
Cantor™s Sentences, 290 Game World, 238
Cantor™s World, 290 G¨del™s World, 283
o
Carnap™s Sentences, 273 G¨del™s World, 303
o
Carroll™s World, 296, 308
Henkin Construction, 545
Church™s Sentences, 279
Henkin™s Sentences, 534
Claire™s World, 72, 249, 279, 300
Hercule™s Sentences, 296
CNF Sentences, 125
Hilbert™s Sentences, 296
Conditional 1, 207
Conditional 2, 208 Horn™s Other Sentences, 486
Conditional 3, 210 Horn™s Sentences, 486



585
586 / Exercise Files Index


Identity 1, 58 Post™s Sentences, 363
Intersection 1, 417 Proof Deduction Thm 1, 535
Proof Taut Con 1, 115
Jon Russell™s Sentences, 315
Quanti¬er Strategy 1, 356
Kleene™s Sentences, 79
Kleene™s World, 79
Ramsey™s Sentences, 292, 293
K¨nig™s World, 292, 295
o
Ramsey™s World, 77, 279
Reichenbach™s World, 242
Leibniz™s Sentences, 296
Reichenbach™s World 1, 307
Leibniz™s World, 35, 83, 185, 234,
Reichenbach™s World 2, 307
239, 250, 296, 299
Robinson™s Sentences, 374
Lestrade™s Sentences, 26
Ron™s World, 299, 300, 302
Lestrade™s World, 26
Russell™s Sentences, 382
L¨wenheim™s Sentences, 293
o

Schr¨der™s Sentences, 81
o
Maigret™s Sentences, 243
Sch¨n¬nkel™s Sentences, 234
o
Maigret™s World, 243
Mary Ellen™s Sentences, 499 Sentences Ambiguity 1, 81
Mary Ellen™s World, 499 Sentences Game 1, 73
Max™s Sentences, 74 Sentences Game 2, 76
Mixed Sentences, 295 Sentences Multiple 1, 291
Montague™s Sentences, 299 Sentences Quanti¬er 1, 240
Montague™s World, 184, 248, 372 Sextus™ Sentences, 121
More CNF Sentences, 125 She¬er™s Sentences, 194
Mostowski™s World, 373 Sherlock™s Sentences, 186
Sherlock™s World, 186
Negation 1, 156 Skolem™s Sentences, 508
Negation 2, 159 Skolem™s World, 316, 317, 372
Negation 3, 160 Socrates™ Sentences, 44
Null Quanti¬cation Sentences, 282 Socrates™ World, 44
Strategy 1, 168
Ockham™s Sentences, 400, 401
Ockham™s World, 400, 401
Table Horn 1, 483
Table Tautology 1, 101
Padoa™s Sentences, 363
Taut Con 1, 114
Peano™s Sentences, 292
Taut Con 2, 116
Peano™s World, 245, 246, 292, 300,
Thoralf™s First World, 508
371
Thoralf™s Second World, 509
Peirce™s Sentences, 238
Turing™s Sentences, 120
Peirce™s World, 238, 245, 246, 291,
299, 316



Exercise Files Index
Exercise Files Index / 587



Universal 1, 344
Universal 2, 345

Venn™s World, 185, 249, 426, 428

Weiner™s Sentences, 105
Whitehead™s Sentences, 368
Wittgenstein™s Sentences, 24
Wittgenstein™s World, 24, 27, 35,
44, 69, 73, 77, 80, 88, 183,
185, 249, 302, 303
World Counterexample 1, 65
World DNF 1, 125
World Mixed 1, 295
World Submit Me 1, 8, 9

Zorn™s Sentences, 239




Exercise Files Index

<<

. 107
( 107 .)