High Quality Content by WIKIPEDIA articles! Consequentia mirabilis (Admirable consequence), also known as Clavius's Law, is used in traditional and classical logic to establish the truth of a proposition from the inconsistency of its negation. It is thus similar to reductio ad absurdum, but it can prove a proposition true using just its negation. It states that if a proposition is a consequence of its negation, then it is true, for consistency. It can thus be demonstrated without using any...
High Quality Content by WIKIPEDIA articles! Consequentia mirabilis (Admirable consequence), also known as Clavius's Law, is used in traditional and classical logic to establish the truth of a proposition from the inconsistency of its negation. It is thus similar to reductio ad absurdum, but it can prove a proposition true using just its negation. It states that if a proposition is a consequence of its negation, then it is true, for consistency. It can thus be demonstrated without using any other principle, but that of consistency. The most famous example is perhaps the Cartesian "cogito ergo sum": Even if one can question the validity of the thinking, no one can deny the existence of thought. Children have an uncanny appreciation for this law, and use it unwittingly on a regular basis: "I'm not talking to you" proves that, in saying this, the person is in fact talking to the other.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
Это книга о Борисе Немцове, написанная его дочерью. В ней Жанна Немцова рассказывает о своём детстве, вспоминает годы, когда её отец только начинал заниматься политикой и стал губернатором Нижегородской области. Она выделяет важные вехи в карьере отца и говорит о том, как его деятельность повлияла на жизнь их семьи. Вспоминает свое поступление в университет, поездку в США и возвращение на Родину....
В книге приведены примеры решения различных практических задач на языке Python и предложено детальное пошаговое описание процесса написания программы для каждой из них. Подобраны задачи, которые имеют несколько вариантов решений и формируют алгоритмическое мышление. Показаны основы структурного, динамического, объектно-ориентированного, функционального программирования. Приведены способы работы с...
В монографии систематизированы и обобщены состояние теории и современные методы оценки силового сопротивления железобетона. Приведены обзоры и рассмотрены структурные, технологические, статистические и феноменологические модели его поведения. Рассмотрены различные предложения по трансформированию диаграмм поведения бетона в различных условиях. Дано описание основных положений теории деградации...
ISBN: 978-5-16-014615-7
Издательство:
Инфра-М
Дата выхода: апрель 2019
Оставить комментарий