推論規則すいろんきそく<すい'ろん>・き'そく

LogikSchlussregelInferenzregel