Skip to main content
SWStudyWalks Search

Logic / Unit 4   Logic 147 short lesson, about 20 seconds

The Short Truth-Table Method

Captions available

The idea

Assume the argument invalid — premises true, conclusion false — and push the forced values through. Contradiction: valid. A consistent assignment: invalid, with the counterexample row in hand.

In practice

One row of reasoning replaces sixty-four.

Where people slip

The method needs care where values aren't forced. When choices appear, all must fail before "valid" is earned.

Your place on the trail

Every lesson rests on earlier ones and opens later ones. Tap any to jump.

Something wrong in this lesson? Flag it  ·  Sources for Logic