Skip to main content

Navigation Icons in the header

SoftOption ®

Breadcrumb

Home
Deriver [Functional Terms, Identity, First Order Theories, Set Theory—Gentzen Syntax]
First Order Theories
Tutorial 8: Set Theory III: Union, Intersection, Complement, Unordered Pairs, Power Set

Help with Ex 3: Moderately Difficult Example

Logical System

1/9/09

Help with Ex3 1.

This shows the general technique for proving identities between sets.

Navigation

Show — Navigation Hide — Navigation

Browse
Search
Site map

Tutorial 1: Identity, Semantics and Symbolization
Tutorial 2 Identity: Functional Terms and Rules of Inference
Tutorial 3 Identity: Uniqueness, Definite Descriptions, Iota
First Order Theories
Try your own derivations
Doing Exercises in Deriver using the Deriver Web Application

Copyright SoftOption ® Ltd. (New Zealand). Email: support@SoftOption.Us