

automated proof search 

Truth LabThe Truth Lab is the latest addition to Logic & Proofs. It is connected to the gradebook 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". 