論理矛盾の英語

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

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

公案の多くが自己矛盾的文体を為しており、そのまま意味を理解しようとしても論理的に破綻する場合が多い。例文帳に追加

Many koan consist of an inconsistent style of words and it is difficult to understand the literal meaning logically.発音を聞く  - Wikipedia日英京都関連文書対訳コーパス

すでに記録されているデータとの間に論理的な矛盾が発生するのを防止できる追記データのイメージファイル作成方法を提供する。例文帳に追加

To provide a method for creating an image file of additional data preventing logical contradiction between the data and already recorded data. - 特許庁

他方、プログラムの処理過程で論理的な矛盾が発生した場合、そのときの処理内容をジャーナリングする。例文帳に追加

In a logic inconsistency in the processing process of a program, the processing content at that time is journaled. - 特許庁

データの接続関係を効率よく検査し、その接続関係の論理的重複・矛盾をユーザに容易に認識させる。例文帳に追加

To efficiently inspect the connection relation of plural data and to enable a user to easily recognize the logical overlap/inconsistency of the connection relation. - 特許庁

論理閉域グループ内で契約内容に矛盾なく通信できるとともに、異なるサービス品質クラス間でも通信できるようにする。例文帳に追加

To provide a packet transfer system where a packet can be communicated in a logical closed group without contradiction of contract contents and also communicated between different service quality classes. - 特許庁

分割処理部１５を介して処理されたすべて文字行は、隣接する文字行に付与されたタグがタグの組み合わせとして論理的に矛盾している場合に、論理的に矛盾しないようにタグを置き換えるタグ付け変更部１６に出力される。例文帳に追加

All character lines processed through a division processing part 15 are outputted to a tagging changing part 16 for replacing a tag attached to and adjacent character line so as not to logically contradict when the tag is logically contradictory as a tag combination. - 特許庁

論理式検証部２３は、得られた論理式に矛盾がある場合に構成情報３３とネットワーク３１の構成との間に不一致があると判定する。例文帳に追加

If there is discrepancy in the logical expression obtained, a logical expression verifying section 23 determines that there is inequality between the configuration information 33 and a configuration of the network 31. - 特許庁