相继式((sequent)一种条件蕴含式.设r,o是有穷公式序列.那么r->。称为一个相继式.r和乙分别称为这个相继式的前项和后项.如果r为山,Az,... Cams。为Bl}jjZ}...}g‑(m,n妻1)，那么r}0(即A},Az,...}Am->B1,BZ,...,8})表示若A:八AZ八…八A。成立，则B,VBzV"'VB，成立.A‑Az," ,Am~意义为A，八A:八，…，八A。是恒假式;-}B‑Bz,...,8，意义为B,VBzV…VB，是恒真式.
而且，随着大流行病在国内和国际上波浪式相继传播，病毒的内在毒力可能会逐渐发生变化。
In addition, the inherent virulence of the virus can change over time as the pandemic goes through subsequent waves of national and international spread.
现在，历史正在重演：科技公司你追我赶，相继涌入新兴的触屏式平板电脑市场，这种新型电脑即将改写整个计算机工业的运转规则。
Now history is repeating itself as one technology firm after another piles into the fledgling market for touch-screen “tablet” computers, which are set to disrupt the computing industry.
然后论述了基于CAN总线的相继增压柴油机试验台分布式监控系统的组成、原理及实现方式。
Then we discuss the composition, the principles and the realization ways of the distributional CAN bus-based monitoring system for the sequential turbocharging diesel engine test bed.
应用推荐