Jump to content

Talk:Counting quantification

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Explicit Statements in First-Order Logic

[edit]

I believe that it would be a very useful addition to this page if it listed the explicit logical statements that correspond to the following:


" exactly 2 xA..." := ...

" exactly 3 xA..." := ...

" exactly k xA..." := ...


I will attempt to do a bit of research and see if I can't do this myself - but if this talk page or the article does not contain these additions within a couple days from me posting this - I probably won't do it (I'll forget!)...so if anyone feels that this is a relevant and good addition to this article, maybe you could give it a try!

MikeEnnen (talk) 10:50, 28 May 2011 (UTC)[reply]

"There exists exactly two things in an (arbitrary) set":




Example:


Let denote the set of magic squares, explicitly: , then:


 


where and are the only 2 solutions in to , where .


I realize this may not be the best example...tell me what ya'll think!

MikeEnnen (talk) 12:07, 28 May 2011 (UTC)[reply]