Talk:Extension (predicate logic)

From Wikipedia, the free encyclopedia

I created this page because I need to refer to the extension of a predicate in material I wish to include in the relational model and related pages such as relational algebra. However, I am strictly an amateur in the field of logic and I will willingly bow to superior knowledge if my definition is found wanting or insufficiently formal. If the latter, perhaps my example can be usefully kept anyway.

AndrewWarden 16:43, 2 February 2006 (UTC)