Categories
BLOG

grade grinder

Grade grinder

Tools for Learning Logic

Logical Reasoning with Diagrams
and Sentences (LRDS)

Logical Reasoning with Diagrams and Sentences is a complete textbook for a course which teaches formal reasoning using both diagrammatic and sentential representations.

The courseware package contains Hyperproof , a proof environment for constructing natural deduction proofs in which each step might contain either a diagram or a sentence of first-order logic. The logic contains inference rules which permit the inference of diagrams from sentences and vice versa. The package also contains access to our innovative Internet-based grading service the Grade Grinder .

Language, Proof and Logic
(LPL)

Language, Proof and Logic is a complete textbook for an introductory course in logic covering propositional and first-order logic through completeness and soundness, with sections on set theory and induction.

The courseware package includes Fitch , a proof environment for constructing natural deduction proofs, Boole an application for constructing truth tables and Tarski’s World an environment for investigating the semantics of first-order sentences in the blocks world. The package also contains access to our innovative Internet-based grading service the Grade Grinder .

Tarski’s World
(Tarski)

Tarski’s World is a book of exercises aimed at introducing the semantics of first-order logic though our application Tarski’s World . The current edition has access to our innovative Internet-based grading service Grade Grinder .

Grade grinder Tools for Learning Logic Logical Reasoning with Diagrams and Sentences (LRDS) Logical Reasoning with Diagrams and Sentences is a complete textbook for a course which teaches ]]>