1 неделю назад
Готфрид Вильгельм Лейбниц.
Го́тфрид Ви́льгельм Ле́йбниц[10][11][12][13] (Gottfried Wilhelm Leibniz или нем. Gottfried Wilhelm von Leibniz, МФА: [ˈɡɔtfʁiːt ˈvɪlhɛlm fɔn ˈlaɪbnɪts][14] или [ˈlaɪpnɪts][15]; 21 июня (1 июля) 1646 — 14 ноября 1716) — немецкий математик, механик, физик, юрист, историк, дипломат, изобретатель, философ, логик и языковед[10][11][13]. Основатель и первый президент Берлинской Академии наук[11][16][17], член Лондонского королевского общества (1673)[18], иностранный член Французской Академии наук[19][20]...
107 читали · 2 года назад
А = А
в традиционной логике обычный способ выражения для одного из четырех ее логических законов (см. Закон логический), а именно – закона тождества. Вхождение в этом выражении буквы А несущественно и обязано, по-видимому, особенности латинского алфавита. Равным образом для выражения того же закона можно было бы писать В = В, С = С и т.д. В современной логике (см. Логика символическая) традиционная нотация не используется. В логике высказываний она заменяется формулами (A ≡ A) или (А ⊃ А), где А – произвольное высказывание, а «≡» и «⊃» – пропозициональные логические связки...