Логичка операција: Разлика помеѓу преработките
[проверена преработка] | [проверена преработка] |
сНема опис на уредувањето |
|||
Ред 197: | Ред 197: | ||
[[Функционална потполност|Функционално потполно]] множество на оператори содржи барем еден член кому му недостасуваат следниве пет својства: |
[[Функционална потполност|Функционално потполно]] множество на оператори содржи барем еден член кому му недостасуваат следниве пет својства: |
||
* '''[[Монотона функција|монотоност]]''' |
* '''[[Монотона функција|монотоност]]''': Ако f(a<sub>1</sub>, ... , a<sub>n</sub>) ≤ f(b<sub>1</sub>, ... , b<sub>n</sub>) за сите a<sub>1</sub>, ... , a<sub>n</sub> <math>\in</math> {0,1} така што a<sub>1</sub> ≤ b<sub>1</sub>, a<sub>2</sub> ≤ b<sub>2</sub>, ... , a<sub>n</sub> ≤ b<sub>n</sub> '''{''' '''<math>\vee</math>''', '''<math>\wedge</math>''', '''<math>\top</math>''', '''<math>\bot</math>''' '''}''' |
||
* '''[[Линеарна логика|линеарност]]''' |
* '''[[Линеарна логика|линеарност]]''': Секоја променлива секогаш ја менува точноста ([[вистинитост]]а) на операцијата или никогаш не прави разлика '''{''' '''<math>\neg</math>''', '''<math>\equiv</math>''', '''<math>\not\equiv</math>''', '''<math>\top</math>''', '''<math>\bot</math>''' '''}''' |
||
* '''самодвојност''' |
* '''самодвојност''': За читање на дадените точности на операцијата од горе надолу на нејзината [[таблица на вистинитост]] е исто што и земање на комплиментот читајќи ги од долу нагоре. '''{''' '''<math>\neg</math>''' '''}''' |
||
* '''запазување на точност''': Толкувањето кај кое сите променливи имаат зададена [[логичка вредност|логички вредности]] како 'точно' дава логичка вредност 'точно' како резултат на овие операции. '''{''' '''<math>\vee</math>''', '''<math>\wedge</math>''', '''<math>\top</math>''', '''<math>\rightarrow</math>''', '''<math>\equiv</math>''', '''⊂''' '''}''' |
* '''запазување на точност''': Толкувањето кај кое сите променливи имаат зададена [[логичка вредност|логички вредности]] како 'точно' дава логичка вредност 'точно' како резултат на овие операции. '''{''' '''<math>\vee</math>''', '''<math>\wedge</math>''', '''<math>\top</math>''', '''<math>\rightarrow</math>''', '''<math>\equiv</math>''', '''⊂''' '''}''' |
||
Ред 211: | Ред 211: | ||
{{mainarticle|Арност}} |
{{mainarticle|Арност}} |
||
Во двовредносната логика постојат 4 [[унарна операција| |
Во двовредносната логика постојат 4 [[унарна операција|унарни оператори]], 16 [[бинарна операција|бинарни оператори]] и 256 [[тројна операција|тројни оператори]]. Во тровреднсната логика постојат 9 [[унарна операција|унарни оператори]], 19683 [[бинарна операција|бинарни оператори]] и 7625597484987 [[тројна операција|тројни оператори]]. |
||
[[Негација|„Не“]] е [[унардна операција|унарен оператор]] и се состои од еден поим (¬''P''). Остатокот се [[бинарна операција|бинарни оператори]], кои се состојат од два поима (''P'' <math>\wedge</math> ''Q'', ''P'' <math>\vee</math> ''Q'', ''P'' → ''Q'', ''P'' ↔ ''Q''). |
[[Негација|„Не“]] е [[унардна операција|унарен оператор]] и се состои од еден поим (¬''P''). Остатокот се [[бинарна операција|бинарни оператори]], кои се состојат од два поима (''P'' <math>\wedge</math> ''Q'', ''P'' <math>\vee</math> ''Q'', ''P'' → ''Q'', ''P'' ↔ ''Q''). |
Преработка од 15:26, 2 јуни 2019
Логички оператор или логички сврзник — логичка константа која означува синтаксна операција на реченици, или пак симбол за таква операција, кој соодветствува на операција на логичките вредности на тие реченици.
На пример двете реченици: „Врне“ и „Внатре сум“, може да се комбинираат со разни сврзници за да се добијат следниве сложени реченици:
- Не врне, па внатре сум.
- Врне и внатре сум.
- Ако врне, тогаш внатре сум.
Основните логички оператори се :
|
Еве некои други: |
Дефиниции
Таблици
p | q | т | ↑ | → | ~p | ← | ~q | ↓ | ∨ | q | ⊄ | p | ⊅ | & | ⊥ | ||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
т | т | т | ⊥ | т | ⊥ | т | ⊥ | т | ⊥ | т | ⊥ | т | ⊥ | т | ⊥ | т | ⊥ |
т | ⊥ | т | т | ⊥ | ⊥ | т | т | ⊥ | ⊥ | т | т | ⊥ | ⊥ | т | т | ⊥ | ⊥ |
⊥ | т | т | т | т | т | ⊥ | ⊥ | ⊥ | ⊥ | т | т | т | т | ⊥ | ⊥ | ⊥ | ⊥ |
⊥ | ⊥ | т | т | т | т | т | т | т | т | ⊥ | ⊥ | ⊥ | ⊥ | ⊥ | ⊥ | ⊥ | ⊥ |
Множества
Логичките оператори можат да се изразат преку множества (каде ∅ е празно множество):
∅ - Контрадикција () | { ∅ , { ∅ } , { { ∅ } } , { ∅ , { ∅ } } } - Тавтологија () | |
{ ∅ } - НИЛИ (↓) | { { ∅ } , { { ∅ } } , { ∅ , { ∅ } } } - ИЛИ () | |
{ { ∅ } } - Материјална неимпликација (⊅) | { ∅ , { { ∅ } } , { ∅ , { ∅ } } } - Материјална импликација (⊃) | |
{ ∅, { ∅ } } - Не q | { { { ∅ } } , { ∅ , { ∅ } } } - q | |
{ { { ∅ } } } - Спротивна неимпликација (⊄) | { ∅ , { ∅ } , { ∅ , { ∅ } } } - Спротивна импликација (⊂) | |
{ ∅ , { { ∅ } } } - Не p | { { ∅ } , { ∅ , { ∅ } } } - p | |
{ { ∅ } , { { ∅ } } } - Исклучителна дисјункција () | { ∅ , { ∅ , { ∅ } } } - Двоуслов () | |
{ ∅ , { ∅ } , { { ∅ } } } - НИ (↑ или |) | { { ∅ , { ∅ } } } - Конјункција () |
Венови дијаграми
Бинарните логички оператори можат да се изразат по пат на Венови дијаграми.
(file) | (file) (zoom in) |
Забележете ја сличноста помешу знаците „и“ () и пресек на множество (); така е и за „или“ () и унија на множества (). Ова не е случајно: дефиницијата на пресекот користи „и“, а дефиницијата на унијата користи „или“.
Функционална потполност
Не сите овие оператори се неопходни за функционално потполна логичка анализа. Извесни сложени искази се логички еквивалентни. На пример, ¬P ∨ Q е логички еквивалентно на P → Q;. Така, кондиционалниот оператор "→" не е потребен ако имаме "¬" (не) и "∨" (или).
најмалото множество на оператори кое сепа го искажува секој исказ кој може да се изрази во исказната анализа се нарекува минимално функционално потполно множество. Минимално потполно множество од оператори се постогнува само со НИ { ↓ } и само со НИЛИ { ↑ }.
Сите и само следниве се функционално потполни множества на оператори:
{ ↓ }, { ↑ }, { , }, { , }, { , ⊂ }, { , ⊄ }, { , }, { , ⊅ }, { ⊄, }, { ⊂, }, { ⊅, }, { ⊂, ⊄ }, { , }, { ⊂, ⊅ }, { , }, { ⊄, }, { ⊅, }
Својства
Секој логички оператор (сврзник) има свој збир својства кои можат да се изразат преку теоремите кои ги содржат операторите. Некои од овие може да бидат:
- Асоцијативност: Во рамките на еден израз кој содржи два или повеќе исти асоцијативни оператори во низа, редот на оперирање не е важен сѐ додека редот на операндите е непроменет.
- Комутативност: Секој пар променливи сврзан со операторот може да се размени меѓусебно без да ја погоди вистинитоста на изразот.
- Дистрибутивност:
- Идемпотенција:
- Апсорпција:
Функционално потполно множество на оператори содржи барем еден член кому му недостасуваат следниве пет својства:
- монотоност: Ако f(a1, ... , an) ≤ f(b1, ... , bn) за сите a1, ... , an {0,1} така што a1 ≤ b1, a2 ≤ b2, ... , an ≤ bn { , , , }
- линеарност: Секоја променлива секогаш ја менува точноста (вистинитоста) на операцијата или никогаш не прави разлика { , , , , }
- самодвојност: За читање на дадените точности на операцијата од горе надолу на нејзината таблица на вистинитост е исто што и земање на комплиментот читајќи ги од долу нагоре. { }
- запазување на точност: Толкувањето кај кое сите променливи имаат зададена логички вредности како 'точно' дава логичка вредност 'точно' како резултат на овие операции. { , , , , , ⊂ }
- запазување на неточност: Толкувањето кај кое сите променливи имаат зададена логички вредности како 'неточно' дава логичка вредност 'неточно' како резултат на овие операции. { , , , , ⊄, ⊅ }
Арност
Во двовредносната логика постојат 4 унарни оператори, 16 бинарни оператори и 256 тројни оператори. Во тровреднсната логика постојат 9 унарни оператори, 19683 бинарни оператори и 7625597484987 тројни оператори.
„Не“ е унарен оператор и се состои од еден поим (¬P). Остатокот се бинарни оператори, кои се состојат од два поима (P Q, P Q, P → Q, P ↔ Q).
Множеството логички оператори може да се раздели на раздвоени подмножества вака:
Оваа разделба, има множество од операциони знаци на арност .
Во исказните анализи, обично серазделува вака:
- нуларни оператори:
- унарни оператори:
- бинарни оператори:
Првенствен ред
За намалување на бројот на неопходни загради можеме да воведеме правила за првенство (предност): ¬ има предност над ∧, ∧ има предност над ∨ а ∨ има предност над →. На пример, P ∨ Q ∧ ¬R → S е скратено од (P ∨ (Q ∧ (¬R))) → S.
Еве таблица на која е прикажано првенството на логичките оператори.
Оператор | Првенство |
---|---|
¬ | 1 |
2 | |
3 | |
→ | 4 |
↔ | 5 |
Редот на првенство одредува кој „главен сврзник“ при толкување на молекуларна формула.
Наводи
Поврзано
|