TW Exercise Files

Name	Size	Modified
Up
Abelard's Sentences.sen	877 B	03/19/2023 07:29:17 AM +00:00
Ackermann's World.wld	82 B	03/19/2023 07:29:17 AM +00:00
Alan Robinson's Sentences.sen	320 B	03/19/2023 07:29:17 AM +00:00
Allan's Sentences.sen	136 B	03/19/2023 07:29:17 AM +00:00
Anderson's First World.wld	160 B	03/19/2023 07:29:17 AM +00:00
Anderson's Second World.wld	160 B	03/19/2023 07:29:17 AM +00:00
Aristotle's Sentences.sen	235 B	03/19/2023 07:29:17 AM +00:00
Arnault's Sentences.sen	468 B	03/19/2023 07:29:17 AM +00:00
Austin's Sentences.sen	124 B	03/19/2023 07:29:17 AM +00:00
Bernays' Sentences.sen	173 B	03/19/2023 07:29:17 AM +00:00
Bernstein's Sentences.sen	578 B	03/19/2023 07:29:17 AM +00:00
Between Sentences.sen	246 B	03/19/2023 07:29:17 AM +00:00
Bill's Argument.sen	238 B	03/19/2023 07:29:17 AM +00:00
Bolzano's World.wld	124 B	03/19/2023 07:29:17 AM +00:00
Boole's Sentences.sen	1.0 KiB	03/19/2023 07:29:17 AM +00:00
Boole's World.wld	105 B	03/19/2023 07:29:17 AM +00:00
Boolos' Sentences.sen	269 B	03/19/2023 07:29:17 AM +00:00
Bozo's Sentences.sen	708 B	03/19/2023 07:29:17 AM +00:00
Brouwer's Sentences.sen	568 B	03/19/2023 07:29:17 AM +00:00
Buridan's Sentences.sen	411 B	03/19/2023 07:29:17 AM +00:00
Cantor's Sentences.sen	140 B	03/19/2023 07:29:17 AM +00:00
Cantor's World.wld	78 B	03/19/2023 07:29:17 AM +00:00
Carnap's Sentences.sen	509 B	03/19/2023 07:29:17 AM +00:00
Carroll's World.wld	89 B	03/19/2023 07:29:17 AM +00:00
Church's Sentences.sen	126 B	03/19/2023 07:29:17 AM +00:00
Claire's World.wld	102 B	03/19/2023 07:29:17 AM +00:00
CNF Sentences.sen	425 B	03/19/2023 07:29:17 AM +00:00
Conditional Sentences.sen	169 B	03/19/2023 07:29:17 AM +00:00
Cooper's World.wld	161 B	03/19/2023 07:29:17 AM +00:00
DeMorgan's Sentences 2.sen	220 B	03/19/2023 07:29:17 AM +00:00
DeMorgan's Sentences.sen	248 B	03/19/2023 07:29:17 AM +00:00
Distributive Sentences.sen	335 B	03/19/2023 07:29:17 AM +00:00
DNF Example.sen	223 B	03/19/2023 07:29:17 AM +00:00
Dodgson's Sentences.sen	168 B	03/19/2023 07:29:17 AM +00:00
Edgar's Sentences.sen	353 B	03/19/2023 07:29:17 AM +00:00
Edgar's World.wld	91 B	03/19/2023 07:29:17 AM +00:00
Euler's Sentences.sen	544 B	03/19/2023 07:29:17 AM +00:00
Finsler's World.wld	160 B	03/19/2023 07:29:17 AM +00:00
Frege's Sentences.sen	486 B	03/19/2023 07:29:17 AM +00:00
Game Sentences.sen	309 B	03/19/2023 07:29:17 AM +00:00
Game World.wld	140 B	03/19/2023 07:29:17 AM +00:00
Godel's World.wld	102 B	03/19/2023 07:29:17 AM +00:00
Henkin Construction.sen	292 B	03/19/2023 07:29:17 AM +00:00
Henkin's Sentences.sen	242 B	03/19/2023 07:29:17 AM +00:00
Henkin's World.wld	99 B	03/19/2023 07:29:17 AM +00:00
Hercule's Sentences.sen	623 B	03/19/2023 07:29:17 AM +00:00
Hilbert's Sentences.sen	1.3 KiB	03/19/2023 07:29:17 AM +00:00
Horn's Other Sentences.sen	151 B	03/19/2023 07:29:17 AM +00:00
Horn's Sentences.sen	195 B	03/19/2023 07:29:17 AM +00:00
Jon Russell's Sentences.sen	468 B	03/19/2023 07:29:18 AM +00:00
Kleene's Sentences.sen	426 B	03/19/2023 07:29:18 AM +00:00
Kleene's World.wld	95 B	03/19/2023 07:29:18 AM +00:00
Konig's World.wld	160 B	03/19/2023 07:29:18 AM +00:00
Leibniz's Sentences.sen	1.8 KiB	03/19/2023 07:29:18 AM +00:00
Leibniz's World.wld	134 B	03/19/2023 07:29:18 AM +00:00
Lestrade's Sentences.sen	166 B	03/19/2023 07:29:18 AM +00:00
Lestrade's World.wld	99 B	03/19/2023 07:29:18 AM +00:00
Lowenheim's Sentences.sen	442 B	03/19/2023 07:29:18 AM +00:00
Maigret's Sentences.sen	291 B	03/19/2023 07:29:18 AM +00:00
Maigret's World.wld	119 B	03/19/2023 07:29:18 AM +00:00
Malcev's World.wld	105 B	03/19/2023 07:29:18 AM +00:00
Mary Ellen's Sentences.sen	198 B	03/19/2023 07:29:18 AM +00:00
Mary Ellen's World.wld	79 B	03/19/2023 07:29:18 AM +00:00
Max's Sentences.sen	704 B	03/19/2023 07:29:18 AM +00:00
Mixed Sentences.sen	80 B	03/19/2023 07:29:18 AM +00:00
Montague's Sentences.sen	1.2 KiB	03/19/2023 07:29:18 AM +00:00
Montague's World.wld	82 B	03/19/2023 07:29:18 AM +00:00
More CNF Sentences.sen	467 B	03/19/2023 07:29:18 AM +00:00
Mostowski's World.wld	165 B	03/19/2023 07:29:18 AM +00:00
Null Quantification Sentences.sen	315 B	03/19/2023 07:29:18 AM +00:00
Ockham's Sentences.sen	401 B	03/19/2023 07:29:18 AM +00:00
Ockham's World.wld	78 B	03/19/2023 07:29:18 AM +00:00
Padoa's Sentences.sen	323 B	03/19/2023 07:29:18 AM +00:00
Peano's Sentences.sen	2.0 KiB	03/19/2023 07:29:18 AM +00:00
Peano's World.wld	150 B	03/19/2023 07:29:18 AM +00:00
Peirce's Sentences.sen	705 B	03/19/2023 07:29:18 AM +00:00
Peirce's World.wld	160 B	03/19/2023 07:29:18 AM +00:00
Post's Sentences.sen	292 B	03/19/2023 07:29:18 AM +00:00
Ramsey's Sentences.sen	1.0 KiB	03/19/2023 07:29:18 AM +00:00
Ramsey's World.wld	71 B	03/19/2023 07:29:18 AM +00:00
Reichenbach's World 1.wld	109 B	03/19/2023 07:29:18 AM +00:00
Reichenbach's World 2.wld	109 B	03/19/2023 07:29:18 AM +00:00
Robinson's Sentences.sen	484 B	03/19/2023 07:29:18 AM +00:00
Ron's World.wld	166 B	03/19/2023 07:29:18 AM +00:00
Russell's Sentences.sen	588 B	03/19/2023 07:29:18 AM +00:00
Russell's World.wld	88 B	03/19/2023 07:29:18 AM +00:00
Schonfinkel's Sentences.sen	849 B	03/19/2023 07:29:18 AM +00:00
Schroder's Sentences.sen	424 B	03/19/2023 07:29:18 AM +00:00
Sextus' Sentences.sen	299 B	03/19/2023 07:29:18 AM +00:00
Sheffer's Sentences.sen	245 B	03/19/2023 07:29:18 AM +00:00
Sherlock's Sentences.sen	216 B	03/19/2023 07:29:18 AM +00:00
Sherlock's World.wld	99 B	03/19/2023 07:29:18 AM +00:00
Skolem's Sentences.sen	284 B	03/19/2023 07:29:18 AM +00:00
Skolem's World.wld	99 B	03/19/2023 07:29:18 AM +00:00
Socrates' Sentences.sen	1.8 KiB	03/19/2023 07:29:18 AM +00:00
Socrates' World.wld	125 B	03/19/2023 07:29:18 AM +00:00
Thoralf's First World.wld	78 B	03/19/2023 07:29:18 AM +00:00
Thoralf's Second World.wld	68 B	03/19/2023 07:29:18 AM +00:00
Turing's Sentences.sen	377 B	03/19/2023 07:29:18 AM +00:00
Venn's World.wld	105 B	03/19/2023 07:29:18 AM +00:00
Weiner's Sentences.sen	555 B	03/19/2023 07:29:18 AM +00:00
Whitehead's Sentences.sen	543 B	03/19/2023 07:29:18 AM +00:00
Wittgenstein's Sentences.sen	942 B	03/19/2023 07:29:18 AM +00:00
Wittgenstein's World.wld	135 B	03/19/2023 07:29:18 AM +00:00
World Submit Me 1.wld	68 B	03/19/2023 07:29:18 AM +00:00
Zorn's Sentences.sen	325 B	03/19/2023 07:29:18 AM +00:00

