Category talk:Predicate Logic

The four "theorems" (all except De Morgan) presented here are generally the axioms used to construct the predicate calculus. I will try to act accordingly when I get there. --Lord_Farin 10:56, 16 June 2012 (EDT)


 * They are indeed axioms of PredLog but they can be (at least informally) explained by means of their (often infinite) expansion as conjunctives and disjunctives: "Forall P" means "P1 and P2 and P3 and ..." while "exists P" means "P1 or P2 or P3 or ...". I found that enlightening myself. So it's worth keeping those pages (at least structurally) as they are. "For--prime mover 12:43, 16 June 2012 (EDT)

Why does this category page transclude the entire (partial) definition of predicate logic?--Dfeuer (talk) 01:27, 20 January 2013 (UTC)


 * It just does. --prime mover (talk) 06:12, 20 January 2013 (UTC)


 * I see. Since other categories tend not to do this, and it's rather long while also being woefully incomplete, would you mind terribly if I replaced that with a link? --Dfeuer (talk) 16:37, 20 January 2013 (UTC)


 * At the moment, yes I would. I'm currently busy in this area. --prime mover (talk) 16:52, 20 January 2013 (UTC)