“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.
随便看	subgrade subgraph Advanced Satellite for Cosmology and Astrophysics Advanced Satellite with New System Architecture for Observation advanced synthetic aperture radar advanced very high-resolution radiometer advance-fee fraud advance of perihelion advances advantage advection adventitious adventive cone adventurine adverbial theory adverbs adverse selection adverse supply shock advert auction advert exchange advertisement filter advertising advertorial advert server ad view