ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
英和和英
履歴
通常ウィンドウ
意味
Wiktionary英語版
出典:
Wiktionary
Boolean atom
名詞
Boolean
atom
(
複数形
Boolean
atoms
)
(
logic
)
A
logical
proposition
that
cannot be
derived
from other
logical
propositions
by
a
Boolean
operation
.
1975
,
Sue
Ann
Toledo
,
Tableau
systems
for
first order
number theory
and
certain
order
theories
,
page
234:
This is
a
consequence
of a
fact
established
earlier
,
namely
, that any
set
C
formed
by
choosing
one
formula
from each S
j
must
contain
some
formula
π
B and its
conjugate
, where
B is
a
Boolean atom
of
X.
1982
, Krister Segerberg,
Classical
propositional
operators
,
page
55
:
If C
is a
Boolean atom
, the
claim
is
obviously
true.
1994
,
Specification
and
Verification
of
Gate-level
VHDL
Models
of
Synchronous
and
Asynchronous
Circuits
,
page
4:
A list
is a
bit
vector
if
each of
its
members
is a
Boolean atom
.
調べた例文を記録して、効率よく覚えましょう
Weblio会員
無料
で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
Weblio会員登録
(無料)
はこちらから
▶
閲覧履歴
検索結果に戻る
全履歴クリア
・
Boolean atom
単語帳に追加
Boolean atomのページの著作権
Wiktionary
Text is available under
Creative Commons Attribution-ShareAlike (CC-BY-SA)
and/or
GNU Free Documentation License (GFDL)
.
Weblio英和・和英辞典
に掲載されている「Wiktionary英語版」の記事は、Wiktionaryの
Boolean atom
(
改訂履歴
)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
ログイン
※半角英数字、6文字以上、32文字以内で入力してください
ログイン
パスワードを忘れた方はこちらから
別サービスのアカウントで登録・ログイン
アカウントをお持ちでない方
新規会員登録(無料)
non-member
Boolean atom