Talk:Predicate calculus

I started this small stub as this topic surely deserves its own page. MathMartin 11:37, 31 July 2005 (UTC)[reply]

Interference[edit]

Hi. The Cyc project (cyc.com) uses first-order predicate calculus in it's database. I was wondering where in the undergraduate math curriculum predicate calculus is taught? can any of you direct me to the relevant text books.

Interference[edit]

Are the rules supposed to be called 'interference rules', or 'inference rules'? The latter seems more likely, but I'd like to know why it was called 'interference rules'.

My mistake, I fixed it. The correct term is of course inference rules. MathMartin 11:13, 6 August 2005 (UTC)[reply]

Identities[edit]

Some readers might well find it odd that none of the claimed identities has a identity symbol (i.e., an equal sign). I suggest that "Equivalences" is a better title for that section. --128.125.99.83 20:12, 6 March 2006 (UTC)[reply]

Changed redirect[edit]

Since the article Predicate logic has recently been made distinct from First-order logic, I will re-direct the present article to Predicate logic instead. --DesolateReality 19:07, 14 June 2007 (UTC)[reply]