Logic Tutorial: Conditional Introduction

Image placeholder for video. This video is a short introduction to the conditional introduction rule in formal logic. It explains the rule by appealing to an example of hypothetical syllogism.

This tutorial is a short introduction to the conditional introduction rule in formal logic.

Logic Tutorial: Negation Rules

Image placeholder for video. This video is a short tutorial on the negation introduction and negation elimination rules in formal logic. It looks at the Fitch-style rules, as opposed to the Lemmon-style rules. It illustrates the rules by appealing to a hypothetical computer program that plays chess, but wins every game (which is contradictory, because if the program plays both sides, at least one side will not win).

This tutorial is a short introduction to the negation rules in formal logic.

Logic Tutorial: Disjunction Elimination

Image placeholder for video. This video is a short tutorial on the disjunciton elimination rule in formal logic. It draws an analogy between disjunction elimination and a catch-22 situation, and explains the natural deduction rule in these terms.

This tutorial is a short introduction to the disjunction elimination rule in formal logic.

Logic Tutorial: Disjunction Introduction

Image placeholder for video. This video is a short tutorial on the disjunction introduction rule in formal logic. It appeals to a natural-language argument about ice cream to illustrate the point, and gives several example inferences.

This tutorial is a short introduction to the disjunction introduction rule in formal logic.

Logic Tutorial: Universal Introduction

Image placeholder for video. This video is a short tutorial on the universal introduction rule in first-order logic. It employs a pair of examples to illustrate its point, and discusses the restrictions (in particular, the requirement that the constant be arbitrary) of universal introduction.

This tutorial is a short introduction to the universal introduction rule in formal logic.

Logic Tutorial: Existential Elimination

Image placeholder for video. This video is a short tutorial on the existential elimination rule in first-order logic. It employs an example argument to illustrate its point, and discusses the restrictions of existential elimination.

This tutorial is a short introduction to the existential elimination rule in formal logic.

Program Tutorial: Setting Up a Deduction

Image placeholder for video. This video shows how to start a new deductio and set up a proof.

This tutorial shows you how to get started with Deductions by setting up a deduction.

Program Tutorial: Making an Assumption

Image placeholder for video. This video shows how to set up a proof and make a conditional introduction assumption using the Make Assumption window.

This tutorial shows how to make an assumption using the Make Assumption window.

Program Tutorial: Editing deductions

Image placeholder for video. This video shows how to edit deductions and how to use keyboard shortcuts.

This tutorial shows you how to edit deductions and some shortcuts that save typing in formulae.

Program Tutorial: Symbols and Shortcuts

Image placeholder for video. This video shows which keys you use to produce logic symbols, and how to add and remove lines from your deduction.

This tutorial shows you the special symbol keys you use to type logic symbols, and some editing shortcuts.

Program Tutorial: Correcting Errors

Image placeholder for video. This video shows how to correct errors that are flagged in deductions.

This tutorial shows you how to correct errors that are flagged in a deduction.

Program Tutorial: Multiple Assumptions

Image placeholder for video. This video shows a longer example that uses multiple assumptions in a single deduction.

This tutorial steps through a complex example that involves multiple assumptions.

Google Analytics -->