Talk:Atomic formula

From Wikipedia, the free encyclopedia

[edit] merge?

I'm not sure this shouldn't be merged into formula (mathematical logic). Is there enough to say to justify a separate article? --Trovatore 04:49, 23 March 2006 (UTC)

• Probably merge. I can't see any reason not to merge them. Unless somebody else comes up with one, I'd say that it makes sense to do so. Jon Awbrey 05:54, 23 March 2006 (UTC)
• Don't merge: The idea of an atom is important whenever you formally describe a logical system. This article could be expanded with more examples than the current example, with some statements about how atoms are usually chosen, with a category-theoretic description of atoms (aren't they terminal or initial objects in the category of statements in that logic, or something like that?). This term is used in a lot of definitions, and the article has several good inlinks. CiteSeer and Google Scholar indicate that this term is used by an awful lot of journal articles. So, I think that it would be helpful to have a separate article. -- Creidieki 20:10, 2 April 2006 (UTC)