最終更新日：2024/07/30
The set of all the statements that can be deduced from a given set of statements.
正解を見る
deductive closure
編集履歴（0）
The set of all the statements that can be deduced from a given set of statements.
deductive closure
DiQt（ディクト）
無料
★★★★★★★★★★
