1. Home
  2. Material Detail: Interaktive Logik (Gateway to Logic) (CG1-1)

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
Disciplines:
Go to Material 
Bookmark / Add to Course ePortfolio
Create a Learning Exercise
Add Accessibility Information
Rate
Add a Comment

Quality

  • Selected For Peer Review
  • User Rating
  • Comments  (2) Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Material Type:
Simulation
Date Added to MERLOT:
January 27, 1998
Date Modified in MERLOT:
December 4, 2018
Author:
 
Submitter:
Stephen Blessing
Primary Audience:
College General Ed
Mobile Compatibility:
Not specified at this time
Language:
English
Cost Involved:
No
Source Code Available:
Yes
Creative Commons:
No

Browse...

Disciplines with similar materials as Interaktive Logik (Gateway to Logic) (CG1-1)
People who viewed this also viewed
Other materials like Interaktive Logik (Gateway to Logic) (CG1-1)

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.
alicia paur
alicia paur (null)
18 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)
23 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.