t_wの輪郭

論理計算
シークエント計算