Use your lexicon to collect terms that you find interesting and define them the way you think they are correct.

*factobot*proposed to add the alias*Predicate: Original term title*. 2010-12-26 14:33*factobot*added the fact*link:Introduction to predicates*. 2009-04-26 14:17*factobot*added the fact*a fundamental concept in first-order logic*. 2008-12-02 07:59*factobot*added the fact*For instance, x | x is a positive integer less than 4 is the set 1,2,3*. 2008-12-02 07:59*factobot*added the fact*The set defined by P(x) written x | P(x), is just a collection of all the objects for which P is sensible and true*. 2008-12-02 07:59*factobot*added the fact*The notation P(x) is used to denote a sentence or statement P concerning the variable object x*. 2008-12-02 07:59*factobot*added the fact*Another useful way to define a set is by specifying a property that the elements of the set have in common*. 2008-12-02 07:59*factobot*added the fact*Sometimes it is inconvenient or impossible to describe a set by listing all of its elements*. 2008-12-02 07:59*factobot*created the term*Predicate*. 2008-12-02 07:59

On Factolex you can add facts and terms that you believe are missing.

To be sure that the term hasn't already been entered, please use the search function before doing so.

Change language to:

Copyright © 2007-2019 Factolex.com. Disclaimer. The licenses of the facts may vary. Please see our license page for more details. This site uses Google Analytics.