About: dbkwik:resource/NCrMn8IOBHNt10oUzBVBcg==   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
abstract
  • Закон исключённого третьего — закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два противоречивых суждения не могут быть одновременно ложными, одно из них необходимо истинно. Закон исключённого третьего является одним из основополагающих принципов современной математики. С интуиционистской (и в частности конструктивной) точки зрения установление истинности высказывания вида «А или не А» означает установление истинности или истинности его отрицания . Поскольку не существует общего метода, позволяющего для каждого высказывания за конечное число шагов установить его истинность или истинность его отрицания, закон исключенного третьего подвергается критике со стороны представителей интуиционистского и конструктивного направлений в основаниях математики.
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