The resource has been added to your collection
The tq-system  is a formal system in which theorems can be derived or generated from axioms or from other theorems by using a rule of inference. Use only the upper sliders to adjust the tq-string to test whether it is an axiom, a theorem, or neither. (Axioms must follow the axiom schema or pattern ... , where ... represents a string of hyphens.) This Demonstration is a power tool for exploring this sample formal system, but the exploration process occurs in your own mind: do not use the lower slider or buttons until you have thoroughly explored the system or you short-circuit the process! (Details below.)
This resource has not yet been reviewed.
Not Rated Yet.