Proofs that are not directive are called indirect. The first type of indirect proof is proof of contrapositive的翻译：称为间接证明不是指令。第一种类型的间接证明是蕴涵的证明什么意思？中文翻译英文，英文翻译中文，怎么说？

青云英语翻译

正在翻译，请等待...

称为间接证明不是指令。第一种类型的间接证明是蕴涵的证明

不是方向性的证明称间接。间接证明的第一个类型是证明contrapositive

债权证明表,均称为间接不指示。第一种类型的间接证据的证明是contrapositive

称为间接证明不是指令。第一种类型的间接证明是蕴涵的证明