Re: Understanding Logics with Aggregate Operators

"Cantor" <cantor77_at_excite.com> wrote in news:1169856846.111650.49340_at_q2g2000cwa.googlegroups.com:

>
> The last part of the puzzle for now, is the # ___ . ___ notation.
>
> What does it mean?

'#(x)' means 'count(x)'. #x.phi(x) is same like count(x)phi(x). It is like a quantifier that binds. For example

if

xRy is satisfied with {(k, a), (k, b), (m,c)}

then

#y.xRy is satisfied with {(k,2), (m,1)}

>
> Arturo Hernandez
>
>

--
Tegi