(logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
propositional logic
ゼミでは、自然言語の文を形式的な式に翻訳する方法を教えるために、命題論理を用いました。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
