Talk:Counting quantification

Latest comment: 13 years ago by MikeEnnen in topic Explicit Statements in First-Order Logic

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