Tell me more ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
up vote 0 down vote favorite

A series of questions asks me about the "atomic formula" (AF) of a set {A, B, C}. "Atomic formula" isn't defined anywhere in the text nor can I find information on what it is online. Is "atomic formula" a standard math term? The only clue the book gives is that AF$_0$ = {A, B, C}. What is AF$_1$ then? Or AF$_2$?

Thanks!

share|improve this question
The notion is very language dependent. For the propositional calculus, they are the proposition letters, augmented sometimes by the symbols $0$ and/or $1$. For the predicate calculus, one needs to first define term. Then the atomic formulas are $t_1=t_2$ and $P(t_1,\dots,t_n)$ where $P$ ranges over the $n$-ary predicate symbols, and the $t_i$ range over the terms. – André Nicolas Oct 8 '12 at 0:22

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.