|
|
<google03@xxxxxxxxxx> skrev i melding
news:1167586021.387743.308370@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
> Suppose P is a proof of the proposition q. Is there a standard name for
> q as a function of P?
>
> For example, in the special case that the proof P consists of p, p->q,
> and an application of modus ponens to derive q, then q is called the
> 'consequent'.
>
> Is there a standard word for the thing that a more general proof
> proves?
>
> (I'm just trying to give a function in a computer program a sensible
> name. Things like 'target', 'result, 'goal' or 'end' just don't seem
> descriptive enough to me...)
>
Hi.
Maybe "corollary" is the word you're looking for?
Karl-Olav
|
|