set theory

Set Theory (and Russell's Paradox) martin Thu, 05/31/2012 - 14:55
Logical System
Help with Ex 3: Moderately Difficult Example martin Tue, 01/13/2009 - 01:55
Topic
Logical System
The Proof Applet martin Mon, 01/12/2009 - 19:21
Topic
Logical System

1/10/09 13 Software

Some predicate logic proofs or derivations using Gentzen calculus. Try to prove them (click 'Derive It' off the Wizard Menu, if you want help).

Tutorial 10: Set Theory V: Russell's Paradox, Axiomatic Set Theory, and Criticisms martin Sat, 01/10/2009 - 18:13
Topic
Logical System
Help with Subset Derivation: Short Rewrite Version martin Sat, 01/10/2009 - 12:56
Topic
Logical System
Help with Subset Derivation martin Sat, 01/10/2009 - 12:37
Topic
Logical System
Tutorial 7: Set Theory II: Subsets, Empty Set, Universe Set martin Fri, 01/09/2009 - 22:49
Topic
Logical System
Tutorial 9: Set Theory IV: Ordered Pairs, Cross Products martin Fri, 01/09/2009 - 12:50
Topic
Logical System
Tutorial 8: Set Theory III: Union, Intersection, Complement, Unordered Pairs, Power Set martin Thu, 01/08/2009 - 10:55
Topic
Logical System