table of contents

atomic statement

2023-04-01

a statement which cannot be broken down into smaller statements, otherwise it is molecular

For example, the first-order formula contains the atoms:

as there are no quantifiers appearing in an atomic formula, all occurrences of variable symbols in an atomic formula are free.