Abelard's Sentences.sen

877 B

03/19/2023 07:29:17 AM +00:00

Ackermann's World.wld

82 B

03/19/2023 07:29:17 AM +00:00

Alan Robinson's Sentences.sen

320 B

03/19/2023 07:29:17 AM +00:00

Allan's Sentences.sen

136 B

03/19/2023 07:29:17 AM +00:00

Anderson's First World.wld

160 B

03/19/2023 07:29:17 AM +00:00

Anderson's Second World.wld

160 B

03/19/2023 07:29:17 AM +00:00

Aristotle's Sentences.sen

235 B

03/19/2023 07:29:17 AM +00:00

Arnault's Sentences.sen

468 B

03/19/2023 07:29:17 AM +00:00

Austin's Sentences.sen

124 B

03/19/2023 07:29:17 AM +00:00

Bernays' Sentences.sen

173 B

03/19/2023 07:29:17 AM +00:00

Bernstein's Sentences.sen

578 B

03/19/2023 07:29:17 AM +00:00

Between Sentences.sen

246 B

03/19/2023 07:29:17 AM +00:00

Bill's Argument.sen

238 B

03/19/2023 07:29:17 AM +00:00

Bolzano's World.wld

124 B

03/19/2023 07:29:17 AM +00:00

Boole's Sentences.sen

