“weakening”的概念、定义、翻译、参考文献-科学参考

weakening

Computer

A rule of reasoning that implies that from a clause such as P⇒Q (where ⇒ should be interpreted as ‘implies’ and P and Q are atoms) one can deduce both P∨R⇒Q and P⇒Q∨R (where ∨ signifies ‘or’). In other words, additional antecedents can always be added to a clause in a deduction.

Logic

A structural rule in proof theory that licenses the addition of arbitrary formulae in the antecedent and succedent positions of a sequent. Also referred to as thinning or dilution. Where $Γ$ and $Δ$ are sets of formulae and $φ$ a formula, this inference is represented as left- and right-weakening:
$\frac{Γ \Rightarrow Δ}{φ, Γ \Rightarrow Δ} L-Weak \frac{Γ \Rightarrow Δ}{Γ \Rightarrow Δ, φ} R-Weak$
Deductive systems in which the first of these rules is admissible are called monotonic.

Geology and Earth Sciences

In synoptic meteorology, a decrease in pressure gradient around a pressure system over time. Changes of this kind bring about a weakening of the winds. See also intensification.

单词	weakening
释义	weakening Computer A rule of reasoning that implies that from a clause such as P⇒Q (where ⇒ should be interpreted as ‘implies’ and P and Q are atoms) one can deduce both P∨R⇒Q and P⇒Q∨R (where ∨ signifies ‘or’). In other words, additional antecedents can always be added to a clause in a deduction. Logic A structural rule in proof theory that licenses the addition of arbitrary formulae in the antecedent and succedent positions of a sequent. Also referred to as thinning or dilution. Where $Γ$ and $Δ$ are sets of formulae and $φ$ a formula, this inference is represented as left- and right-weakening: $\frac{Γ \Rightarrow Δ}{φ, Γ \Rightarrow Δ} L-Weak \frac{Γ \Rightarrow Δ}{Γ \Rightarrow Δ, φ} R-Weak$ Deductive systems in which the first of these rules is admissible are called monotonic. Geology and Earth Sciences In synoptic meteorology, a decrease in pressure gradient around a pressure system over time. Changes of this kind bring about a weakening of the winds. See also intensification.
随便看	bivariate normal distribution bivariate probability distribution biweight function Bjerknes, Jacob Aall Bonnevie Bjerknes, Vilhelm Friman Koren Bjerknes, Vilhelm Frimann Koren (1862–1951) BJT Black-and-Tans Black Arrow rocket black bear BlackBerry blackbird blackboard system black body black-body radiation black box black box testing black-box testing black box theory black box view blackbuck blackdamp Black Death (1347–50) black drop black dwarf