Proof Designer
Peer Review for material titled "Proof Designer"
User Rating for material titled "Proof Designer"
Member Comments for material titled "Proof Designer"
Personal Collections for material titled "Proof Designer"
Learning Exercises for material titled "Proof Designer"
Accessibility Info for material titled "Proof Designer"
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



Search > Material Results >

Proof Designer


Proof Designer

Logo for Proof Designer
Proof designer is a tool intended to help students who are beginning to learn how to write proofs. While proving theorems certainly is a creative task, there are many steps that actually are schematic and mathematicians have internalized them. For example, to prove a universally quantified statement we need to pick an arbitrary element and prove the statement for it. These types of nestings are not automatically done by novices and they take time to internalize. In proof designer such steps are... More
Material Type: Simulation
Technical Format: Java Applet
Date Added to MERLOT: February 10, 2003
Date Modified in MERLOT: November 11, 2010
Send email to
Keywords: Formal logic, Set theory, Proof structure



Primary Audience: College General Ed
Mobile Compatibility: Not specified at this time
Technical Requirements: WINDOWS with Sun Java Plug-in or Macintosh
Language: English
Cost Involved: no
Source Code Available: no
Accessiblity Information Available: no
Creative Commons: unsure


QR Code for this Page

Browse in Categories


Discussion for Proof Designer

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

Return to Top of Page