|
|
On 31 Dec 2006 09:27:01 -0800, google03@xxxxxxxxxx wrote:
>Suppose P is a proof of the proposition q. Is there a standard name for
>q as a function of P?
I'd call q the "conclusion" 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...)
************************
David C. Ullrich
|
|