- 명제,proposition . . . . 1 match
inference_rule - 명제논리,propositional_logic . . . . 1 match
'''명제논리'''는 쓰이는 [[공리계]]와 [[추론규칙,inference_rule]](curr [[추론,inference]])에 따라 형태가 달라진다. ... 이런 규칙은 의미론과는 무관. .... - 수학,math . . . . 1 match
[[추론규칙,inference_rule]] - 연역,deduction . . . . 1 match
[[추론규칙,inference_rule]] - 흡수법칙,absorption_law . . . . 1 match
Up: [[추론규칙,inference_rule]]