t_wの輪郭
RSS
後件
直観主義論理
直観論理
シークエント
直観主義的シークエント
2024/4/3 0:23:00
直観主義的シークエント
は
後件
に高々1つの論理式しかない
シークエント
。