bn:03203535n
Noun Concept
SYL
No term available
EN
In mathematical logic, an atomic formula is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Wikipedia
Relations
Sources