Skip to main content

Navigation Icons in the header

Home Contact Sitemap Search
SoftOption ®

Breadcrumb

  1. Home
  2. Deriver [Functional Terms, Identity, First Order Theories, Set Theory—Gentzen Syntax]
  3. First Order Theories

Tutorial 9: Set Theory IV: Ordered Pairs, Cross Products

Topic
set theory
Logical System
gentzen

Book traversal links for Tutorial 9: Set Theory IV: Ordered Pairs, Cross Products

  • ‹ Help with Ex 3: Moderately Difficult Example
  • Up
  • Tutorial 10: Set Theory V: Russell's Paradox, Axiomatic Set Theory, and Criticisms ›
  • 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
    • Tutorial 4: Number Theory 1
    • Tutorial 5: Number Theory II
    • Tutorial 6: Set Theory I: Set Building, Abstraction and Extension
    • Tutorial 7: Set Theory II: Subsets, Empty Set, Universe Set
    • Tutorial 8: Set Theory III: Union, Intersection, Complement, Unordered Pairs, Power Set
    • Tutorial 9: Set Theory IV: Ordered Pairs, Cross Products
    • Tutorial 10: Set Theory V: Russell's Paradox, Axiomatic Set Theory, and Criticisms
    • Tutorial 11: Abelian Groups, Boolean Algebra, Linearly Ordered Sets
  • Try your own derivations

Navigation

Show — Navigation Hide — Navigation
  • Browse
  • Search
  • Site map
Copyright SoftOption ® Ltd. (New Zealand). Email: support@SoftOption.Us