Quick guided practice

Learn the workspace in a few clicks

Choose a task below. A short overlay will point to the important controls in the real workspace, then leave you there to practice.

Guided tours

Translate a sentence

Read the symbolization key, type a formula, and check your answer.

Start translation tour

Build a parse tree

Find each main connective and break the formula into its immediate parts.

Start parse-tree tour

Complete a truth table

Find the answer cells, enter truth values, and check the table.

Start truth-table tour

Configure logic settings

Choose a proof system, syntax, available rules, and derivation behavior for yourself or a course.

Start settings tour

For instructors

Set up and run a course

Create a course

Name the course, choose an enrollment key, and create the shared workspace.

Start course setup tour

Tour course management

Find content, enrollment, grading, and logic-setting tools.

Start management tour

Create problems and assignments

Add original problems, reuse public ones, and assemble assignments.

Start content tour

Use the gradebook

Review progress, find work needing attention, and export grades.

Start gradebook tour

Review and grade submissions

Open submitted work, find items needing attention, and assign problem points.

Start grading tour

Video tutorials

Select a title to expand a video. Some older recordings may show slightly different controls.

Tutorials for all users

Since the making of this video there have been the following changes:

  1. "Line Check Mode" is now chosen on a problem by problem basis,
  2. What was called "Default Mode" is now called "Justification Check Mode", and
  3. There is a new "No Check Mode" where the program allows any inference and justification to be written, even inproper inferences (intended to be used in exam situations and then manually graded in the gradebook).

Tutorials for instructors

Since the making of this video there have been the following changes:

  1. "Line Check Mode" is now chosen on a problem by problem basis and so is not a part of the settings page
  2. A "Manual Premise Citation" setting has been added. If enabled, premises won't be automatically cited and users can cite a premise (if there are any) using 'pr' as justification.

Since the making of this video there have been the following changes:

  1. The 'Add a Student' button has been replaced by a 'Manage Students' button along with expanded functionality allowing you to remove students

Since the making of this video there have been the following changes:

  1. You can now set an amount of points a problem is worth.
  2. You can set the default amount of points a problem in your course is worth. This value will be used if you leave the amount of points a course problem is worth blank.

Since the making of this video there have been the following changes:

  1. You can now individually set a grade for problems when you click the student's problem record.
  2. Course derivations with "No Check" or "Choose while solving" will be indicated as "needing to be graded" with an icon of a triangle with an exclamation point until they are manually graded. The site will indicate which assignments, problems, and students need attention.
  3. Downloading a CSV file for migrating grades to Canvas, has been improved (to account for newer gradebook features) and must be done from the gradebook.