"доказательство от противного" meaning in Русский

{
  "categories": [
    {
      "kind": "other",
      "name": "Русский язык",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Устойчивые сочетания/ru",
      "parents": [],
      "source": "w"
    }
  ],
  "hypernyms": [
    {
      "sense_index": 1,
      "word": "доказательство"
    }
  ],
  "lang": "Русский",
  "lang_code": "ru",
  "pos": "phrase",
  "senses": [
    {
      "examples": [
        {
          "author": "О. Максименко, Л. Б. Окунь.",
          "collection": "Наука и жизнь",
          "date": "2007",
          "ref": "О. Максименко, Л. Б. Окунь., «Зеркальная материя — начало пути», 2007 г. // «Наука и жизнь» [НКРЯ]",
          "source": "НКРЯ",
          "text": "Доказать это «напрямую» не удавалось, но авторы использовали «доказательство от противного»: если бы было возможно любое другое, хоть самое незначительное взаимодействие, это обязательно проявилось бы в эксперименте ― в некоторых опытах с элементарными частицами результаты получались бы другими. А этого не было.",
          "title": "Зеркальная материя — начало пути"
        }
      ],
      "glosses": [
        "метод доказательства утверждений, в котором доказывается, что отрицание исходного положения не может быть верным"
      ],
      "id": "ru-доказательство_от_противного-ru-phrase-gHN6C4FV",
      "raw_glosses": [
        "матем. метод доказательства утверждений, в котором доказывается, что отрицание исходного положения не может быть верным"
      ],
      "topics": [
        "mathematics"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "dəkɐˈzatʲɪlʲstvə ɐt‿prɐˈtʲivnəvə"
    }
  ],
  "translations": [
    {
      "lang": "Английский",
      "lang_code": "en",
      "word": "proof by contradiction"
    },
    {
      "lang": "Греческий",
      "lang_code": "el",
      "word": "εις άτοπον απαγωγή"
    },
    {
      "lang": "Испанский",
      "lang_code": "es",
      "word": "prueba por contradicción"
    },
    {
      "lang": "Китайский",
      "lang_code": "zh",
      "tags": [
        "simplified"
      ],
      "word": "反證法"
    },
    {
      "lang": "Китайский",
      "lang_code": "zh",
      "word": "归谬法"
    },
    {
      "lang": "Латинский",
      "lang_code": "la",
      "word": "contradictio in contrarium"
    },
    {
      "lang": "Латышский",
      "lang_code": "lv",
      "word": "pierādījums no pretējā"
    },
    {
      "lang": "Французский",
      "lang_code": "fr",
      "word": "démonstration par l'absurde"
    },
    {
      "lang": "Французский",
      "lang_code": "fr",
      "word": "preuve par l'absurde"
    }
  ],
  "word": "доказательство от противного"
}

{
  "categories": [
    "Русский язык",
    "Устойчивые сочетания/ru"
  ],
  "hypernyms": [
    {
      "sense_index": 1,
      "word": "доказательство"
    }
  ],
  "lang": "Русский",
  "lang_code": "ru",
  "pos": "phrase",
  "senses": [
    {
      "examples": [
        {
          "author": "О. Максименко, Л. Б. Окунь.",
          "collection": "Наука и жизнь",
          "date": "2007",
          "ref": "О. Максименко, Л. Б. Окунь., «Зеркальная материя — начало пути», 2007 г. // «Наука и жизнь» [НКРЯ]",
          "source": "НКРЯ",
          "text": "Доказать это «напрямую» не удавалось, но авторы использовали «доказательство от противного»: если бы было возможно любое другое, хоть самое незначительное взаимодействие, это обязательно проявилось бы в эксперименте ― в некоторых опытах с элементарными частицами результаты получались бы другими. А этого не было.",
          "title": "Зеркальная материя — начало пути"
        }
      ],
      "glosses": [
        "метод доказательства утверждений, в котором доказывается, что отрицание исходного положения не может быть верным"
      ],
      "raw_glosses": [
        "матем. метод доказательства утверждений, в котором доказывается, что отрицание исходного положения не может быть верным"
      ],
      "topics": [
        "mathematics"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "dəkɐˈzatʲɪlʲstvə ɐt‿prɐˈtʲivnəvə"
    }
  ],
  "translations": [
    {
      "lang": "Английский",
      "lang_code": "en",
      "word": "proof by contradiction"
    },
    {
      "lang": "Греческий",
      "lang_code": "el",
      "word": "εις άτοπον απαγωγή"
    },
    {
      "lang": "Испанский",
      "lang_code": "es",
      "word": "prueba por contradicción"
    },
    {
      "lang": "Китайский",
      "lang_code": "zh",
      "tags": [
        "simplified"
      ],
      "word": "反證法"
    },
    {
      "lang": "Китайский",
      "lang_code": "zh",
      "word": "归谬法"
    },
    {
      "lang": "Латинский",
      "lang_code": "la",
      "word": "contradictio in contrarium"
    },
    {
      "lang": "Латышский",
      "lang_code": "lv",
      "word": "pierādījums no pretējā"
    },
    {
      "lang": "Французский",
      "lang_code": "fr",
      "word": "démonstration par l'absurde"
    },
    {
      "lang": "Французский",
      "lang_code": "fr",
      "word": "preuve par l'absurde"
    }
  ],
  "word": "доказательство от противного"
}