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

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

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

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

Лінійно

Версія за 13:45, 6 квітня 2014

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

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

Символ	Назва	Пояснення	Приклад	Unicode	HTML	LaTeX
	Читати як
	Kategorie
( )	Пріоритет угруповання	Виконайте операції всередині дужок першими.	(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 (англ.)

@@ Рядок 18: / Рядок 18: @@
 |-
 | rowspan="3"  bgcolor=#d0f0d0 align=center|<div style="font-size:200%;">( )</div>
+| Пріоритет угруповання
-| precedence grouping
-| rowspan="3" | Perform the operations inside the parentheses first.
+| rowspan="3" | Виконайте операції всередині дужок першими.
 | rowspan="3" |(8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1, but 8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4.
 ! rowspan="3" | U+0028 U+0029
@@ Рядок 25: / Рядок 25: @@
 ! rowspan="3" | <math>(~)</math> ( )
 |-
-|align=center|parentheses, brackets
+|align=center|дужки
 |-
-|align=right|everywhere
+|align=right| всюди
 |-
 | rowspan=3 bgcolor=#d0f0d0 align=center| <div style="font-size:200%;">{{Unicode|⊢}}</div>

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

Версія за 13:45, 6 квітня 2014

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

Див. також

Посилання

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

Пошук