Atomic formula

Imagine you are building a huge tower with small blocks. Each single block is a simple piece. It does not have smaller pieces inside it. In math, we have ideas like these. We call these simple pieces atomic formulas. They are also known as atoms or prime formulas. An atom is the simplest kind of well-formed formula.

It has no deeper structure inside it. This means it does not contain any logical connectives. You can think of atoms as the starting point for all logic.

Logical connectives are tools used to join ideas together. These tools include words like "and" or "or." You can also use quantifiers like "for-all" or "there-exists." When you use these tools, you create compound formulas. Compound formulas are made by combining many atomic formulas.

An atom stays simple because it lacks these connections. It is just a single, solid unit of information. You must have these atoms before you can build anything bigger. Without them, there would be no pieces to join together.

Different types of logic use atoms in different ways. In propositional logic, people often use propositional variables. A variable is a symbol that represents an atomic formula. In predicate logic, atoms look a bit different. They are made of predicate symbols and their arguments.

Each argument in the group is called a term. In model theory, atoms are seen as strings of symbols. These symbols follow a specific rule called a signature. These strings might be satisfiable within a certain model. Each type of logic has its own special rules for atoms.

First-order logic gives us a very clear way to build atoms. First, we use terms to name things. A term can be a constant, which is a named object. A term can also be a variable, like the letter x. You can even use a function to group objects together.

To make an atom, you apply a predicate to these terms. For example, P(x) is an atomic formula. This formula uses a predicate P and a term x. All other formulas come from combining these atoms with quantifiers. In an atom, all variable symbols are considered free.

Understanding atoms helps us see how complex math works. It is like looking at the tiny parts of a machine. You see how one small part fits into a larger system. One example is the formula ∀x. P (x) ∧ ∃y. Q (y, f (x)) ∨ ∃z. R (z). This long expression contains several different atoms. It uses atoms like P(x), Q(y, f(x)), and R(z).

By studying atoms, we learn the base of all logic. We can see how simple pieces create very deep ideas. Math is built from these tiny, unbreakable foundations.