Talk:Predicate calculus

Latest comment: 17 years ago by DesolateReality in topic Changed redirect

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