|Page 330 of 800||Search internet|
One of the things an argumentation can contain is explicit mentioning of a previous proof line:
In Line above, replaces a reference to Line L05. In general, can be used to state that holds because it is proved 'elsewhere'. 'Elsewhere' covers previous proof lines and certain other situations as described various places later on.
|Page 330 of 800||Search logiweb.eu|