1.0 KiB

03/19/2023 07:29:17 AM +00:00

Boole's World.wld

105 B

03/19/2023 07:29:17 AM +00:00

Boolos' Sentences.sen

269 B

03/19/2023 07:29:17 AM +00:00

Bozo's Sentences.sen

708 B

03/19/2023 07:29:17 AM +00:00

Brouwer's Sentences.sen

568 B

03/19/2023 07:29:17 AM +00:00

Buridan's Sentences.sen

411 B

03/19/2023 07:29:17 AM +00:00

Cantor's Sentences.sen

140 B

03/19/2023 07:29:17 AM +00:00

Cantor's World.wld

78 B

03/19/2023 07:29:17 AM +00:00

Carnap's Sentences.sen

509 B

03/19/2023 07:29:17 AM +00:00

Carroll's World.wld

89 B

03/19/2023 07:29:17 AM +00:00

Church's Sentences.sen

126 B

03/19/2023 07:29:17 AM +00:00

Claire's World.wld

102 B

03/19/2023 07:29:17 AM +00:00

CNF Sentences.sen

425 B

03/19/2023 07:29:17 AM +00:00

Conditional Sentences.sen

169 B

03/19/2023 07:29:17 AM +00:00

Cooper's World.wld

161 B

03/19/2023 07:29:17 AM +00:00

