Производство продукция молочная в Южный федеральный округ, Производство изделия швейные в Оренбурге, электрооборудование автотракторное во Владимирской области, ТЕПЛОВЫЕ ЭЛЕКТРОСТАНЦИИ в Электрогорске, Производство уголь коксующийся по регионам, материалы нерудные (щебень) в Коврове, промышленность в Нальчике, уголь бурый в Дальневосточный федеральный округ, ЛЕСОЗАГОТОВИТЕЛЬНАЯ ПРОМЫШЛЕННОСТЬ в Центральный федеральный округ, Производство установки воздухоразделительные в Московской области, Республика Тыва (Тува) АОЗТ "Тувинская судоходная компания", ЛЕСНАЯ ПРОМЫШЛЕННОСТЬ Промышленность, Производство метизы, предприятия СТАНКОСТРОИТЕЛЬНАЯ ПРОМЫШЛЕННОСТЬ, ЦВЕТНАЯ МЕТАЛЛУРГИЯ в Республика Северная Осетия-Алания, Катав-Ивановск предприятия, РЕМОНТ ПОДВИЖНОГО СОСТАВА ЖЕЛЕЗНЫХ ДОРОГ в Москве, энергия тепловая
А знаете ли Вы, что...
Из Большой Советской Энциклопедии.
Минимальная логика, логическая система, являющаяся ослаблением интуиционистской логики и конструктивной логики за счёт исключения из числа постулатов формулы ùА É (А É В) (интерпретируемой как «из противоречия следует всё что угодно»). Несмотря на недоказуемость этого логического принципа и тем более формулы ùù А É А («закона снятия двойного отрицания»), в минимальном исчислении высказываний (А. Н. Колмогоров, 1925, норвежский логик И. Иоганссон, 1936) можно доказать от противного отрицательные предложения, опираясь на «закон приведения к абсурду»: (А É В) É ((A É
|