Search Materials
Sort materials by
Search Materials
Get more information on the MERLOT Editors' Choice Award in a new window.
Get more information on the MERLOT Classics Award in a new window.
Get more information on the JOLT Award in a new window.
Go to Search Page
Go to Partner Benefits
View material results for all categories
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






        

Refine Your Search:

Materials 1 - 6 shown of 6 results

Truth Table Practice

This page generates random truth table problems involving two simple statements P and Q. The user enters solutions and then... see more
Material Type: Simulation
Author: Peter Williams
Date Added: Nov 07, 2007 Date Modified: Nov 07, 2007
Peer Review for material titled "Truth Table Practice"
User Rating for material titled "Truth Table Practice"
Member Comments for material titled "Truth Table Practice"
Personal Collections for material titled "Truth Table Practice"
Learning Exercises for material titled "Truth Table Practice"
Accessibility Info for material titled "Truth Table Practice"
About this material:
Reviewed by members of Editorial board for inclusion in MERLOT.
Editor Review (not reviewed)
User Rating (not rated)
Discussion (none)
Personal Collections (none)
Learning Exercises (none)
Accessibility Info (none)

Truth Table Constructor

Truth Table Constructor creates truth tables for statements in propositional logic. It allows entry of up to six variables... see more
Material Type: Simulation
Author: Brian S. Borowski
Date Added: Oct 02, 2004 Date Modified: Jan 27, 2009
Peer Review for material titled "Truth Table Constructor"
User Rating for material titled "Truth Table Constructor"
Member Comments for material titled "Truth Table Constructor"
Personal Collections for material titled "Truth Table Constructor"
Learning Exercises for material titled "Truth Table Constructor"
Accessibility Info for material titled "Truth Table Constructor"
About this material:
Reviewed by members of Editorial board for inclusion in MERLOT.
Editor Review (not reviewed)
User Rating (not rated)
Discussion (none)
Personal Collections (2)
Learning Exercises (none)
Accessibility Info (none)

Proof Designer

Proof designer is a tool intended to help students who are beginning to learn how to write proofs. While proving theorems... see more
Material Type: Simulation
Author: Daniel J. Velleman
Date Added: Feb 10, 2003 Date Modified: Nov 11, 2010
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"
About this material:
Peer review 4.67 rating
Peer Reviews 4.67 rating
User Rating (not rated)
Discussion (none)
Personal Collections (2)
Learning Exercises (none)
Accessibility Info (none)

obblog

Obblog2.Logic construction toybox. To explain binary logic, and truth tables. Binary logic simulator. It allows to keep the... see more
Material Type: Simulation
Author: Maurici Carbó
Date Added: Dec 01, 2001 Date Modified: Nov 11, 2013
Peer Review for material titled "obblog"
User Rating for material titled "obblog"
Member Comments for material titled "obblog"
Personal Collections for material titled "obblog"
Learning Exercises for material titled "obblog"
Accessibility Info for material titled "obblog"
About this material:
Reviewed by members of Editorial board for inclusion in MERLOT.
Editor Review (not reviewed)
User Rating (not rated)
Discussion (none)
Personal Collections (none)
Learning Exercises (none)
Accessibility Info (none)

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

interactive propositional logic; show syntax tree, alpha graph, Fregean notation of propositions; display truth tables,... see more
Material Type: Simulation
Author: Christian Gottschall
Date Added: Jan 27, 1998 Date Modified: Jan 01, 2008
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)"
About this material:
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)
Personal Collections (none)
Learning Exercises (none)
Accessibility Info (none)

Metamath Solitaire

This applet lets you build simple mathematical proofs from axioms in logic and set theory.
Material Type: Simulation
Author: Norman D. Megill
Date Added: Jul 21, 1997 Date Modified: Sep 16, 2014
Peer Review for material titled "Metamath Solitaire"
User Rating for material titled "Metamath Solitaire"
Member Comments for material titled "Metamath Solitaire"
Personal Collections for material titled "Metamath Solitaire"
Learning Exercises for material titled "Metamath Solitaire"
Accessibility Info for material titled "Metamath Solitaire"
About this material:
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 5 average rating
User Rating 5 user rating
Discussion (2 Comments)
Personal Collections (none)
Learning Exercises (none)
Accessibility Info (none)
RSS

Results page 1 of 1
Jump to page