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

意味
共起
表現

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

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.