Master your Mac! Learn how to setup dual monitors, run windows programs, change icons and much more on butterscotch.com.

# Deductions 1.0

file size: 5.80 MB

Deductions is educational software designed to help students learn proofs in formal logic.

Shareware
Cost
\$0.00
OS:
OS X
Cow Rating:
Popularity:
51%
User Rating:
+0
Support URL:
Tagged with:

## derivations

It is intended to be used by instructors and students of college-level logic courses in philosophy, mathematics and computer science. It gives immediate feedback at each stage of a proof, provides hints about how to complete proofs, and comes with a set of video tutorials that explain and review several challenging concepts in logic.

Deductions aims to solve the three problems that make proofs the most difficult component of formal logic courses: not knowing whether rules are applied correctly, getting stuck in the middle of a proof, and uncertainty about the rules and strategies. Deductions addresses these issues by flagging errors, including a hint engine to make suggestions about how to complete a proof, and having multimedia tutorials to help students through complex rules.

Main features:

1. Deductions flags errors in proofs as soon as they occur.

2. Deductions provides hints about how to complete proofs.

3. Deductions comes with a set of multimedia tutorials.

4. Deductions is designed to work with many different logic systems and textbooks.

5. Deductions leverages the technologies of Mac OS X to provide a clean user interface, drag-and-drop support, and a comprehensive help system.

Name:

3D Butterfly Screensaver
Free 3D Butterfly Screensaver shows spectacular varieties of 3D butterflies fly around the...
Samsung Galaxy SII 4G Start Up Guide: Part Five: Pairing a Bluetooth Accessory and Copy and Paste on the Samsung Galaxy SII 4G

In this episode, we'll be looking at setting up a Bluetooth accessory, we'll offer a few power-saving tips and we'll take a quick look at how copy and paste works on the Samsung Galaxy SII 4G. view it

Samsung Galaxy SII 4G Start Up Guide: Part Four: Pre-Installed Apps on the Samsung Galaxy SII 4G

In this episode, we'll be taking a look at some of the pre-installed apps on the Galaxy SII including the Android Market, Gmail, the browser and the camera. view it

Samsung Galaxy SII 4G Start Up Guide: Part Three: TouchWiz Tweaks on the Samsung Galaxy SII 4G

In this episode, we'll be taking a look at some of the Android tweaks that Samsung has made with its TouchWiz interface. We'll also take a look at adding widgets and app shortcuts to our homescreens, including Samsung's own specialized apps and widgets. view it

Samsung Galaxy SII 4G Start Up Guide: Part Two: Initial Setup, Passcodes, Apps and Widgets on the Samsung Galaxy SII Epic Touch 4G

In this episode, we're going to take a look getting the SII setup with our Google and other accounts so we can begin using it right away. view it

Samsung Galaxy SII 4G Start Up Guide: Part One: Unboxing and a Hardware Tour of the Samsung Galaxy SII Epic Touch 4G

The Samsung Galaxy SII 4G, AKA the Samsung Galaxy Epic Touch 4G, is a top-tier smartphone. view it

Motorola Photon start up guide: Part Four: Motorola Photon battery saving tips along with copy and paste.

In this episode, we’re going to offer a few battery saving tips so your phone will last the whole day and beyond plus we’ll take a look at how copy and paste works on the Photon 4G. view it

Motorola Photon start up guide: Part Three: Adding Widgets and App Shortcuts on the Motorola Photon 4G

The Motorola Photon from Ting features App Shortcuts and Widgets from Android and Motorola. view it