Unification vs False - What's the difference?
unification | false |
The act of unifying.
The state of being unified.
(mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.
*
Untrue, not factual, factually incorrect.
*{{quote-book, year=1551, year_published=1888
, title= Based on factually incorrect premises: false legislation
Spurious, artificial.
:
*
*:At her invitation he outlined for her the succeeding chapters with terse military accuracy?; and what she liked best and best understood was avoidance of that false modesty which condescends, turning technicality into pabulum.
(lb) Of a state in Boolean logic that indicates a negative result.
Uttering falsehood; dishonest or deceitful.
:
Not faithful or loyal, as to obligations, allegiance, vows, etc.; untrue; treacherous.
:
*(John Milton) (1608-1674)
*:I to myself was false , ere thou to me.
Not well founded; not firm or trustworthy; erroneous.
:
*(Edmund Spenser) (c.1552–1599)
*:whose false foundation waves have swept away
Not essential or permanent, as parts of a structure which are temporary or supplemental.
(lb) Out of tune.
As a noun unification
is the act of unifying.As an adjective false is
(label) one of two states of a boolean variable; logic.unification
English
Noun
- 5.7.T ( Unification theorem' ) For any two terms or formulas
without quantifiers X and Y, the following holds.
(i) The ' unification algorithm UNIF1, applied to X, Y,
terminates after a finite number of steps.
(ii) {X, Y} is unifiable iff UNIF1 so indicates upon ter-
mination. Moreover, the substitution σ then available as out-
put is a most general unifier of {X, Y}.
Derived terms
* unificationist * unificatoryAntonyms
* divisionSee also
* reunificationExternal links
* ----false
English
Adjective
(er)A New English Dictionary on Historical Principles: Founded Mainly on the Materials Collected by the Philological Society, section=Part 1, publisher=Clarendon Press, location=Oxford, editor= , volume=1, page=217 , passage=Also the rule of false position, with dyuers examples not onely vulgar, but some appertaynyng to the rule of Algeber.}}