Reiteration

Home
Sentential Logic
LPL Syntax
Predicate Logic
Student Contributions
Fallacies
Glossary
Search
Contents

It looks like this:

LPP Rule: Reiteration

What does it mean?

It means that at any point in a proof you may enter any sentence that occurs on some previous accessible line.

P occurs above the entry point (the small triangle) and is entered at the entry point in accordance with the rule of Reiteration.

You may not, however, use Reiteration to "reiterate" a sentence that occurs (only) within the scope of an inaccessible subproof.

November 27, 2001

Coming soon to a logic class near you!