Fiveable

👁️‍🗨️Formal Logic I Unit 5 Review

QR code for Formal Logic I practice questions

5.1 Valid and Invalid Argument Forms

5.1 Valid and Invalid Argument Forms

Written by the Fiveable Content Team • Last updated August 2025
Written by the Fiveable Content Team • Last updated August 2025
👁️‍🗨️Formal Logic I
Unit & Topic Study Guides

Argument Structure

Components of an Argument

Every argument has two basic building blocks: premises and a conclusion.

Premises are the statements offered as evidence or reasons. You treat them as true for the sake of the argument, and an argument can have one or many. In the classic example, "All men are mortal" and "Socrates is a man" are both premises.

Conclusion is the claim the argument is trying to establish. It's what the premises are supposed to support. In that same example, "Therefore, Socrates is mortal" is the conclusion. A useful habit: look for indicator words like therefore, so, thus, or it follows that to spot conclusions quickly.

Components of an Argument, The Five Parts of an Argument - EnglishComposition.Org

Types of Reasoning

Deductive reasoning moves from general premises to a specific conclusion. The key feature: if the premises are true and the form is valid, the conclusion must be true. There's no wiggle room.

All dogs are mammals. Buddy is a dog. Therefore, Buddy is a mammal.

This is deductive because the conclusion follows with certainty from the general premises.

Inductive reasoning moves in the opposite direction, from specific observations to a general conclusion. The conclusion is probable based on the evidence, but never guaranteed.

Every swan I've seen is white. Therefore, all swans are probably white.

Notice the word "probably." Inductive arguments can be strong or weak, but they can't be valid or invalid in the strict logical sense. That distinction matters for this unit, because valid and invalid argument forms apply specifically to deductive arguments.

Components of an Argument, Inductive and Deductive Reasoning | English Composition 1

Evaluating Arguments

Assessing Argument Strength

Validity is about the structure of an argument, not whether the premises are actually true. An argument is valid if and only if it's impossible for all the premises to be true while the conclusion is false.

This means a valid argument can have false premises. Consider:

All cats are reptiles. Fluffy is a cat. Therefore, Fluffy is a reptile.

The first premise is obviously false, but the form is valid. If those premises were true, the conclusion would have to follow. Validity only asks: "Does the conclusion follow from the premises?"

Soundness adds a second requirement. An argument is sound when it is both valid and all its premises are actually true.

All mammals are animals. Dogs are mammals. Therefore, dogs are animals.

This argument is sound because the form is valid and the premises are true. A sound argument guarantees a true conclusion. Every sound argument is valid, but not every valid argument is sound.

Methods for Evaluating Arguments

Truth Table Method

Truth tables let you check validity systematically by testing every possible combination of truth values for the propositions involved.

  1. Identify all the distinct propositional variables in the argument.
  2. Build a truth table with a row for every possible combination of truth values (for nn variables, you'll have 2n2^n rows).
  3. For each row, calculate the truth value of every premise and the conclusion.
  4. Look for any row where all the premises are true and the conclusion is false.
  5. If no such row exists, the argument is valid. If even one such row exists, the argument is invalid.

The truth table method is mechanical and reliable. It always gives you a definitive answer, though it gets large quickly as the number of variables increases.

Counterexample Method

A counterexample is a specific scenario where all the premises come out true but the conclusion comes out false. Finding just one counterexample is enough to prove an argument form is invalid.

Premise: All birds can fly. Premise: Penguins are birds. Conclusion: Penguins can fly.

The counterexample here is straightforward: penguins are birds that cannot fly. The premise "All birds can fly" is false, which exposes the argument as unsound.

More precisely for testing form, you substitute different terms into the argument's structure to produce an instance with obviously true premises and a clearly false conclusion. If you can do that, the form itself is invalid. This method is often faster than building a full truth table, especially when you can spot a counterexample quickly.