Formal Logic & Argumentation

Valid vs Sound Arguments

A valid argument has correct structure. A sound argument is valid AND has true premises. Both matter for good reasoning.

Logical Fallacies (Formal)

Formal fallacies have flawed structure. "Affirming the consequent" and "denying the antecedent" are classic ones.

Logic and Computer Science

Discover Logic and Computer Science 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.

Automated Theorem Proving

Discover Automated Theorem Proving 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.

Natural Deduction

Discover Natural Deduction 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.

Temporal Logic

Discover Temporal Logic 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.