Last Updated：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.

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

See correct answer

succedent

Edit Histories（0）

Source Word

succedent

Noun

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

Japanese Meaning

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

What is this buttons?

Google Translation / DeepL Translation

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

Sense（1）

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

succedents

（ plural ）

Login / Sign up

　

Download the app!

DiQt

Free

★★★★★★★★★★