Chuyển bộ gõ


Từ điển Máy Tính - Foldoc Dictionary
clause




clause

1.   (logic)   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.   (grammar)   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.

Last updated: 2004-05-28



Related search result for "clause"

Giới thiệu VNDIC.net | Plugin từ diển cho Firefox | Từ điển cho Toolbar IE | Tra cứu nhanh cho IE | Vndic bookmarklet | Học từ vựng | Vndic trên web của bạn

© Copyright 2006-2024 VNDIC.NET & VDICT.CO all rights reserved.