Definition:Argument Form

From ProofWiki
Jump to navigation Jump to search


An argument form is a collation of symbols which contains statement variables such that:

when statements are used to replace statement variables (the same statement replacing the same statement variable throughout), the result is a logical argument.

Specific Form

The specific form of a given logical argument is that argument form from which the logical argument results from replacing each distinct statement variable by a different simple statement.

Also known as

An argument form is also known as a logical form by some writers, but the latter term is imprecise and is also found to mean statement form.