Re: Question re. test-suite/conceive
Thomas Russ <[email protected]> Fri, 12 Sep 2008 11:24:36 -0700
| Newsgroups | gmane.comp.ai.powerloom |
|---|---|
| Message-ID | <[email protected]> |
On Sep 12, 2008, at 10:49 AM, Srini Ram wrote: > What is the purpose of conceive... The purpose of conceive is to allow the creation of propositions without having to make any commitment as to what their truth value is. In other words, it allows you to make a proposition with an unknown truth value. This is in contrast to, for example, assert which returns a proposition with a true truth value.