Skip to content
EntityQ2509500· pop 12· linked from 355 articles

Also known as closed formula, Boolean formula

in mathematical logic, a well-formed formula with no free variables