Talk:Circumscription (logic)

CWA

 It should be said that propositional circumscription coincides with Extended CWA.  —Preceding unsigned comment added by Mikolasj (talk • contribs) 18:05, 2 June 2009 (UTC) 

CIRC(T) is always empty

With the current definition, the propositional CIRC(T) is always empty, since an $N$ always exists (just take $M$). I did not correct it, because there are probably more cases like this in the article. At least the formula in the section "Fixed and varying predicates" should suffer from the same problem. This should first be clarified. --Tillmo (talk) 12:32, 28 April 2009 (UTC)

Thanks for pointing out the problem. You are right: $\subseteq$ should have been $\subset$. Tizio 13:23, 28 April 2009 (UTC)