>>322
1)シーケント計算で最小論理はどういうもの?
2)シーケント計算でLJは後件が一つ以下となる理由は?