Архімеда закон 1/473, 496; 2/537; 3/473, 474
Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)
Ома закон 6/256; 7/568; 8/309; 10/122, 265
Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)
Кулона закон 1/550; 6/188, 521; 11/432, 443, 446, 527
Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)
Гука закон 4/79, 371, 600; 7/287; 8/583; 10/122
Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)
Супярэчнасці закон 1/235; 3/189; 4/153; 10/123, 264, 542
Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)
Тоеснасці закон 1/41; 3/189; 4/153, 342; 10/264, 542
Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)
ЛАГІ́ЧНЫ ЗАКО́Н,
любое сапраўднае лагічнае сцвярджэнне. Да Л.з. адносяцца законы логікі выказванняў (напр., закон несупярэчнасці, закон выключанага трэцяга, закон ускоснага доказу) або логікі прэдыкатаў. Напр., у выраз «няправільна, што р і не-р адначасова верныя» (закон несупярэчнасці) замест пераменнай р трэба падставіць выказванне; усе вынікі такіх падстановак уяўляюць сабой сапраўдныя выказванні (напр., «няправільна, што 11 — просты лік і разам з тым не з’яўляецца простым»). Кожная з лагічных сістэм утрымлівае бясконцае мноства Л.з. і ўяўляе сабой абстрактную знакавую мадэль, якая дае апісанне якога-н. пэўнага фрагмента або тыпу разважанняў. На фармалізаванай мове логікі ўсякі яе закон — гэта заўсёды сапраўдная, правільна пабудаваная формула; можна пабудаваць бясконцае мноства такіх формул, але Л.з. лічаць толькі тыя з іх, якія інтэрпрэтаваны на пазнаючае чалавечае мысленне. Гл. таксама Інтуіцыянізм.
В.М.Пешкаў.
т. 9, с. 89
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)