In the next example, we consider a complete deductive proof of a simple theorem that uses Theorem 1.
Deductive proof means that one must follow from the other.
3 Yet, lest the readers of the present treatise should have to seek elsewhere those points, which especially concern it, I have determined to explain them here again, and give a deductive proof of them.
Но для того, чтобы читающие этот трактат не имели нужды искать в других сочинениях то, что составляет существо настоящего, я решил вновь выяснить это здесь и обстоятельно доказать.
Insisting of Greeks on the deductive proof was extraordinary step.
The first deductive proof in mathematical literature was the Greek thinker Thales's calculation of the height of the Great Pyramid.
Each step in the proof must follow, by some accepted logical principle, from either the given facts, or some of the previous statements in the deductive proof, or a combination of these.
Каждый шаг дедуктивного доказательства делается в соответствии с некоторыми допустимыми логическими принципами на основании либо известных фактов, либо предыдущих утверждений, либо комбинации тех и других.
Other results
In varying degrees, deductive proofs characteristic of the axiomatic method have been applied in many disciplines.
Like contemporary Western philosophical theology, 'Allamah's theology makes use of careful definitions, deductive proofs, and fine distinctions among rival positions.
Как и в современной западной философской теологии, в теологии алламе используются осторожные определения, дедуктивные доказательства и тонкие различия между конкурирующими позициями.
We cover deductive proofs, reformulating statements, proofs by contradiction, proofs by induction, and other important concepts.
The exaggerated claims of rationalist philosophers to be in possession of deductive proofs for religious claims which must be accepted by all reasonable persons invites the response that given the fact that atheists seem to be no worse at logic than theists, faith must be independent of reason.
Преувеличенные претензии философов-рационалистов на обладание дедуктивными доказательствами религиозных утверждений, которые должны быть приняты всеми разумными людьми, приводят к ответу, что, поскольку атеисты, как видим, ничем не уступают теистам в логике, вера должна быть независима от разума.
known through deductive proofs.
Descartes believed that the deductive form of the proof rests on axioms, the latter are comprehended purely intuitively, without any proof.
Instead of suggesting, hypothesizing, pondering, or puzzling, Rothbard had offered axiomatic-deductive arguments and proofs.
Вместо того чтобы предполагать, выдвигать гипотезы, размышлять, решать головоломки, Ротбард предложил аксиоматико-дедуктивные аргументы и доказательства.