#noindex
MKLINK
[[적형식,wff]]
[[논리식,logical_formula]] - ? merge?

Sub:
[[명제식,propositional_formula]]?
[[원자식,atom]] = atomic_formula
[[일차식,first-order_formula]] ? =,first-order_formula . first-order_formula
{
'''first-order formula'''

} // first-order formula .... Ggl:"first-order formula" ...." 추가해서 Ggl:"%22first-order%20formula%22"

----
logic_formula vs logical_formula ??
WtEn:logic_formula
WtEn:logical_formula
둘다 x [[Date(2023-11-23T04:15:28)]]

Ggl:"logic.formula vs logical.formula"


Up:
[[포뮬러,formula]]? [[공식,formula]]? [[식,formula]]?