원자식,atom (rev. 1.7)
atomic formula, 줄여서 간단히 atom
모든 원자식은 적형식,wff임.
atomic_formula =,atomic_formula .
로직,logic 이론에서 "포뮬러,formula"라 하면 보통 sentential formula(같은 말: propositional formula , 다시 말해 propositional_calculus(=propositional_logic)의 formula)를 말한다.[2]
sentential_formula x (2023-08-19)
Sentential_formula redir to Propositional_formula"A propositional formula may also be called a propositional expression, a sentence, or a sentential formula."
}}
