Skip to main content

Navigation Icons in the header

SoftOption ®

Breadcrumb

Home

Basic Tree Propositional Rules

Logical System

Book traversal links for Basic Tree Propositional Rules

‹ Trees
Up
Basic Tree Predicate Rules ›

Navigation

Show — Navigation Hide — Navigation

Browse
Search
Site map

What do the Bergmann, Default, Gentzen, Howson, etc. systems mean?
Deriver running in a web page in a web browser (no installation required)
Downloading and launching the stand alone Java Application
Fast Start on the Deriver web or standalone Application (for Instructors)
Configuring the Deriver Application Using the Preferences
Deriver Documentation
Writing Symbols (and Alternative Symbols)
Checking your computer is configured correctly
Deriver Application Menus

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