絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/11/23

正解を見る

In the introductory logic course, we used propositional calculus to formalize simple arguments.

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

元となった例文

In the introductory logic course, we used propositional calculus to formalize simple arguments.

入門論理学の講義では、単純な議論を形式化するために命題論理を用いました。