Skip to main content

Navigation Icons in the header

SoftOption ®

Breadcrumb

Home
Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees—Howson Syntax]
Tree Tutorial 4: Predicate Logic Trees

Tree Quiz 2

Logical System

2/3/08 10 Software The Widget for this has yet to be written. 2013

Book traversal links for Tree Quiz 2

‹ Tree Tutorial 4: Predicate Logic Trees
Up
Review of Tree Predicate Rules ›

Navigation

Show — Navigation Hide — Navigation

Browse
Search
Site map

Preliminary [Pre-test]
Notation
Tree Tutorial 1: Propositional Trees: Introduction
Tree Tutorial 2: More Propositional Tree Rules
Review of Tree Propositional Rules
Tree Tutorial 3: Using Trees to Test for Satisfiability and Invalidity
Trees: Propositional Exercises: Roll your own
Tree Tutorial 4: Predicate Logic Trees
- Tree Quiz 2
Review of Tree Predicate Rules
Tree Predicate Exercises: Roll your own
Tree Tutorial 5: Identity Rules
Tree Tutorial 6: Functional Terms and First Order Theories
Tree Tutorial 7: Type Labels, Sorts, Order Sorted Logic ['Mixed Domains']
Tree Tutorial 8 Modal Trees

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