Re: Another view on analysis and ER

On Dec 7, 9:12 am, "David Cressey" <cresse...@xxxxxxxxxxx> wrote:
[snip]

What's the difference between a predicate and a proposition?

I like C.J. Date's explanation for this:
"Observe, incidentally, that a proposition can be regarded as a
degenerate predicate; to be precise, it's a predicate for which the
corresponding set of parameters is empty (and the function thus always
returns the same result, either TRUE or FALSE, every time it's
invoked). In other words, all propositions are predicates, but most
predicates aren't propositions."

"The Logic Of Business Rules", dbdebunk.com "Practical Database
Foundations" paper.

TroyK
.

Relevant Pages

  • Re: syllogism
    ... >symbolism in the context of implication, ... If one takes the objects b and c out of the predicate, ... asserting a system of propositions, just as, in the above ...
    (sci.logic)
  • Re: syllogism
    ... > For science it is classes SI, ... > If one takes the objects b and c out of the predicate, ... > asserting a system of propositions, just as, in the above ... > transformations, have significance for us because we are not ...
    (sci.logic)
  • Re: Coextensive properties?
    ... out communication the "girlie" charge (cognitive "science" full of ... predicate logic as a universal theoretical framework. ... asserting a system of propositions, just as, in the above ...
    (sci.logic)
  • Re: syllogism
    ... >> For science it is classes SI, ... >> If one takes the objects b and c out of the predicate, ... >> asserting a system of propositions, just as, in the above ... >> admit of being resolved into tautologies. ...
    (sci.logic)
  • Re: syllogism
    ... >> For science it is classes SI, ... >> If one takes the objects b and c out of the predicate, ... >> asserting a system of propositions, just as, in the above ... >> admit of being resolved into tautologies. ...
    (sci.logic)