About: dbkwik:resource/5TQ4l6Tm08i1RXstg0fmEg==   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

AttributesValues
rdfs:label
  • Доказательство от противного
rdfs:comment
  • Доказательство «от противного» в математике — один из самых часто используемых методов доказательства утверждений. Этот способ доказательства основывается на истинности формулы в классической логике и законе двойного отрицания. В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
  • Доказательство «от противного» () в математике — один из самых часто используемых методов доказательства утверждений. Доказательство от противного — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности законе двойного отрицания в классической логике.
dcterms:subject
dbkwik:ru.math/pro...iPageUsesTemplate
dbkwik:ru.science/...iPageUsesTemplate
abstract
  • Доказательство «от противного» в математике — один из самых часто используемых методов доказательства утверждений. Этот способ доказательства основывается на истинности формулы в классической логике и законе двойного отрицания. Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое по закону двойного отрицания равносильно утверждению . В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
  • Доказательство «от противного» () в математике — один из самых часто используемых методов доказательства утверждений. Доказательство от противного — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности законе двойного отрицания в классической логике. * Страница 0 - краткая статья * Страница 1 - энциклопедическая статья * Разное - на страницах: 2 , 3 , 4 , 5 * Прошу вносить вашу информацию в «Доказательство от противного 1», чтобы сохранить ее
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software