命題論理の英語

命題pと命題qについて、『pであるならばqである』場合の論理的な関係例文帳に追加

a logical relation between propositions p and q of the form `if p then q'発音を聞く  - 日本語WordNet

形式論理学において,全称否定命題という命題例文帳に追加

a universal proposition that denies something of all members of a class, called universal negative発音を聞く  - EDR日英対訳辞書

形式論理学において,ホーン節という,命題論理式の節形式例文帳に追加

a type of formal logic which has a proposition logic method発音を聞く  - EDR日英対訳辞書

中間命題論理のための完全性定理の有効性例文帳に追加

Effectiveness of the Completeness Theorem for an Intermediate Logic発音を聞く  - コンピューター用語辞典

論理的にある命題が誤りであること例文帳に追加

of a proposition, the condition of being fallacious発音を聞く  - EDR日英対訳辞書

(論理学で)公準という基本的命題例文帳に追加

in logic, a basic proposition called postulate発音を聞く  - EDR日英対訳辞書

形式論理学で,主辞が単独概念である命題例文帳に追加

in formal logic, a proposition whose subject is an independent concept発音を聞く  - EDR日英対訳辞書

弁証法論理において,第1項に置かれる命題例文帳に追加

in dialectic theory, a proposition placed first発音を聞く  - EDR日英対訳辞書