Interaktive Logik (Gateway to Logic) (CG1-1)
Peer Review for material titled "Interaktive Logik (Gateway to Logic) (CG1-1)"
User Rating for material titled "Interaktive Logik (Gateway to Logic) (CG1-1)"
Member Comments for material titled "Interaktive Logik (Gateway to Logic) (CG1-1)"
Personal Collections for material titled "Interaktive Logik (Gateway to Logic) (CG1-1)"
Learning Exercises for material titled "Interaktive Logik (Gateway to Logic) (CG1-1)"
Accessibility Info for material titled "Interaktive Logik (Gateway to Logic) (CG1-1)"
Search all MERLOT
Click here to go to your profile
Select to go to your workspace
Click here to go to your Dashboard Report
Click here to go to your Content Builder
Click here to log out
Search Terms
Enter username
Enter password
Please give at least one keyword of at least three characters for the search to work with. The more keywords you give, the better the search will work for you.
select OK to launch help window
cancel help

MERLOT II




        

Search > Material Results >

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

        

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

Logo for 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
Material Type: Simulation
Date Added to MERLOT: January 27, 1998
Date Modified in MERLOT: January 01, 2008
Author:
Send email to chris@logik.phl.univie.ac.at

Quality

  • Reviewed by members of Editorial board for inclusion in MERLOT.
    Editor Review
    Very good quality; in queue to be peer reviewed
    avg: 5 rating
  • User review 4 average rating
  • User Rating: 4 user rating
  • Discussion (2 Comments)
  • Learning Exercises (none)
  • Personal Collections (none)
  • Accessibility Info (none)

About

Primary Audience: College General Ed
Mobile Compatibility: Not specified at this time
Language: English
Cost Involved: no
Source Code Available: yes
Accessiblity Information Available: no
Creative Commons: unsure

Connections





QR Code for this Page

Browse in Categories

Discussion

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

Log in to participate in the discussions or Register if you are not already a MERLOT member.

Return to Top of Page
Avatar for alicia paur
6 years ago

alicia paur

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

Avatar for Benjamin Rice
12 years ago

Benjamin Rice (Student)

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.