Список логічних символів: відмінності між версіями

[неперевірена версія]

← Попереднє редагування Наступне редагування →

Вилучено вміст Додано вміст

Лінійно

Версія за 13:06, 11 травня 2016

У логіці, набір символів зазвичай використовується, щоб висловити логічне представлення. Оскільки логіки знайомі з цими символами, вони не пояснюють їх кожен раз при використанні. Для студентів, що вчать логіку, наступна таблиця дає пояснення більшості логічних символів. Крім того, третій стовпчик містить неформальне визначення, п'ятий і шостий дають код Unicode та ім'я для використання в HTML документах^[1]. Останній стовпчик дає символ в системі LaTeX.

Слід пам'ятати, що, поза логікою, різні символи мають однаковий зміст, тоді як один і той самий символ має, в залежності від контексту, різні значення.

Базові логічні символи

Символ	Назва	Пояснення	Приклад	Unicode	HTML	LaTeX
	Читати як
	Kategorie
⇒ → ⊃	Матеріальна імплікація	A ⇒ B правильно, тільки тоді коли A неправильно, або B правильно. → може значити те саме, що ⇒ (символ може також вказувати область визначення і область значення функції, див. таблицю математичних символів) ⊃ може значити те саме, що ⇒ (символ може також значити надмножину).	x = 2 ⇒ x² = 4 вірно, але x² = 4 ⇒ x = 2, в загальному випадку, невірн(поскольку x может быть равен −2).ві	U+21D2 U+2192 U+2283	⇒ → ⊃	$\Rightarrow$ \Rightarrow $\to$ \to $\supset$ \supset $\implies$ \implies
	з .. виходить; якщо .. то
	Логіка висловлювань. Алгебра Гейтинга
⇔ ≡ ↔	Тогда и только тогда	A ⇔ B истинно, только если оба значения A и B ложны, либо оба истинны.	x + 5 = y + 2 ⇔ x + 3 = y	U+21D4 U+2261 U+2194	⇔ ≡ ↔	$\Leftrightarrow$ \Leftrightarrow $\equiv$ \equiv $\leftrightarrow$ \leftrightarrow $\iff$ \iff
	тогда и только тогда
	логика высказываний
¬ ˜ !	отрицание	Утверждение ¬A истинно тогда и только тогда, кода A ложно. Знак /, расположенный поверх другого оператора, означает то же самое, что «¬», помещённое перед выражением.	¬(¬A) ⇔ A x ≠ y ⇔ ¬(x = y)	U+00AC U+02DC	¬ ˜ ~	$\neg$ \lnot или \neg $\sim$ \sim
	not (не)
	логика высказываний
∧ • &	конъюнкция	Утверждение A ∧ B истинно, если и A, и B истинны, и ложно в противном случае.	n < 4 ∧ n >2 ⇔ n = 3, если n — натуральное число.	U+2227 U+0026	∧ &	$\wedge$ \wedge или \land \&^[2]
	and (и)
	логика высказываний, Булева алгебра
∨ + ǀǀ	логическая дизъюнкция	Утверждение A ∨ B верно, если A или B (или оба) верны. Если оба не верны, утверждение неверно.	n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3 когда n является натуральным числом.	U+2228	∨	$\lor$ \lor или \vee
	or (или)
	логика высказываний, Булева алгебра
⊕ ⊻	исключающее или	Утверждение A ⊕ B верно, когда либо A, либо B верно, но не оба. A ⊻ B означает то же самое.	(¬A) ⊕ A всегда верно, A ⊕ A всегда неверно.	U+2295 U+22BB	⊕	$\oplus$ \oplus $\veebar$ \veebar
	xor
	логика высказываний, Булева алгебра
⊤ T 1	Тавтология	Утверждение ⊤ безусловно верно.	A ⇒ ⊤ всегда верно.	U+22A4	T	$\top$ \top
	верх
	логика высказываний, Булева алгебра
