Список логічних символів: відмінності між версіями
[перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Виправлено мовленнєві помилки (змінено "вірно" на "правильно"), чергування "у"-"в" |
м числові степені не повинні бути курсивом, ВП:ВФ |
||
Рядок 1:
У [[логіка|логіці]], набір [[Символ (логіка)|символів]] зазвичай використовується, щоб висловити логічне представлення. Оскільки логіки знайомі з цими символами, вони не пояснюють їх кожен раз при використанні. Для [[
Слід
== Базові логічні символи ==
Рядок 29:
⊃ може значити те саме, що ⇒
(символ може також значити надмножину).
| rowspan="3" |''x'' = 2 ⇒
! rowspan="3" |U+21D2
U+2192
Рядок 96:
•
&</div>
|[[Кон'юнкція
| rowspan="3" |Твердження ''A'' ∧ ''B'' правильне, якщо і ''A'', і ''B'' правильні, і неправильне в іншому разі.
| rowspan="3" |''n'' < 4 ∧ ''n'' >2 ⇔ ''n'' = 3, якщо ''n'' — [[Натуральні числа|натуральне число]].
Рядок 114:
+
ǀǀ</div>
|[[Диз'юнкція (логіка)|Логічна
| rowspan="3" |Твердження ''A'' ∨ ''B'' правильне, якщо ''A'' або ''B'' (або обидва) правильні. Якщо обидва неправильні, то твердження неправильне.
| rowspan="3" |''n'' ≥ 4 ∨ ''n'' ≤ 2 ⇔ ''n'' ≠ 3 коли ''n'' є [[Натуральні числа|натуральним числом]].
Рядок 128:
| rowspan="3" bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">⊕
{{Unicode|⊻}}</div>
|[[Виключна диз'юнкція
| rowspan="3" |Твердження ''A'' ⊕ ''B'' правильне, коли A або B правильне, але не обидва. ''A'' {{Unicode|⊻}} ''B'' означає те саме.
| rowspan="3" |(¬''A'') ⊕ ''A'' завжди правильне, ''A'' ⊕ ''A'' завжди неправильне.
Рядок 175:
|[[Квантор загальності]]
| rowspan="3" |∀ ''x'': ''P''(''x'') або (''x'') ''P''(''x'') означає ''P''(''x'') правильне для всіх ''x''.
| rowspan="3" |∀ ''n'' ∈ {{Unicode|ℕ}}: ''n
! rowspan="3" |U+2200
! rowspan="3" |∀
Рядок 271:
* {{unicode|U+22AD}} ⊭ Хиба: не є істиною.
* {{unicode|U+22BC}} ⊼ НЕ-І: другий оператор НЕ-і, може бути записаний як <math>\overline{\wedge}</math>.
* {{unicode|U+22C4}} ⋄ Ромб: модальний оператор для «можливо, що», «не
* {{unicode|U+22C6}} ⋆ Зірочка: звичайно використовується як спеціальний оператор.
* {{unicode|U+22A5}} ⊥ Кнопка вгору або{{unicode|U+2193}} ↓ Стрілка вниз: [[стрілка Пірса]]. Інколи «⊥» використовують для протиріччя.
|