Formal Logic & Argumentation

Yes and No Game

Discover Yes and No Game as a core part of Formal Logic & Argumentation. This lesson explains what it means, walks through a real example, introduces key terms, and includes three hands-on activities to help you understand and apply the idea.

Truth Tables

Truth tables show how the truth of compound statements depends on their parts. Foundation of digital logic and proof.

Proofs by Contradiction

A clever proof technique: assume the OPPOSITE of what you want to prove, derive a contradiction, conclude original claim.

Proof With Blocks

Discover Proof With Blocks as a core part of Formal Logic & Argumentation. This lesson explains what it means, walks through a real example, introduces key terms, and includes three hands-on activities to help you understand and apply the idea.

True Statements

Discover True Statements as a core part of Formal Logic & Argumentation. This lesson explains what it means, walks through a real example, introduces key terms, and includes three hands-on activities to help you understand and apply the idea.

What Comes Next? Finding the Rule in a Pattern

Discover Color Patterns as a core part of Formal Logic & Argumentation. This lesson explains what it means, walks through a real example, introduces key terms, and includes three hands-on activities to help you understand and apply the idea.