⊥ F 0	Противоречие	Утверждение ⊥ безусловно неверно.	⊥ ⇒ A всегда верно.	U+22A5	⊥ F	$\bot$ \bot
	ложь, неверно, ошибочно
	логика высказываний, Булева алгебра
∀ ()	Квантор всеобщности	∀ x: P(x) или (x) P(x) означает P(x) верно для всех x.	∀ n ∈ ℕ: n² ≥ n.	U+2200	∀	$\forall$ \forall
	для любого; для всех
	Логика первого порядка
∃	Квантор существования	∃ x: P(x) означает, что существует по меньшей мере один x, такой, что P(x) верно.	∃ n ∈ ℕ: n чётно.	U+2203	∃	$\exists$ \exists
	существует
	логика первого порядка
∃!	Единственность	∃! x: P(x) означает, что существует ровно один x, такой, что P(x) верно.	∃! n ∈ ℕ: n + 5 = 2n.	U+2203 U+0021	∃ !	$\exists !$ \exists !
	существует в точности один
	логика первого порядка
:= ≡ :⇔	означення	x := y або x ≡ y означає x визначається як інша назва для y (але врахуйте, що ≡ може також означати інші речі, такі як конгуренція). P :⇔ Q означає P визначається як логічна еквівалентність to Q.	cosh x := (1/2)(exp x + exp (−x)) A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B)	U+2254 (U+003A U+003D) U+2261 U+003A U+229C	:= : ≡ ⇔	$:=$ := $\equiv$ \equiv $\Leftrightarrow$ \Leftrightarrow
	визначається як
	всюди
