On Sat, Jan 25, 2014 at 11:49 PM, Eugene Surowitz <[email protected]>wrote:
> What is the nature of the Cn(F)? A subset of formulas F' from the set F?
> Not obvious that Cn(Cn(F) = Cn(F).
>
> Cheers, Gene
For example if F = {
"Ann is a girl"
"Jane is a girl"
"All girls like to dress in pink"
"Kids who dress in pink like to play with dolls"
}
Then a single step later: St(F) = F + {
"Ann likes to dress in pink"
"Jane likes to dress in pink"
}
Another step later: St(St(F)) = F + St(F) + {
"Ann likes to play with dolls"
"Jane likes to play with dolls"
}
( By the way this is just an example... )
So Cn(F) would be the union of all the results of single steps. Therefore
Cn(F) would not change even if you apply it a second time, ie, Cn(Cn(F)) =
Cn(F).
This is exactly the situation when you apply a projection twice -- the
result stays the same.
=)
-------------------------------------------
AGI
Archives: https://www.listbox.com/member/archive/303/=now
RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424
Modify Your Subscription:
https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657
Powered by Listbox: http://www.listbox.com
