>>941
論理式,推論規則,推論の定義は何ですか?