翻訳と辞書 |
clause 1. A {logical formula} in conjunctive normal form, which has the {schema} p1 ^ ...^ pm => q1 V ... V qn.
or, equivalently, ~p1 V ... V ~pn V q1 V ... V qn,
where pi and qi are {atoms}. The operators ~, ^, V, => are {connectives}, where ~ stands for {negation}, ^ for conjunction, V for {disjunction} and => for {implication}. 2. A part of a sentence (or programming language statement) that does not constitute a full sentence, e.g. an adjectival clause in human language or a WHERE clause in a SQL statement. (2004-05-28)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|