翻訳と辞書
Words near each other
・ class library
・ class method
・ class oriented ring associated language
・ class-relation method
・ classic
・ classic c
・ classic-ada
・ classical logic
・ classless inter-domain routing
・ clausal language
clause
・ clean
・ cleanroom
・ clear
・ clear box testing
・ clear language for expressing orders
・ cleo
・ clhep
・ cli
・ clicc


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

clause : FOLDOC
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.