()	Пріоритет угруповання	Виконайте операції всередині дужок першими.	(8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1, but 8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4.	U+0028 U+0029	()	$(~)$ ()
	дужки
	всюди
⊢	Турнікет	x ⊢ y означає y доказується від x (у деякій заданих формальних системах).	A → B ⊢ ¬B → ¬A	U+22A2	⊢	$\vdash$ \vdash
	доказовий
	Числення висловлень, Логіка першого порядку
⊨	Подвійний турнікет	x ⊨ y означає x семантично тягне y	A → B ⊨ ¬B → ¬A	U+22A8	⊨	$\models$ \models
	тягне за собою
	Числення висловлень, Логіка першого порядку

Див. також

Таблиця математичних символів

Посилання

Named character entities in HTML 4.0 (англ.)

↑ HTML 5.1: 8. The HTML syntax#the-html-syntaxReferenced in:9. The XHTML syntax. www.w3.org. Процитовано 11 травня 2016.
↑ Хотя этот символ доступен в LaTeX, система MediaWiki TeX его не поддерживает.

[1] HTML 5.1: 8. The HTML syntax#the-html-syntaxReferenced in:9. The XHTML syntax. www.w3.org. Процитовано 11 травня 2016.

[2] Хотя этот символ доступен в LaTeX, система MediaWiki TeX его не поддерживает.

[1]

[2]

@@ Рядок 1: / Рядок 1: @@
+У [[логіка|логіці]], набір символів зазвичай використовується, щоб висловити логічне представлення. Оскільки логіки знайомі з цими символами, вони не пояснюють їх кожен раз при використанні. Для студентів, що вчать логіку, наступна таблиця дає пояснення більшості логічних символів. Крім того, третій стовпчик містить неформальне визначення, п'ятий і шостий дають код Unicode та ім'я для використання в HTML документах<ref>{{Cite web|url=http://www.w3.org/html/wg/drafts/html/master/syntax.html#named-character-references|title=HTML 5.1: 8. The HTML syntax#the-html-syntaxReferenced in:9. The XHTML syntax|website=www.w3.org|accessdate=2016-05-11}}</ref>. Останній стовпчик дає символ в системі LaTeX.
-У [[логіка|логіці]], набір символів зазвичай використовується, щоб висловити логічне представлення. Слід пам'ятати, що, поза логікою, різні символи мають однаковий зміст, тоді як один і той самий символ має, в залежності від контексту, різні значення.
+Слід пам'ятати, що, поза логікою, різні символи мають однаковий зміст, тоді як один і той самий символ має, в залежності від контексту, різні значення.
 == Базові логічні символи ==
 {{Розширити розділ|дата=квітень 2014}}
 {| class="wikitable"
+! rowspan="3" align="center" |<div style="font-
-|- bgcolor=#a0e0a0
-! rowspan="3" align=center|<div style="font-
 size:150%;">Символ</div>
-!align=left|Назва
+! style="text-align:left;" |Назва
 ! rowspan="3" |Пояснення
 ! rowspan="3" |Приклад
@@ Рядок 13: / Рядок 14: @@
 ! rowspan="3" |HTML
 ! rowspan="3" |[[LaTeX]]
-|- bgcolor=#a0e0a0
+|- bgcolor="#a0e0a0"
-!align=center|Читати як
+!Читати як
-|- bgcolor=#a0e0a0
+|- bgcolor="#a0e0a0"
-!align=right|Category
+! style="text-align:right;" |Category
+|-
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">⇒
+→
+⊃</div>
+|Матеріальна імплікація
+| rowspan="3" |''A'' ⇒ ''B'' правильно, тільки тоді коли ''A'' неправильно, або ''B'' правильно.
+→ може значити те саме, що ⇒
+(символ може також вказувати область визначення і область значення функції, див. таблицю математичних символів)
+⊃ може значити те саме, що  ⇒
+(символ може також значити надмножину).
+| rowspan="3" |''x'' = 2  ⇒  ''x''<sup>2</sup> = 4 вірно, але ''x''<sup>2</sup> = 4   ⇒  ''x'' = 2, в загальному випадку, невірн(поскольку ''x'' может быть равен −2).ві
+! rowspan="3" |U+21D2
+U+2192
+U+2283
+! rowspan="3" |⇒
+&rarr;
+&sup;
+! rowspan="3" |<div><math>\Rightarrow</math>\Rightarrow
+<math>\to</math>\to<math>\supset</math>\supset
+<math>\implies</math>\implies
+</div>
+|-
+| align="center" |з .. виходить; якщо .. то
+|-
+| align="right" |Логіка висловлювань.
+Алгебра Гейтинга
+|-
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">⇔
+≡
+↔</div>
+|[[:ru:Тогда_и_только_тогда|Тогда и только тогда]]
+| rowspan="3" |''A'' ⇔ ''B'' истинно, только если оба значения ''A'' и ''B'' ложны, либо оба истинны.
+| rowspan="3" |''x'' + 5 = ''y'' + 2  ⇔  ''x'' + 3 = ''y''
+! rowspan="3" |U+21D4
+U+2261
+U+2194
+! rowspan="3" |⇔
+&equiv;
+&harr;
+! rowspan="3" |<div><math>\Leftrightarrow</math>\Leftrightarrow
+<math>\equiv</math>\equiv<math>\leftrightarrow</math>\leftrightarrow
+<math>\iff</math>\iff
+</div>
+|-
+| align="center" |тогда и только тогда
+|-
+| align="right" |[[:ru:Логика_высказываний|логика высказываний]]
+|-
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">¬
+˜
+<nowiki>!</nowiki></div>
+|[[:ru:Отрицание|отрицание]]
+| rowspan="3" |Утверждение ¬''A'' истинно тогда и только тогда, кода ''A'' ложно.
+Знак /, расположенный поверх другого оператора, означает то же самое, что «¬», помещённое перед выражением.
+| rowspan="3" |¬(¬''A'') ⇔ ''A''
+''x'' ≠ ''y''  ⇔  ¬(''x'' = ''y'')
+! rowspan="3" |U+00AC
+U+02DC
+! rowspan="3" |¬
+&tilde;
+~
+! rowspan="3" |<div><math>\neg</math>\lnot или \neg
+<math>\sim</math>\sim
+</div>
+|-
+| align="center" |not (не)
+|-
+| align="right" |[[:ru:Логика_высказываний|логика высказываний]]
+|-
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">∧
+•
+&</div>
+|[[:ru:Конъюнкция|конъюнкция]]
+| rowspan="3" |Утверждение ''A'' ∧ ''B'' истинно, если и ''A'', и ''B'' истинны, и ложно в противном случае.
+| rowspan="3" |''n'' < 4  ∧  ''n'' >2  ⇔  ''n'' = 3, если ''n'' — [[:ru:Натуральное_число|натуральное число]].
+! rowspan="3" |U+2227
+U+0026
+! rowspan="3" |∧
+&amp;
+! rowspan="3" |<math>\wedge</math>\wedge или \land
+\&<ref>Хотя этот символ доступен в LaTeX, система [[MediaWiki]] TeX его не поддерживает.</ref>
+|-
+| align="center" |and (и)
+|-
+| align="right" |[[:ru:Логика_высказываний|логика высказываний]], [[:ru:Булева_алгебра|Булева алгебра]]
+|-
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">∨
++
+ǀǀ</div>
+|[[:ru:Дизъюнкция|логическая дизъюнкция]]
+| rowspan="3" |Утверждение ''A'' ∨ ''B'' верно, если ''A'' или ''B'' (или оба) верны. Если оба не верны, утверждение неверно.
+| rowspan="3" |''n'' ≥ 4  ∨  ''n'' ≤ 2  ⇔ ''n'' ≠ 3 когда ''n'' является [[:ru:Натуральное_число|натуральным числом]].
+! rowspan="3" |U+2228
+! rowspan="3" |∨
+! rowspan="3" |<math>\lor</math>\lor или \vee
+|-
+| align="center" |or (или)
+|-
+| align="right" |[[:ru:Логика_высказываний|логика высказываний]], [[:ru:Булева_алгебра|Булева алгебра]]
+|-
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">⊕
+{{Unicode|⊻}}</div>
+|[[:ru:Сложение_по_модулю_2|исключающее или]]
+| rowspan="3" |Утверждение ''A'' ⊕ ''B'' верно, когда либо A, либо B верно, но не оба. ''A'' {{Unicode|⊻}} ''B'' означает то же самое.
+| rowspan="3" |(¬''A'') ⊕ ''A'' всегда верно, ''A'' ⊕ ''A'' всегда неверно.
+! rowspan="3" |U+2295
+U+22BB
+! rowspan="3" |⊕
+! rowspan="3" |<math>\oplus</math>\oplus
+<math>\veebar</math>\veebar
+|-
+| align="center" |xor
+|-
+| align="right" |[[:ru:Логика_высказываний|логика высказываний]], [[:ru:Булева_алгебра|Булева алгебра]]
+|-
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">⊤
+T
+</div>
+|[[:ru:Тавтология_(логика)|Тавтология]]
+| rowspan="3" |Утверждение ⊤ безусловно верно.
+| rowspan="3" |''A'' ⇒ ⊤ всегда верно.
+! rowspan="3" |U+22A4
+! rowspan="3" |T
+! rowspan="3" |<math>\top</math>\top
+|-
+| align="center" |верх
+|-
+| align="right" |[[:ru:Логика_высказываний|логика высказываний]], [[:ru:Булева_алгебра|Булева алгебра]]
+|-
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">⊥
+F
+</div>
+|[[:ru:Противоречие|Противоречие]]
+| rowspan="3" |Утверждение ⊥ безусловно неверно.
+| rowspan="3" |⊥ ⇒ ''A'' всегда верно.
+! rowspan="3" |U+22A5
+! rowspan="3" |⊥ F
+! rowspan="3" |<math>\bot</math>\bot
+|-
+| align="center" |ложь, неверно, ошибочно
+|-
+| align="right" |[[:ru:Логика_высказываний|логика высказываний]], [[:ru:Булева_алгебра|Булева алгебра]]
+|-
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">∀
+()</div>
+|[[:ru:Квантор_всеобщности|Квантор всеобщности]]
+| rowspan="3" |∀ ''x'': ''P''(''x'') или (''x'') ''P''(''x'') означает ''P''(''x'') верно для всех ''x''.
+| rowspan="3" |∀ ''n'' ∈ {{Unicode|&#x2115;}}: ''n''<sup>2</sup> ≥ ''n''.
+! rowspan="3" |U+2200
+! rowspan="3" |∀
+! rowspan="3" |<math>\forall</math>\forall
+|-
+| align="center" |для любого; для всех
+|-
+| align="right" |[[:ru:Логика_первого_порядка|Логика первого порядка]]
+|-
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">∃</div>
+|[[:ru:Квантор_существования|Квантор существования]]
+| rowspan="3" |∃ ''x'': ''P''(''x'') означает, что существует по меньшей мере один ''x'', такой, что ''P''(''x'') верно.
+| rowspan="3" |∃ ''n'' ∈ {{Unicode|&#x2115;}}: ''n'' чётно.
+! rowspan="3" |U+2203
+! rowspan="3" |∃
+! rowspan="3" |<math>\exists</math>\exists
+|-
+| align="center" |существует
+|-
+| align="right" |[[:ru:Логика_первого_порядка|логика первого порядка]]
+|-
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">∃!</div>
+|[[:ru:Единственность|Единственность]]
+| rowspan="3" |∃! ''x'': ''P''(''x'') означает, что существует ровно один ''x'', такой, что ''P''(''x'') верно.
+| rowspan="3" |∃! ''n'' ∈ {{Unicode|&#x2115;}}: ''n'' + 5 = 2''n''.
+! rowspan="3" |U+2203 U+0021
+! rowspan="3" |∃ !
+! rowspan="3" |<math>\exists !</math>\exists !
+|-
+| align="center" |существует в точности один
+|-
+| align="right" |[[:ru:Логика_первого_порядка|логика первого порядка]]
 |-
-| rowspan=3 bgcolor=#d0f0d0 align=center|<div style="font-size:200%;">:=<br/><br/>≡<br/><br/>:⇔</div>
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">:=<br /><br />≡<br /><br />:⇔</div>
-||[[означення]]
+|[[означення]]
-| rowspan=3|''x''&nbsp;:= ''y'' або ''x''&nbsp;≡ ''y'' означає ''x'' визначається як інша назва для ''y'' (але врахуйте, що ≡ може також означати інші речі, такі як [[конгуренція]]).<br/><br/>''P''&nbsp;:⇔ ''Q'' означає ''P'' визначається як [[логічна еквівалентність]] to ''Q''.
+| rowspan="3" |''x''&nbsp;:= ''y'' або ''x''&nbsp;≡ ''y'' означає ''x'' визначається як інша назва для ''y'' (але врахуйте, що ≡ може також означати інші речі, такі як [[конгуренція]]).<br /><br />''P''&nbsp;:⇔ ''Q'' означає ''P'' визначається як [[логічна еквівалентність]] to ''Q''.
-| rowspan=3|cosh&nbsp;''x''&nbsp;:= (1/2)(exp&nbsp;''x''&nbsp;+ exp&nbsp;(−''x''))<br/><br/>''A''&nbsp;XOR&nbsp;''B'' :⇔ (''A''&nbsp;∨&nbsp;''B'')&nbsp;∧&nbsp;¬(''A''&nbsp;∧&nbsp;''B'')
+| rowspan="3" |cosh&nbsp;''x''&nbsp;:= (1/2)(exp&nbsp;''x''&nbsp;+ exp&nbsp;(−''x''))<br /><br />''A''&nbsp;XOR&nbsp;''B'' :⇔ (''A''&nbsp;∨&nbsp;''B'')&nbsp;∧&nbsp;¬(''A''&nbsp;∧&nbsp;''B'')
-! rowspan="3" |U+2254 (U+003A&nbsp;U+003D)<br/><br/>U+2261<br/><br/>U+003A&nbsp;U+229C
+! rowspan="3" |U+2254 (U+003A&nbsp;U+003D)<br /><br />U+2261<br /><br />U+003A&nbsp;U+229C
-! rowspan="3" |:=<br/>:<br/><br/>&amp;equiv;<br/><br/>&amp;hArr;
+! rowspan="3" |:=<br />:<br /><br />&amp;equiv;<br /><br />&amp;hArr;
-! rowspan="3" | <div><math>:=</math>:=<br/><math>\equiv</math>\equiv<br/><math>\Leftrightarrow</math>\Leftrightarrow</div>
+! rowspan="3" |<div><math>:=</math>:=<br /><math>\equiv</math>\equiv<br /><math>\Leftrightarrow</math>\Leftrightarrow</div>
 |-
-|align=center|визначається як
+| align="center" |визначається як
 |-
-|align=right| всюди
+| align="right" |всюди
 |-
-| rowspan="3" bgcolor=#d0f0d0 align=center|<div style="font-size:200%;">()</div>
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">()</div>
-| Пріоритет угруповання
+|Пріоритет угруповання
-| rowspan="3" | Виконайте операції всередині дужок першими.
+| rowspan="3" |Виконайте операції всередині дужок першими.
 | rowspan="3" |(8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1, but 8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4.
-! rowspan="3" | U+0028 U+0029
+! rowspan="3" |U+0028 U+0029
 ! rowspan="3" |()
-! rowspan="3" | <math>(~)</math> ()
+! rowspan="3" |<math>(~)</math> ()
 |-
-|align=center|дужки
+| align="center" |дужки
 |-
-|align=right| всюди
+| align="right" |всюди
 |-
-| rowspan=3 bgcolor=#d0f0d0 align=center| <div style="font-size:200%;">{{Unicode|⊢}}</div>
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">{{Unicode|⊢}}</div>
-||[[Турнікет (символ)|Турнікет]]
+|[[Турнікет (символ)|Турнікет]]
-| rowspan=3|''x'' {{Unicode|⊢}} ''y'' означає ''y'' доказується від ''x'' (у деякій заданих формальних системах).
+| rowspan="3" |''x'' {{Unicode|⊢}} ''y'' означає ''y'' доказується від ''x'' (у деякій заданих формальних системах).
-| rowspan=3| ''A'' → ''B'' {{Unicode|⊢}} ¬''B'' → ¬''A''
+| rowspan="3" |''A'' → ''B'' {{Unicode|⊢}} ¬''B'' → ¬''A''
 ! rowspan="3" |U+22A2
 ! rowspan="3" |⊢
-! rowspan="3" | <math>\vdash</math>\vdash
+! rowspan="3" |<math>\vdash</math>\vdash
 |-
-|align=center|доказовий
+| align="center" |доказовий
 |-
-|align=right|[[Числення висловлень]], [[Логіка першого порядку]]
+| align="right" |[[Числення висловлень]], [[Логіка першого порядку]]
 |-
-| rowspan=3 bgcolor=#d0f0d0 align=center| <div style="font-size:200%;">⊨</div>
+| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">⊨</div>
-||[[Подвійний турнікет]]
+|[[Подвійний турнікет]]
-| rowspan=3|''x'' ⊨ ''y'' означає ''x'' семантично тягне ''y''
+| rowspan="3" |''x'' ⊨ ''y'' означає ''x'' семантично тягне ''y''
-| rowspan=3| ''A'' → ''B'' ⊨ ¬''B'' → ¬''A''
+| rowspan="3" |''A'' → ''B'' ⊨ ¬''B'' → ¬''A''
 ! rowspan="3" |U+22A8
 ! rowspan="3" |⊨
-! rowspan="3" | <math>\models</math>\models
+! rowspan="3" |<math>\models</math>\models
 |-
-|align=center|тягне за собою
+| align="center" |тягне за собою
 |-
-|align=right|[[Числення висловлень]], [[Логіка першого порядку]]
+| align="right" |[[Числення висловлень]], [[Логіка першого порядку]]
 |}

Список логічних символів: відмінності між версіями

Версія за 13:06, 11 травня 2016

Базові логічні символи

Див. також

Посилання

Навігаційне меню

Пошук