Skip to content
Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

substitution instance

An argument you get by filling in a form's blanks with actual claims.

A substitution instance of a form is the argument that results from replacing each sentence variable with a statement, using the same statement for every occurrence of the same variable.

Examples

  • "If it's noon, the bell rings. It's noon. So the bell rings" is an instance of: if P then Q; P; so Q.

See also

logical form sentence variable
Read the full section →