формулировка

  • 111ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН — один из важнейших законов формальной логики, состоящий в том, что для всякого высказывания А истинно по крайней мере одно из двух: само А или его отрицание. Был известен уже Аристотелю. См. Принцип исключенного третьего. Философская Энциклопедия …

    Философская энциклопедия

  • 112МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — полная математическая индукция (наз. в математике часто просто полной индукцией; в этом случае это понятие следует отличать от рассматриваемого в нематематич. формальной логике понятия полной индукции), – прием доказательства общих предложений в… …

    Философская энциклопедия

  • 113ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …

    Философская энциклопедия

  • 114ПРОТИВОРЕЧИЯ ЗАКОН — 1) Один из осн. принципов логич. рассуждения, согласно к рому никакое предложение не может быть одновременно истинным и ложным (или: не могут быть одновременно истинными нек рое предложение и его отрицание). 2) Тождественно истинная (см.… …

    Философская энциклопедия

  • 115ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… …

    Философская энциклопедия

  • 116КВАНТОВАЯ МЕХАНИКА — (волновая механика), теория, устанавливающая способ описания и законы движения микрочастиц (элем. ч ц, атомов, молекул, ат. ядер) и их систем (напр., кристаллов), а также связь величин, характеризующих ч цы и системы, с физ. величинами,… …

    Физическая энциклопедия

  • 117РЕШЁТКИ МЕТОД — в квантовой теории поля (КТП) метод проведениячисленных вычислений и анализа качественных свойств разл. моделей в осн …

    Физическая энциклопедия

  • 118ТЕПЛОВАЯ ТЕОРЕМА — (третье начало термодинамики), фундаментальное утверждение термодинамики, согласно к рому в любых изотермич. процессах, протекающих вблизи абс. нуля т ры, изменения энтропии системы не происходит, т. е. = 0. Энтропия конденсйр. фаз при Т:0 не… …

    Химическая энциклопедия

  • 119Механика — (греч. μηχανική  искусство построения машин)  область физики, изучающая движение материальных тел и взаимодействие между ними. Движением в механике называют изменение во времени взаимного положения тел или их частей в пространстве[1].… …

    Википедия

  • 120Закон Ома —     Классическая электродинамика …

    Википедия