Difference between r1.9 and the current
@@ -5,6 +5,12 @@
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 ??
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