「命題論理」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

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

in formal logic, a proposition called universal proposition  - EDR日英対訳辞書

定言命題という,論理学における命題例文帳に追加

in logic, a categorical proposition  - EDR日英対訳辞書

命題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日英対訳辞書

論理学における同一律という命題例文帳に追加

one of three principles in logic, called law of identity  - EDR日英対訳辞書

論理学で,分析判断を表す命題例文帳に追加

a proposition that predicates the subject of something that is implied in its definition  - EDR日英対訳辞書

形式論理学において,全称肯定命題という,主語のすべてが述語のすべてに含まれる命題例文帳に追加

a universal proposition that affirms something of all members of a class, called universal affirmation  - EDR日英対訳辞書

論理命題の変数を縛りつける言葉（`いくつか`、`すべて`、または、`ない`など）例文帳に追加

a word (such as `some' or `all' or `no') that binds the variables in a logical proposition  - 日本語WordNet

ヘーゲル弁証法において,論理展開のための最初の命題例文帳に追加

in Hegel's dialectic, the thesis that introduces a logical argument  - EDR日英対訳辞書

論理学で,命題の述語として,主語について述べた概念例文帳に追加

of a grammatical sentence, a descriptive account of the subject contained in the predicate  - EDR日英対訳辞書

ある思想や命題が真理であることを示す論理的理由例文帳に追加

the theoretical reason to prove a certain thought or proposition be true  - EDR日英対訳辞書

論理学において,ある命題の主語について述べられる概念例文帳に追加

a concept that expresses the main phrase of a proposition  - EDR日英対訳辞書

論理的な推論によって到達する命題（三段論法の大前提と小前提から帰結しなければならない命題など）例文帳に追加

the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)  - 日本語WordNet

結果がどのように既存の命題から論理的に導かれるかを示す理論の文例文帳に追加

a line of reasoning that shows how a conclusion follows logically from accepted propositions  - 日本語WordNet

まだ立証されていない命題を真の前提として使用する論理的な誤り例文帳に追加

the logical fallacy of using as a true premise a proposition that is yet to be proved  - 日本語WordNet

繋辞という,論理学における命題の主語と述語との関係をあらわす語例文帳に追加

a word in ethics that shows the relationship between the subject and predicate, called copula  - EDR日英対訳辞書

命題と論理演算子『AND』『OR』『IF THEN』『EXCEPT』『NOT』を結合するジョージ・ブールによって考案された組合せ手順の、または、命題と論理演算子『AND』『OR』『IF THEN』『EXCEPT』『NOT』を結合するジョージ・ブールによって考案された組合せ手順に関する例文帳に追加

of or relating to a combinatorial system devised by George Boole that combines propositions with the logical operators AND and OR and IF THEN and EXCEPT and NOT  - 日本語WordNet

時系列信号値データから人手を介すことなく自動的に動作命題を作成するシステム、及び論理回路の検証前に動作命題を検証することが可能な動作命題を検証するシステムを提供する。例文帳に追加

To provide a system for automatically generating an operation proposition from time-series signal value data without depending upon human assistance and a system for verifying an operation proposition, which can verify an operation proposition before verifying a logic circuit. - 特許庁

原理から推論できる命題は1つとして互いに矛盾し合うものはないということによって構成された論理体系の特質例文帳に追加

an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another  - 日本語WordNet

もしその体系の原理から演繹されることのない命題が提出されると矛盾が生ずるということに構成された論理体系の特質例文帳に追加

an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system  - 日本語WordNet

この新しい論理...についての推論規則のひとつを説明する.この論理は, 変更の実行後にどの命題が有効であるかを結論付けるのに用いられる.例文帳に追加

We present one rule of inference of this new logic, ..., that is used for concluding what propositions hold after the execution of change.  - コンピューター用語辞典

事実情報を事実記憶部に参照可能に格納する事で知識情報として構築し、対話対応の論理的な規約に基づいて決定や命題や質問への対応などを行う自然言語処理システムとする。例文帳に追加

When the fact information is stored so as to be referable in a fact storage part, the fact information is constructed as knowledge information, and a decision, a proposition, and a question are processed based on a logical protocol ready for dialog in this natural language processing system. - 特許庁