In the same way that a normal arithmetic calculator can be useful to those already familiar with basic math, Cogniscents logicalculator was designed as an educational tool to aid those who have a basic familiarity with formal logic, especially students studying for the LSAT. A special feature of logicalculator is the inclusion of operations which allow for diagramming categorical statements using "some" and "most" relationships which should be particularly useful for LSAT students. By using logicalculator, students can quickly check that they are making the correct inferences when diagramming formal logic problems. (Note: categorical statements have been disabled in the lite version of logicalculator.)
Quick tutorial available at www.logicalculator.com.