hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Котис III
Котис III (др.-греч. Κότυς Γ', лат. Cotys III; III век до н. э.) — фракийский правитель Одрисского государства (около 260—240 до н. э.). Сын и наследник царя Рэйздоса.

О правлении Котиса III почти ничего не известно. В том числе, не сохранилось ни одной монеты с его именем. Вероятно, Котис III занимал престол Одрисского государства одновременно с царём Адаем, правившим, согласно нумизматическим данным, в середине III века до н. э. Преемником Котиса III был его сын Рескупорис I.

260 год до н. э.
260 (две́сти шестидеся́тый) год до на́шей э́ры по пролептическому юлианскому календарю — невисокосный год, начинающийся в среду. Это 260 год до нашей эры, 1‑й год 5‑го десятилетия III века 1‑го тысячелетия до н. э., 10‑й год 260‑х годов до н. э., четвёртый год 129-й олимпиады / первый год 130-й олимпиады (с июля), −259 год по астрономической годовой нумерации. Ему предшествовал 261 год до н. э., за ним следовал 259 год до н. э. Он закончился 2284 года назад.
Мера социальной защиты судебно-исправительного характера
Мера социальной защиты судебно-исправительного характера — понятие Уголовного кодекса РСФСР в редакции 1926 года и некоторых последующих редакций, а также местных уголовных кодексов советских республик. Поскольку в кодексе и сопутствующих нормативно-правовых актах советского уголовного законодательства не употреблялось вообще слово «наказание» (подразумевалось, что наказания были только при царском режиме для угнетённых классов, а при социалистическом строе наказаний для «освободившихся от буржуазного гнёта» классов быть не может), ему на смену и был введён этот юридический термин.

Наказание
Наказа́ние — применение каких-либо мер в отношении виновного в проступке или преступлении.

Наказание может использоваться для формирования у индивидуума социально приемлемой модели поведения и социальных поступков. Детей за проступки наказывают родители или заменяющие их лица, а также воспитатели и учителя. Работников за проступки на работе наказывают (дисциплинарное взыскание) работодатели или их представители. С военнослужащих взыскивают за их проступки командиры. Рабов и крепостных имели право наказывать их хозяева. За преступления предусмотрено уголовное наказание, применяемое по приговору суда.

При этом характер наказания в различных ситуациях может очень сильно разниться — от устного замечания и/или предупреждения до воздействия, коренным образом влияющего на жизнь человека, а то и вовсе лишающего его жизни в результате смертной казни.
Серно-магниевый элемент
Серно-магниевый элемент — резервный первичный химический источник тока, в котором анодом является магний, катодом — сера в смеси с графитом (до 10 %), а электролитом — раствор хлорида натрия. Сера быстро разрушается солевым электролитом, поэтому такие резервные элементы хранятся в сухом виде и заполняются электролитом лишь при необходимости.

На основе этой пары электродов специалистам исследовательского центра Toyota удалось создать аккумуляторную батарею с очень высокими характеристиками. Они применили новый тип электролита — ненуклеофильные частицы [Mg2(μ-Cl)36THF]+, не разрушающие катод из серы. Однако в аккумуляторе происходит процесс саморазряда — катод из серы подвергается электрохимическому восстановлению, в результате которого образуются полисульфидные анионы, переходящие в раствор, поэтому серно-магниевые аккумуляторы ещё не готовы к производству.

Катод
Катод (от греч. κάθοδος «ход вниз; возвращение») — электрод электронного или электротехнического прибора или устройства, характеризующийся тем, что движение электронов во внешней цепи направлено к нему.
Музей труда (Норрчёпинг)
Музей труда (швед. Arbetets museum) — музей, расположенный в Норрчёпинге, Швеция. Музей расположен в Strykjärn (Утюге), бывшей ткацкой фабрике в старой промышленной зоне на реке Муталастрём в центре города Норчёпинг. Бывшая текстильная фабрика Holmens Bruk работала в здании с 1917 по 1962 год.

Музей документирует работу и повседневную жизнь, собирая личные истории о профессиональной жизни людей как из прошлого, так и из настоящего. Архив музея содержит материалы из памятных коллекций и проектов документации.

С 2009 года в музее также находится EWK — Центр искусства политической иллюстрации, созданный по мотивам творчества сатирика Эверта Карлссона (1918 — 2004). На протяжении десятилетий он часто публиковался в шведском таблоиде Aftonbladet.

Aftonbladet
Aftonbladet (рус. «А̀фтонбла́дет»; со швед. — «Вечерняя газета») — шведская газета-таблоид. Крупнейшая ежедневная газета в Скандинавии и одна из крупнейших газет в странах Северной Европы.

Редакция «Афтонбладет» располагается в Стокгольме, а сама газета издаётся в формате таблоида.
Ирис Потанина
Ирис Потанина, или Касатик Потанина (лат. Iris potaninii), — вид травянистых растений рода Ирис (Iris) семейства Ирисовые (Iridaceae).

Вид назван в честь русского ботаника Григория Николаевича Потанина.

Потанин, Григорий Николаевич
Григо́рий Никола́евич Пота́нин (21 сентября [3 октября] 1835, Ямышевская крепость — 30 июня 1920, Томск) — русский исследователь, занимавшийся комплексными исследованиями Северной и Центральной Азии. Общественный деятель, один из основателей и крупнейший идеолог сибирского областничества.

Действительный член Императорского Русского географического общества (ИРГО). Почётный член ЗСОИРГО. Почётный член совета Томского технологического института (1905, утверждён в 1917). Почётный гражданин г. Томска (1915). Почётный гражданин Сибири (1918). Правитель дел Восточно-Сибирского отдела Русского географического общества (1887—1890).
Мёртвый сезон (фильм, 1975)
«Мёртвый сезон» (англ. Out of Season) — психологическая драма режиссёра Алана Бриджеса c Ванессой Редгрейв и Клиффом Робертсоном в главных ролях. Премьера фильма состоялась в Великобритании в июне 1975 года. В июле 1975 года кинокартина была показана на 25-м «Берлинском кинофестивале» в конкурсе «Золотой медведь».

Робертсон, Клифф
Клиффорд «Клифф» Паркер Робертсон III (англ. Clifford «Cliff» Parker Robertson III; 9 сентября 1923, Ла-Холья — 10 сентября 2011, Стоуни-Брук, Брукхейвен) — американский актёр, обладатель премии «Оскар» за главную роль в фильме «Чарли». Также известен ролью Бена Паркера в трилогии о Человеке-пауке.

Наиболее известен по участию в фильмах «Чарли» и «Три дня Кондора».
Любомирская, Розалия
Розалия Любомирская (пол. Rozalia Lubomirska, 16 сентября 1768, Чернобыль — 30 июня 1794, Париж) — польская аристократка литовско-белорусского происхождения. Упоминается как «Розалия из Чернобыля». Тёща Вацлава «Эмира» Жевуского.

Чернобыль
Черно́быль (укр. Чорно́биль — производное от растения «чернобыльник», или «полынь обыкновенная») — город в зоне отчуждения Чернобыльской АЭС, Вышгородский район Киевской области Украины. Расположен на реке Припять, недалеко от её впадения в Киевское водохранилище. Является заповедной зоной и охраняется законом.

Известен из-за аварии на Чернобыльской АЭС. До аварии в городе проживало около 13 тысяч человек. Согласно данным Всеукраинской переписи 2001 года Чернобыль наравне с Припятью отнесён к городам «без населения». В настоящее время в городе проживает порядка полутора тысяч человек: работники учреждений и предприятий Зоны отчуждения и безусловного гарантированного отселения Чернобыльской АЭС, работающие на вахтовой основе, и самосёлы (84 человека по данным ГП «ЦОТИЗ» на февраль 2017 года). Расстояние до Киева по прямой — 83 км, по автодорогам — 115 км. Расположен в 12 км юго-восточнее Чернобыльской АЭС. До 1986 года — административный центр Чернобыльского района.
Доказательство активности с ограниченным доверием
Доказательство активности с ограниченным доверием (англ. Limited Confidence Proof-of-Activity (LCPoA)) — метод защиты цепочки блоков в блокчейн системах, основанный на модификации алгоритма Proof-of-Work, в сторону уменьшения расхода вычислительных ресурсов — требуется подбор хеша блока, но в качестве дополнительного значения nonce используется текущая метка времени .

Unix-время
Unix-время (англ. Unix time, также POSIX-время) — система описания моментов во времени, принятая в Unix и других POSIX-совместимых операционных системах. Определяется как количество секунд, прошедших с полуночи (00:00:00 UTC) 1 января 1970 года (четверг); этот момент называют «эпохой Unix» (англ. Unix Epoch).
Кирхнер, Вильгельм
Вильгельм Кирхнер (нем. Wilchelm Kirchner; 9 июля 1848, Гёттинген — 22 августа 1921, Лейпциг) — немецкий зоотехник, профессор, известный трудами по молочному хозяйству.

Был ассистентом в сельскохозяйственном институте при университете в Галле, затем перешёл заведующим опытной станцией по молочному хозяйству в Киле, позже был профессором почвоведения и молочного хозяйства в Галле и наконец (в 1890) ректором и профессором в сельскохозяйственном институте при Лейпцигском университете.

Автор сочинений:

«Untersuchungen über den Pflanzenschleim» (1874),

«Beitrag zur Kenntniss der Kuhmilch» (1877),

«Bericht über die internationelle Molkerei-Ausstellung in Hamburg» (1878),

«Rationelle Behandlung der Milch» (1881),

«Handbuch der Milchwirthschaft» (3 изд., 1891)

«Über die gegenwärtigen Arien der Milchverwerthung etc.» (1892) и др. С 1882

редактировал еженедельный журнал «Landwirthschaftliche Post».

Галле (город, Германия)
Га́лле, иногда Ха́лле (нем. Halle, в.-луж. Hala (Solawa)) — город в Германии, расположенный на реке Зале.

Наряду с Магдебургом является крупнейшим по численности населения городом земли Саксония-Анхальт: по состоянию на 2016 год в нём проживало около 240 тысяч человек.
Pinus orizabensis
Pínus orizabensis (лат.) — вид хвойных деревьев рода Сосна (Pinus), эндемик центральной Мексики. Часто рассматривается также как подвид сосны кедровидной (Pinus cembroides).

Ареал ограничивается небольшой территорией в восточной части Транс-Мексиканского вулканического пояса, в штатах Пуэбла и Веракрус. Произрастает на высоте 2200—2800 метров над уровнем моря, в более прохладном и влажном климате, чем другие сосны пиньонских видов.

Веракрус (штат)
Веракру́с (исп. Veracruz), официальное наименование: Веракрус-де-Игнасио-де-ла-Льяве (исп. Veracruz de Ignacio de la Llave, [beɾaˈkɾuθ ðe iɣˈnaθjo ðe la ˈʎaβe]) — один из 31 штатов Мексики. Территория штата Веракрус составляет 72 815 км². Административный центр — город Халапа-Энрикес.
Ландель-э-Купиньи
Ланде́ль-э-Купиньи́ (фр. Landelles-et-Coupigny) — коммуна во Франции, находится в регионе Нижняя Нормандия. Департамент коммуны — Кальвадос. Входит в состав кантона Сен-Севе-Кальвадос. Округ коммуны — Вир.

Код INSEE коммуны — 14352.

Вир (округ)
Вир (фр. Vire) — округ (фр. Arrondissement) во Франции, один из округов в регионе Нижняя Нормандия. Департамент округа — Кальвадос. Супрефектура — Вир-Норманди.
Население округа на 2018 год составляло 71 601 человек. Плотность населения составляет 59 чел./км². Площадь округа составляет 1221,60 км².
Белла-Тола
Белла-Тола — гора в швейцарских Пеннинских Альпах, возвышающаяся над деревней Сен-Люк в кантоне Вале, расположенная недалеко от северного окончания горной цепи Вайсхорна. Имея высоту 3025 м над уровнем моря, Белла-Тола является самой высокой вершиной в субрегионе к северу от перевала Мейдпас (2790 м).

На её северном склоне находится небольшой ледник Белла-Тола-Глетчер.

Также вершина этой горы является популярной смотровой площадкой, до которой можно добраться несколькими тропами.

Вале (кантон)
Вале́, также Ва́ллис (фр. Valais, нем. Wallis, итал. Vallese, романш. Vallais, франкопров. Valês) — двуязычный (62,8 % населения говорят по-французски, 28,4 % по-немецки) кантон на юго-западе Швейцарии. Административный центр — город Сьон.

Население — 371 288 человек (8-е место среди кантонов; по состоянию на 31 декабря 2024).
Уилсон, Эдвард
Эдвард Уилсон:

Уилсон, Эдвард Адриан (1872—1912) — британский зоолог и полярный путешественник.

Уилсон, Эдвард Осборн (1929—2021) — американский биолог, мирмеколог, писатель, дважды лауреат Пулитцеровской премии.

Уилсон, Эдвард Адриан
Э́двард А́дриан Уи́лсон (англ. Edward Adrian Wilson; 23 июля 1872 — 29 марта 1912) — британский полярный исследователь, учёный-зоолог, орнитолог и врач-физиолог, художник. Участник двух антарктических экспедиций Роберта Скотта. Его иллюстрации к труду Хэмилтона A History of British Mammals считаются классическими.
Открытый чемпионат Франции по теннису 2015 в смешанном парном разряде
Бетани Маттек-Сандс и Майк Брайан — победители турнира.

Прошлогодние чемпионы — Анна-Лена Грёнефельд и Жан-Жюльен Ройер — защищали свой титул и выбили с турнира первых номеров посева Саню Мирзу и Бруно Соареса, однако во втором раунде проиграли Чжань Юнжань и Джону Пирсу.

Брайан, Майк
Майкл (Майк) Карл Брайан (англ. Michael «Mike» Carl Bryan; род. 29 апреля 1978, Камарильо, Калифорния, США) — американский профессиональный теннисист, один из сильнейших парных игроков начала XXI века, бывшая первая ракетка мира в парном рейтинге. Обладатель некалендарного Золотого шлема в мужском парном разряде (2012/13), 18-кратный победитель турниров Большого шлема в мужском парном разряде, четырёхкратный — в смешанном парном разряде, пятикратный победитель итогового чемпионата АТР (2003, 2004, 2009, 2014, 2018), обладатель Кубка Дэвиса (2007) в составе национальной сборной США. Рекордсмен АТР-тура по времени пребывания на первом месте в рейтинге игроков в парном разряде, старейший теннисист, когда-либо возглавлявший рейтинг ATP. Член Международного зала теннисной славы с 2025 года.
Аркарлинское месторождение
Аркарлинское месторождение — месторождение золотых руд, близ Аркарлинских гор, на территории Кербулакского района Алматинской области. Разведано и оценено в 1955 году. По сведениям археологов, добыча золота велась с древнейших времён. Руды залегают на южном крыле Аркарлинской антиклинали. Золото-кварцевые жилы мощностью 0,5—0,3 м, длина 150—160 м. Рудные тела состоят из кварца, адуляра, хлорита, встречаются также пирит, сфалерит, галенит, гематит и другие. Золото в виде микрочастиц, мелких крупинок или дендрита. Добыча в рудниках и карьерах.

Кварц
Кварц (нем. Quarz ← древнепольск. kwardy) — один из самых распространённых минералов в земной коре, породообразующий минерал большинства магматических и метаморфических пород. Свободное содержание в земной коре — 12 %. Входит в состав других минералов в виде смесей и силикатов.

Химическая формула: SiO2 (является полиморфной модификацией диоксида кремния).
Ульрих Вюртембергский (1877—1944)
Ульрих Мария Людвиг Филипп Иосиф Вюртембергский (нем. Ulrich  Maria Ludwig Philipp Joseph von Württemberg; 13 июня 1877, Гмунден — 13 июня 1944, Альтсхаузен) — герцог Вюртембергский, представитель католической линии Вюртембергского дома, немецкий офицер.

Вюртембергский дом
Вюртембергский дом или Дом Вюртемберг, Дом Вюртембергов — название нескольких ветвей (линий) швабского королевского дома, имеющий свои корни в окружении Салиев, правил Вюртембергом с конца XII века до 1918 года.
Луфэн
Луфэн:

Луфэн — геологическая формация в провинции Юньнань возрастом около 199,6—175,6 млн лет.

Луфэн — городской уезд в городском округе Шаньвэй провинции Гуандун (КНР).

Луфэн — городской уезд в Чусюн-Ийском автономном округе провинции Юньнань (КНР).

Луфэн — нефтяное месторождение в Южнокитайском море.

Луфэн (месторождение)
Луфэн, или Блок 22-1 (англ. Lufeng) — нефтяное месторождение в Китае. Расположено в Южно-Китайском море, к юго-востоку от Гонконга.

Освоение началось в 1997 году. Начальные запасы нефти оценивались в 50 млн тонн. Выведено из разработки в 2009 году.

Месторождение Луфэн 22-1 стало первым нефтяным месторождением, выведенным из эксплуатации в Китае. Statoil принадлежат 75 % доля месторождения, остальным владеет китайская CNOOC.
Чопко (приток Аганыли)
Чопко — река в Эвенкийском районе Красноярского края России, правый приток Аганыли (бассейн Хатанги). Длина реки — 129 км, площадь водосборного бассейна — 2140 км².

Исток реки находится на Анабарском плато, на высоте более 578 м над уровнем моря, к юго-западу от истока реки Илья. Течёт преимущественно в юго-западном и южном направлении. Русло участками заболочено. Протекает по незаселённой местности, сперва по горной тундре, затем на берегах преобладает лиственничная тайга. Впадает в Аганыли справа в 57 км от её устья, на высоте менее 174 м над уровнем моря. В нижнем течении ширина русла составляет 40 м при глубине 1,1 м, скорость течения — 0,6 м/с.

Основной приток — река Батагай (правый).

Тайга
Тайга́ — биом, характеризующийся преобладанием хвойных лесов, образованных в основном бореальными видами ели, пихты, лиственницы и сосны. Словом «тайга» обозначают также одну из географических подзон северного умеренного пояса. В неарктическом сегменте (Северная Америка) тайгу называют «северным лесом» или «снежным лесом».
Дьенеш, Ласло
Ласло Дьенеш (Диенеш, венг. Dienes László; 27 марта 1889 — 5 апреля 1953) — венгерский социолог, филолог, эссеист, библиограф, библиотекарь, университетский профессор и коммунистический активист. Брат математика, философа, лингвиста и тоже коммуниста Пала Дьенеша, муж учёной-химика Ирен Юлии Гётц — первой женщины, преподававшей в венгерском университете.

Эссеист
Эссеи́ст — автор эссе; то есть литературных произведений, основанных на спонтанном осмыслении личного опыта, выражении личного мнения, внутреннем диалоге с читателем.

В английском языке слово «эссеист» (англ. essayist) впервые использовал английский поэт и драматург Бен Джонсон в 1609 году.
Moncler
Moncler — итальянская компания, производитель одежды, обуви и других изделий, основана в 1952 году Рене Рамильоном. Наиболее популярной продукцией являются куртки и спортивная одежда. Слово Moncler — это аббревиатура названия города Монестье-де-Клермон, расположенного во французских Альпах.

В 2003 году бренд приобрёл итальянский предприниматель Ремо Руффини. Флагманский магазин Moncler располагается на улице Фобур Сент-Оноре в Париже.

Фобур-Сент-Оноре
Фобу́р-Сент-Оноре́ (фр. Rue du Faubourg Saint-Honoré — «улица предместья святого Гонория») — улица в VIII округе Парижа (не путать с улицей Сент-Оноре в 1-м и 8-м округах города), берущая начало у пересечения с улицей Рояль. Длиной 2070 м, она заканчивается у площади Терн.

Известна главным образом тем, что здесь располагаются магазины известных парижских домов высокой моды. Здесь же находится Елисейский дворец — резиденция президента Франции, министерство внутренних дел, другие государственные учреждения, а также антикварные магазины и художественные галереи.
Нарывник двупятнистый
Нарывник двупятнистый (лат. Apalus bimaculatus) — вид жуков-нарывников из подсемейства Nemognathinae. Распространён в Европе, Средиземноморье, на Украине, юге Европейской части России, в Казахстане, Турции и Туркмении. Обитают в лесостепях. Активны в дневное время суток; питаются на цветках бурачка. Длина тела имаго 10—12 мм. Тело чёрное, блестящее. Надкрылья соломенно-жёлтые, небольшим чёрным округлым пятном у вершины, иногда отсутствует.

Надкрылья
Надкрылья, или элитры (лат. elytrae) — передняя, видоизменённая пара крыльев у жуков и некоторых клопов, прикрывающая сложенные на спине задние крылья.

У жуков надкрылья сильно склеротизированы, почти без следов жилкования. Как правило, покрывают брюшко полностью либо бывают укороченными (мертвоеды, стафилиниды).

Утрачивают функцию активных органов полёта (становясь лишь несущими плоскостями) или вовсе не участвуют в нём (бронзовки) и выполняют защитную функцию.

У жуков с редуцированными крыльями (пустынные жуки, усачи Dorcadion) надкрылья могут срастаться.
Раговой, Джерри
Джерри Раговой (4 сентября 1930 — 13 июля 2011) — американский поэт, автор песен и продюсер.

Его самое известное произведение — песня Time Is on My Side (написанная под авторским псевдонимом Норман Мид) — стала известной после исполнения Rolling Stones, хотя была до этого исполнена Каем Уиндингом и Ирмой Томас. Раговой также написал Stay with Me, сначала исполненную Лоррэйн Эллисон, а затем Мэри Джей Блайдж.

Раговой был важной закулисной фигурой соул-музыки Восточного побережья США, и написал (один или в соавторстве) несколько произведений, ставшими классикой нью-йоркского и филадельфийского соула 1960-х годов, часто их можно отличить по заметному в них влиянию госпел-музыки. Лучшие из них включают в себя Cry Baby в исполнении Гарнета Миммса, Piece of My Heart, исполненную Эрмой Франклин; Get It While You Can, исполненную Ховардом Тейтом — все эти песни позже будет исполнять Дженис Джоплин.

Томас, Ирма
Ирма Томас (англ. Irma Thomas), в девичестве Ирма Ли (англ. Irma Lee); род. 18 февраля 1941, Пончатула, Луизиана, США) — американская блюзовая и соул-певица, автор песен. Лауреат Грэмми в номинации «Лучший альбом современного блюза» (2007), номинант на Грэмми (1992, 1999, 2009). Лауреат Blues Music Awards в номинациях «Исполнительница соул-блюза» (1995, 1997, 2007, 2008, 2010, 2011, 2013, 2014), «Альбом соул-блюза» (2001, 2007, 2009), номинант Blues Music Awards в номинациях «Исполнительница соул-блюза» (1998—2003, 2006, 2009), «Артистка года» (1995), «Исполнительница современного блюза» (1989, 1991, 1999), «Альбом современного блюза» (1999), «Альбом года» (2007). Введена в Зал славы блюза (2009). Сингл певицы «Time Is on My Side» 1964 года введён в Зал славы рок-н-ролла (2020). Введена в Зал славы музыки Луизианы (2007). Носит неофициальный титул Королевы соул Нового Орлеана.
Столовая
Столо́вая — предприятие общественного питания. Общедоступные столовые обслуживают всех желающих во время работы заведения.

