Большая Советская энциклопедия

    в логике, вид доказательства, т. н. Доказательство от противного.

  1. Источник: Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.



  2. Большой англо-русский и русско-английский словарь

    лат. ad absurdum

  3. Источник: Большой англо-русский и русско-английский словарь



  4. Математическая энциклопедия

    - правило логич. вывода, позволяющее заключить, что если из списка утверждений Г, А следует как утверждение В, так и утверждение , то из списка Г следует . Правило П. к а. записывают, напр., в виде

    и наз. также правилом введения отрицания. П. к а. является допустимым правилом для подавляющего большинства логико-матеатич. исчислений, C. Ю. Маслов.

  5. Источник: Математическая энциклопедия



  6. Dictionnaire technique russo-italien

    riduzione all'assurdo

  7. Источник: Dictionnaire technique russo-italien



  8. Словарь терминов логики

  9. Источник: