English Dictionary

Students studying formal logic often struggle to apply several deduction theorems during proof exercises.

形式論理を学ぶ学生は、証明の演習でいくつかの導出定理を適用するのにしばしば苦労します。