논리식,logic_formula


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:"first-order formula"

logic_formula vs logical_formula ??
WtEn:logic_formula
WtEn:logical_formula
둘다 x 2023-11-23



논리식,logic_formula Modified on 6:20 pm, April 1, 2024.
🎲 Random