Quote: concept writing has a format for representing a derivation; e.g., (B->A and B) implies A

Quotation Skeleton

6. The definition given in \para 5 makes … [stokes for B->A and B] the new judgment [judgment stroke A] follows. … [p. 16] We could write this inference perhaps as … [stack of two judgments, horizontal bar, judgment stroke A] … To every judgment occurring in the context of … its first occurrence. Now assume [that B->A] has been … [stack of judgment stroke B, (X): horizontal bar, judgment stroke A].   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: mathematics as a formal system (30 items)