最終更新日：2025/11/25
In sequent calculus, the succedent contains the formulas on the right-hand side that are proved to follow from the antecedent.
正解を見る
In sequent calculus, the succedent contains the formulas on the right-hand side that are proved to follow from the antecedent.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