DeMorgan's Sentences 2.sen

220 B

03/19/2023 07:29:17 AM +00:00

DeMorgan's Sentences.sen

248 B

03/19/2023 07:29:17 AM +00:00

Distributive Sentences.sen

335 B

03/19/2023 07:29:17 AM +00:00

DNF Example.sen

223 B

03/19/2023 07:29:17 AM +00:00

Dodgson's Sentences.sen

168 B

03/19/2023 07:29:17 AM +00:00

Edgar's Sentences.sen

353 B

03/19/2023 07:29:17 AM +00:00

Edgar's World.wld

91 B

03/19/2023 07:29:17 AM +00:00

Euler's Sentences.sen

544 B

03/19/2023 07:29:17 AM +00:00

Finsler's World.wld

160 B

03/19/2023 07:29:17 AM +00:00

Frege's Sentences.sen

486 B

03/19/2023 07:29:17 AM +00:00

Game Sentences.sen

309 B

03/19/2023 07:29:17 AM +00:00

Game World.wld

140 B

03/19/2023 07:29:17 AM +00:00

Godel's World.wld

102 B

03/19/2023 07:29:17 AM +00:00

Henkin Construction.sen

292 B

03/19/2023 07:29:17 AM +00:00

Henkin's Sentences.sen

242 B

03/19/2023 07:29:17 AM +00:00

Henkin's World.wld

99 B

03/19/2023 07:29:17 AM +00:00

Hercule's Sentences.sen

623 B

03/19/2023 07:29:17 AM +00:00

Hilbert's Sentences.sen

1.3 KiB

03/19/2023 07:29:17 AM +00:00

Horn's Other Sentences.sen

151 B

03/19/2023 07:29:17 AM +00:00

Horn's Sentences.sen

195 B

03/19/2023 07:29:17 AM +00:00

Jon Russell's Sentences.sen

468 B

03/19/2023 07:29:18 AM +00:00

Kleene's Sentences.sen

426 B

03/19/2023 07:29:18 AM +00:00

Kleene's World.wld

95 B

03/19/2023 07:29:18 AM +00:00

Konig's World.wld

160 B

03/19/2023 07:29:18 AM +00:00

Leibniz's Sentences.sen

1.8 KiB

03/19/2023 07:29:18 AM +00:00

Leibniz's World.wld

134 B

03/19/2023 07:29:18 AM +00:00

Lestrade's Sentences.sen

166 B

03/19/2023 07:29:18 AM +00:00

Lestrade's World.wld

99 B

03/19/2023 07:29:18 AM +00:00

Lowenheim's Sentences.sen

442 B

03/19/2023 07:29:18 AM +00:00

Maigret's Sentences.sen

291 B

03/19/2023 07:29:18 AM +00:00

Maigret's World.wld

119 B

03/19/2023 07:29:18 AM +00:00

Malcev's World.wld

105 B

03/19/2023 07:29:18 AM +00:00

Mary Ellen's Sentences.sen

198 B

03/19/2023 07:29:18 AM +00:00

Mary Ellen's World.wld

79 B

03/19/2023 07:29:18 AM +00:00

Max's Sentences.sen

704 B

