Overview   AProS   L & P   Proof Lab   Tutor   Truth Lab   Participants

automated proof search

Truth Lab

The Truth Lab is the latest addition to Logic & Proofs. It is connected to the grade-book as as the Proof Lab is. However, its funtion is completely differently, complementary to that of the Proof lab ; instead of constructing valid arugments, students are asked to define counterexamples of invalid ones. That is obviously a crucial taks, when analyzing arguments as to their validity.

One logical tool to obtain counterexamples are semantic tableaux or truth trees. Their contruction is supported in the Truth Lab as the construction of proofs is facilitated in the Proof Lab. There is, however, no Tutor support, as the generation of Truth Tree is quite "mechanical".