-
English
-
Russian
-
English
-
Russian
Contrapositive
UK
/ˌkɒntrəˈpɒzɪtɪv/
US
/ˌkɑntrəˈpɑzɪtɪv/
Translation contrapositive into russian
contrapositive
Noun
UK
/ˌkɒntrəˈpɒzɪtɪv/
US
/ˌkɑntrəˈpɑzɪtɪv/
In logic, the contrapositive of a statement is always logically equivalent to the original statement.
В логике контрапозиция утверждения всегда логически эквивалентна исходному утверждению.
contrapositive
Adjective
UK
/ˌkɒntrəˈpɒzɪtɪv/
US
/ˌkɑntrəˈpɑzɪtɪv/
The contrapositive statement is logically equivalent to the original statement.
Контрапозитивное утверждение логически эквивалентно исходному утверждению.
Definitions
contrapositive
Noun
UK
/ˌkɒntrəˈpɒzɪtɪv/
US
/ˌkɑntrəˈpɑzɪtɪv/
In logic, the contrapositive of a statement is formed by negating both the hypothesis and the conclusion, and then reversing them. For a statement of the form 'If P, then Q', the contrapositive is 'If not Q, then not P'.
In the statement 'If it is raining, then the ground is wet', the contrapositive is 'If the ground is not wet, then it is not raining'.
contrapositive
Adjective
UK
/ˌkɒntrəˈpɒzɪtɪv/
US
/ˌkɑntrəˈpɑzɪtɪv/
Relating to or involving the contrapositive of a statement, which is formed by negating both the hypothesis and the conclusion of the original statement and then reversing them.
In logic, the contrapositive statement is often used to prove the validity of an argument.
Idioms and phrases
contrapositive statement
The contrapositive statement of a conditional is logically equivalent to the original statement.
контрапозитивное утверждение
Контрапозитивное утверждение условного высказывания логически эквивалентно исходному утверждению.
prove the contrapositive
To simplify the proof, we will prove the contrapositive instead.
доказать контрапозитив
Чтобы упростить доказательство, мы вместо этого докажем контрапозитив.
contrapositive form
Understanding the contrapositive form can help in solving logical problems.
контрапозитивная форма
Понимание контрапозитивной формы может помочь в решении логических задач.
contrapositive argument
The contrapositive argument was used to demonstrate the logical equivalence.
контрапозитивный аргумент
Контрапозитивный аргумент был использован для демонстрации логической эквивалентности.
contrapositive reasoning
Contrapositive reasoning can simplify complex logical proofs.
контрапозитивное рассуждение
Контрапозитивное рассуждение может упростить сложные логические доказательства.