Talk:Predicate calculus

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

Interference
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
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)

Identities
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)

Changed redirect
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)