| Subject: | Re: A question of logical terminology |
|---|---|
| From: | Lee Rudolph |
| Date: | 31 Dec 2006 13:42:43 -0500 |
| Newsgroups: | sci.math, sci.logic |
David C. Ullrich <ullrich@xxxxxxxxxxxxxxxx> writes: >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. "Punchline"? Lee Rudolph |
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| ||
| Previous by Date: | Re: base 10 number system, The Ghost In The Machine |
|---|---|
| Next by Date: | Re: Linear regression or time-series forecasting? What's more appropriate?, Nick |
| Previous by Thread: | Re: A question of logical terminology, David C . Ullrich |
| Next by Thread: | Linear regression or time-series forecasting? What's more appropriate?, iwan2no |
| Indexes: | [Date] [Thread] [Top] [All Lists] |