Difference between r1.8 and the current
@@ -2,10 +2,15 @@
MKLINK
[[적형식,wff]]
[[논리식,logical_formula]] - ? merge?
[[포뮬러,formula]]? [[공식,formula]]?
Sub:
[[명제식,propositional_formula]]?
----
logic_formula vs logical_formula ??
[[적형식,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 ??
@@ -14,3 +19,7 @@
둘다 x [[Date(2023-11-23T04:15:28)]]
Ggl:"logic.formula vs logical.formula"
Ggl:"logic.formula vs logical.formula"
Up:
[[포뮬러,formula]]? [[공식,formula]]? [[식,formula]]?
Sub:
명제식,propositional_formula?
원자식,atom = atomic_formula
일차식,first-order_formula ? =,first-order_formula . first-order_formula
{
first-order formula
명제식,propositional_formula?
원자식,atom = atomic_formula
일차식,first-order_formula ? =,first-order_formula . first-order_formula
{
first-order formula
