推論規則

すいろん・きそくsuiron·kisoku

N.
Logik Schlussregel f f; Inferenzregel f f.