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 ....
first-order formula
...." 추가해서
"first-order formula"
logic_formula vs logical_formula ??
logic_formula
logical_formula
둘다 x 2023-11-23
logic.formula vs logical.formula
Up:
포뮬러,formula
?
공식,formula
?
식,formula
?
Retrieved from http://red-ruby.com/wiki/wiki.php/논리식,logic_formula
last modified 2024-04-01 18:20:54