最終更新日：2025/11/25

Dictionary quizzes to help you remember vocabulary

Dictionary quizzes to help you remember vocabulary

(logic) The formulas on the right-hand side of a sequent.

音声機能が動作しない場合はこちらをご確認ください

正解を見る

succedent

編集履歴（0）

元となった辞書の項目

succedent

名詞

(logic) The formulas on the right-hand side of a sequent.

日本語の意味

論理学において、シーケントの右側に位置する公式や式を指す。

このボタンはなに？

Google翻訳 / DeepL翻訳

シーケント計算において、後件は前件から導かれることが証明される右辺の式を含みます。

意味（1）

(logic) The formulas on the right-hand side of a sequent.

succedents

（ plural ）

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★