走下

On the one hand, Implication paradox provides semantics grounding for two conditional inference principles; on the other hand, the discovery of implication paradox arouses logicians discussion to the implication theory and makes them put forward many new implication theories such as: strict implication -, relevant implication and etc., and promotes the development of the implication theory and makes implication theory step down mysterious palace, and gradually penetrates into many other concrete sciences.

一方面，正是由于蕴涵怪论为传统逻辑两个假言推理规则提供了语义学根据；另一方面，正是由于蕴涵怪论的发现，引发了逻辑学家们对蕴涵理论的深入探讨，提出了许多新的蕴涵理论如严格蕴涵，相干蕴涵，衍推蕴涵等等，推动了逻辑学蕴涵理论的发展，并促使蕴涵理论走下神秘的殿堂，而逐步深入到许多具体的学科中去。

Fauchery gazed at him in a state of stupefaction.

他们走下几级楼梯就到了道具库。

He accepted the sunshade, and lifting it over his head descended the steps and walked away.

他接过那把阳伞、举过头顶走下了台阶。

He looked suspiciously at everyone who got off the plane.

他怀疑地看著走下飞机的每一个人。

As soon as he stepped off the plane he began to talk a mile a minute, telling us all about his holiday.

他一走下飞机，就像连珠炮似地说个不停，告诉我们他度假的全部经过。

We went down the hill and found Jo Harper and Ben Rogers, and two or three more of the boys, hid in the old tanyard.

我们走下小山头，找到了乔·哈贝和朋·罗杰斯，还有两三个别的男孩子，都是躲在废了的鞣皮工场里的。

Istepped out on to the tarmac in Tibet in 1985 and took a deep breath.

1985年，我走下飞机，踏上西藏的停机坪，深深地吸了一口气。

The old lady totter ed down the stairs.

那位老太太步履蹒跚地走下楼梯。

My plane would touch down just long enough to let me off.

我坐的飞机降落后只停留很短的时间，让我在那里走下飞机。

When Silvio Berlusconi stepped out of his Agusta 109 helicopter at Milanello on a snowy March 1, 1986, dressed in a finely tailored black overcoat, blue trilby hat and lavish scarf, he may not have looked like your average revolutionary.

贝卢斯科尼在1986年3月1日，那个大雪纷飞的日子里，在米兰内洛走下他的Agusta 109直升机，身穿高档考究的黑色大衣，戴着蓝色呢帽和长围巾，看起来完全不像一个普通的开创者。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。