Navigation Icons in the header

SoftOption ®

Breadcrumb

Home
Deriver [Functional Terms, Identity, First Order Theories, Set Theory—Gentzen Syntax]
Tutorial 3 Identity: Uniqueness, Definite Descriptions, Iota

Logical System

1/17/20

Tutorial 1: Identity, Semantics and Symbolization
Tutorial 2 Identity: Functional Terms and Rules of Inference
Tutorial 3 Identity: Uniqueness, Definite Descriptions, Iota
- Help with the Uniqueness Rules
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