수학,math에서 formula는 대체로
mathematical formula, 공식.
공식이 아닌 formulae도 대체로 '식'으로 번역되는 듯, due to
formula
헤론_공식,Heron_s_formula ¶
세 변의 길이가
인 삼각형의 넓이
는
단,
Pf.
여기서
이므로,
를 대입하면
이므로
따라서
Pf.
코사인법칙,cosines_law을 쓴 증명 - Stewart Appendix D 참조.
See also ¶
수학백과: 형식논리학(https://terms.naver.com/entry.naver?docId=5669291&cid=60207&categoryId=60207)에서도 마찬가지
"논리식(formula), 부분논리식(subformula)"
명제,proposition와 mklink
Sub:
formula와 비슷한 spell: - 관계가 있는지 없는지, 비교할만한지, etc.
formulation (of math/logic)
pl. formulas, formulae = formulæ(Latinate)