03/19/2023 07:29:18 AM +00:00

Mixed Sentences.sen

80 B

03/19/2023 07:29:18 AM +00:00

Montague's Sentences.sen

1.2 KiB

03/19/2023 07:29:18 AM +00:00

Montague's World.wld

82 B

03/19/2023 07:29:18 AM +00:00

More CNF Sentences.sen

467 B

03/19/2023 07:29:18 AM +00:00

Mostowski's World.wld

165 B

03/19/2023 07:29:18 AM +00:00

Null Quantification Sentences.sen

315 B

03/19/2023 07:29:18 AM +00:00

Ockham's Sentences.sen

401 B

03/19/2023 07:29:18 AM +00:00

Ockham's World.wld

78 B

03/19/2023 07:29:18 AM +00:00

Padoa's Sentences.sen

323 B

03/19/2023 07:29:18 AM +00:00

Peano's Sentences.sen

2.0 KiB

03/19/2023 07:29:18 AM +00:00

Peano's World.wld

150 B

03/19/2023 07:29:18 AM +00:00

Peirce's Sentences.sen

705 B

03/19/2023 07:29:18 AM +00:00

Peirce's World.wld

160 B

03/19/2023 07:29:18 AM +00:00

Post's Sentences.sen

292 B

03/19/2023 07:29:18 AM +00:00

Ramsey's Sentences.sen

1.0 KiB

03/19/2023 07:29:18 AM +00:00

Ramsey's World.wld

71 B

03/19/2023 07:29:18 AM +00:00

Reichenbach's World 1.wld

109 B

03/19/2023 07:29:18 AM +00:00

Reichenbach's World 2.wld

109 B

03/19/2023 07:29:18 AM +00:00

Robinson's Sentences.sen

484 B

03/19/2023 07:29:18 AM +00:00

Ron's World.wld

166 B

03/19/2023 07:29:18 AM +00:00

Russell's Sentences.sen

588 B

03/19/2023 07:29:18 AM +00:00

Russell's World.wld

88 B

03/19/2023 07:29:18 AM +00:00

Schonfinkel's Sentences.sen

849 B

03/19/2023 07:29:18 AM +00:00

Schroder's Sentences.sen

424 B

03/19/2023 07:29:18 AM +00:00

Sextus' Sentences.sen

299 B

03/19/2023 07:29:18 AM +00:00

Sheffer's Sentences.sen

245 B

03/19/2023 07:29:18 AM +00:00

Sherlock's Sentences.sen

216 B

03/19/2023 07:29:18 AM +00:00

Sherlock's World.wld

99 B

03/19/2023 07:29:18 AM +00:00

Skolem's Sentences.sen

284 B

03/19/2023 07:29:18 AM +00:00

Skolem's World.wld

99 B

03/19/2023 07:29:18 AM +00:00

Socrates' Sentences.sen

1.8 KiB

03/19/2023 07:29:18 AM +00:00

Socrates' World.wld

125 B

03/19/2023 07:29:18 AM +00:00

Thoralf's First World.wld

78 B

03/19/2023 07:29:18 AM +00:00

Thoralf's Second World.wld

68 B

03/19/2023 07:29:18 AM +00:00

Turing's Sentences.sen

377 B

03/19/2023 07:29:18 AM +00:00

Venn's World.wld

105 B

03/19/2023 07:29:18 AM +00:00

Weiner's Sentences.sen

555 B

03/19/2023 07:29:18 AM +00:00

Whitehead's Sentences.sen

543 B

03/19/2023 07:29:18 AM +00:00

Wittgenstein's Sentences.sen

942 B

03/19/2023 07:29:18 AM +00:00

Wittgenstein's World.wld

135 B

03/19/2023 07:29:18 AM +00:00

World Submit Me 1.wld

68 B

03/19/2023 07:29:18 AM +00:00

Zorn's Sentences.sen

325 B

03/19/2023 07:29:18 AM +00:00