Atomic formula

An atomic formula, in the context of formal logic and mathematical logic, is a basic type of formula that expresses a simple statement or proposition about a specific relation or property without any logical connectives (such as AND, OR, NOT, etc.). An atomic formula typically consists of: 1. **Predicate Symbols**: These are symbols that represent properties or relations.