MKL
식,expression
적형식,wff - formula with wellformedness? chk
텀,term = 항,term
문장,sentence
명제,proposition
술어,predicate
식,expression
적형식,wff - formula with wellformedness? chk
텀,term = 항,term
문장,sentence
명제,proposition
술어,predicate
명제식,propositional_formula exists
sentential_formula =,sentential_formula =,sentential_formula . sentential_formula
{
sentential formula
{
sentential 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
Sentential_formula redir to Propositional_formula
"A propositional formula may also be called a propositional expression, a sentence, or a sentential formula."
}open_formula =,open_formula =,open_formula . open_formula
closed_formula =,closed_formula =,closed_formula . closed_formula
Formula
= https://mathworld.wolfram.com/Formula.html
closed_formula =,closed_formula =,closed_formula . closed_formula
Formula
= https://mathworld.wolfram.com/Formula.html