Difference between r1.11 and the current
@@ -10,7 +10,7 @@
{
'''first-order formula'''
----
logic_formula vs logical_formula ??
'''first-order formula'''
} // first-order formula .... Ggl:"first-order formula" ...." 추가해서 Ggl:"%22first-order+formula%22"
} // first-order formula .... Ggl:"first-order formula" ...." 추가해서 Ggl:"%22first-order%20formula%22"
----
logic_formula vs logical_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