necessitation การใช้

It did not shrink from such words as fatality, bondage of the will, necessitation, and the like.
Hilbert systems for propositional modal logics, sometimes called Hilbert-Lewis systems, are generally axiomatised with two additional rules, the necessitation rule and the uniform substitution rule.
As for modal logic, the inference rules " modus ponens " and " necessitation " suffice also for dynamic logic as the only primitive rules it needs, as noted above.
In the case of modal logics, the collection of maximal consistent sets extending a theory " T " ( closed under the necessitation rule ) can be given the structure of a model of " T ", called the canonical model.
Construction of the dock's quays was delayed due to the weak ground conditions encountered, necessitation a partial redesign, and increasing cost; } } The north and south quays were supported on square reinforced piles spaced laterally and longitudinally at a distance of.