Material Detail

Interaktive Logik (Gateway to Logic) (CG1-1)

Interaktive Logik (Gateway to Logic) (CG1-1)

interactive propositional logic; show syntax tree, alpha graph, Fregean notation of propositions; display truth tables, normal forms; optimize expressions; check proofs in predicate logic


  • Editor Reviews
  • User Rating
  • Comments  (2) Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material


Disciplines with similar materials as Interaktive Logik (Gateway to Logic) (CG1-1)
Other materials like Interaktive Logik (Gateway to Logic) (CG1-1)


Log in to participate in the discussions or sign up if you are not already a MERLOT member.
alicia paur
alicia paur (null)
14 years ago
Si bien tiene muy buenos ejemplos de proposiciones lógicas, toma mucho tiempo conocer el mecanismo de funcionamiento, en algunos casos es muy avanzado el conocimiento requerido, lo que hace perder el foco de aprendizaje
Benjamin Rice
Benjamin Rice (Student)
20 years ago
I spent a few minutes using Christian Gottshall's server side logic functions to
double check a logic assignment I had already completed. What had taken me
several minutes to figure took less than a second with the tool. There are many
advanced logic features built in and the visual representations of functions is
also helpful.