「Predicate」の共起表現(1語右で並び替え)

Weblio 辞書 > 英和辞典・和英辞典 > Predicateの意味・解説 > Predicateに関連した共起表現

意味

例文

類語

共起表現

「Predicate」の共起表現一覧(1語右で並び替え)

該当件数 : 78件

taru adjectives do not	predicate a sentence (they cannot end a sentence, as v
Compare second-order	predicate and higher-order predicate.
has four axioms in addition to the axioms of	predicate and modal logic.
Here, P(x) is referred to as the	predicate, and x the subject of the proposition.
The difference between a	predicate and a term in first order logic is that a te
Many dialects still retained the	predicate atom for legacy compatibility, defining it t
Propositional and	predicate calculi are examples of formal systems.
Some authors consider the	predicate calculus to be an axiomatized form of predic
Monadic	predicate calculus is also called monadic first-order
Support for the	predicate calculus operators support for universal (fo
	Predicate calculus symbols may represent either variab
In 1922 Behmann proved that the monadic	predicate calculus is decidable.
logic as given, every formula in the monadic	predicate calculus expresses something that can likewi
A	predicate calculus will usually include all the same r
e formal language (most likely a part of the	predicate calculus) common instrumental statements.
generalization, GEN) is an inference rule of	predicate calculus.
logic can all be represented in the monadic	predicate calculus.
out the world, represented using first order	predicate calculus.
Axiomatization of the Infinitely Many-Valued	Predicate Calculus."
In the propositional case, pointwise and	predicate circumscription coincide.
	Predicate completion is still needed in the event calc
inedness of an expression can be checked via	predicate defined(expr).
can be simulated by the introduction of new	predicate definitions and dynamic folding of such defi
When the	predicate evaluates to a node-set, the result is true
d off Tony Yayo's debut album, Thoughts of a	Predicate Felon.
re he released his debut album Thoughts of a	Predicate Felon.
r person during the commission of one of the	predicate felonies.
efendant was involved in the commission of a	predicate felony, but the homicide was perpetrated by
e circumscription it minimize the value of a	predicate for each tuple of values separately, rather
The Terminates	predicate has a similar meaning, with the only differe
All rows match the	predicate if their value is between 'value1' and 'valu
eces of code that apply more than one design	predicate, integration complexity ratings can be combi
In other cases, the value of the	predicate is automatically converted to a boolean.
n formal semantic theories of truth, a truth	predicate is a predicate on the sentences of a formal
Thus, if the	predicate is f(xy) and the actual pattern is f(ab), th
gics supported by SBVR are typed first order	predicate logic with equality, restricted higher order
Output Rule in first-order	predicate logic
First-order	predicate logic uses rules of inference to deal with l
Robert Kowalski	Predicate Logic as a Programming Language Memo 70, Dep
Taking Bertrand Russell's	predicate logic in his Principia Mathematica as standa
sed on formal logic, especially higher order	predicate logic and lambda calculus, and makes use of
's Law is the adjustment of a given standard	predicate logic such as to relieve it of existential a
ble automated theorem prover for first-order	predicate logic with equality.
The first	predicate logic processor based on the idea of topolog
It combines elements of	predicate logic, propositional calculus, and multi-val
To make this a system of first-order	predicate logic, the generalization rules
rmed research in the field of set theory and	predicate logic.
efficient decision problems than first-order	predicate logic.
set theory, lambda calculus, and first-order	predicate logic.
is commonly used to mean higher order simple	predicate logic.
ics- or two - with generalisation, to handle	predicate logics, as well- and several infinite axiom
A truth	predicate may have additional domains beyond the forma
a proper class of cardinals which satisfy a	predicate of interest.
ion is inferred which has as its subject the	predicate of the original proposition and as its predi
Tax evasion as a new	predicate offence
at foreign convictions should not count as a	predicate offense under Section 922 because the statem
, as “an operative factor in relation to the	predicate offense.”
boolean-valued function, in some usages is a	predicate or a proposition, is a function of the type
characteristic function, indicator function,	predicate, or proposition.
within clauses, Fril instead has a built-in	predicate orr.
Equivalently, for every	predicate P and proper class S, there is a non-trivial
LMGs produce a terminal string from a start	predicate, RCGs aim to reduce a start predicate (which
The Gcd	predicate says that d is a greatest common divisor of
The CommonDivisor	predicate says that if i and j are not zero, then d is
while the TakeWhile operator, which takes a	predicate, selects those objects that match the predic
ymbols and a and b are terminal symbols, the	predicate string f(a,abb) can be rewritten as g(aab,b)
For example, no expression involving a	predicate symbol is a term.
order logic, an atomic formula consists of a	predicate symbol applied to an appropriate number of t
r every valuation (or interpretation) of its	predicate symbols.
y can be expressed as an arbitrarily complex	predicate that must evaluate at compile time.
rogramming, a precondition is a condition or	predicate that must always be true just prior to the e
comparison requires a call to the comparison	predicate), which have a large overhead.
ision corresponds to a variable, relation or	predicate whose possible values are listed among the c
henated, whereas the same compound used as a	predicate will typically not be.

共起表現

「Predicate」の共起表現(1語右で並び替え) - Weblio英語共起表現検索

「Predicate」の共起表現一覧(1語右で並び替え)