Все блюда в столовых готовят заранее, а не по индивидуальному заказу как в ресторане. Распространённой формой обслуживания посетителей является самообслуживание. Специализированные столовые открыты по месту учёбы, работы, службы, лечения или отдыха людей. Режим посещения столовых может быть свободным, либо установленным по расписанию, с возможностью сервировки столов на определённое количество человек.

Сервировка
Сервировка (фр. servir > лат. servire — служить) — обширное понятие кулинарной культуры, включающее в себя процесс накрытия и оформление стола для принятия пищи, совокупность посуды, столовых приборов и блюд на столе, порядок их расположения, способы подачи блюд и их внешнее оформление. Важная составляющая работы предприятий общепита.

По способу подачи блюд различают:

Русская сервировка — блюда заранее раскладываются по тарелкам и подаются на стол.

Английская сервировка — обслуживающий персонал раскладывает блюда по тарелкам прямо на обеденном столе.

Шведский стол или Французская сервировка — все блюда разом выставляются на стол, а гости сами выбирают их и накладывают себе в тарелку.

Правила подачи зависят от категории блюд и напитков — закуски, супы, вторые блюда, сладкие блюда (десерты), чай, кофе, вино.
Символическая логика
Символическая логика — область логики, которая отодвигает на второй план математику, и изучает чисто формальные свойства символов, представленных в виде строк. С точки зрения философской логики, символы рассматриваются как обозначения слов. А с точки зрения информатики, символы, рассматриваемые по правилам символической логики, являются элементами вычислительного процесса обработки данных.

Состоит из двух разделов, логики высказываний и логики первого порядка. К другим формам относятся темпоральная, модальная и нечёткая логика.

Символическая логика исследует закономерности, в которых логическая форма высказываний рассматривается с использованием символов в качестве инструментов. Вместо явных высказываний изучаются логические формулы, которые являются символическим представлением высказываний, в частности, составных. Правила рассуждений и логики изучаются с помощью формальных систем, которые образуют хорошую основу для символьных преобразований, выполняемых в этой области.

Высказывание (логика)
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.

Высказывание должно быть повествовательным предложением, и противопоставляется повелительным, вопросительным и любым другим предложениям, оценка истинности или ложности которых невозможна.