English Dictionary

In the seminar, we used propositional logic to teach students how to translate natural language statements into formal formulas.

ゼミでは、自然言語の文を形式的な式に翻訳する方法を教えるために、命題論理を用いました。