Логичка операција: Разлика помеѓу преработките
| [проверена преработка] | [проверена преработка] |
Избришана содржина Додадена содржина
с отстранета Категорија:Логички операции; ставена Категорија:Логички сврзници користејќи го HotCat |
сНема опис на уредувањето |
||
Ред 36:
<center>
{| border="1" cellpadding="1" cellspacing="0" style="text-align:center;"
|+ '''16-те бинарни логички оператори можат да се дефинираат со [[
! style="width:35px;background:#aaaaaa;" | p
! style="width:35px;background:#aaaaaa;" | q
Ред 108:
|<imagemap>
Image:Logical connectives table.svg|380px
rect 399 2 542 39 [[
rect 400 39 540 73 [[
rect 400 128 542 706 [[
rect 3 128 398 163 [[Контрадикција|X и ¬X]]
rect 3 162 398 199 [[Логичка конјункција|A и B]]
Ред 151:
</imagemap>
|-
| align="left"|<small>[[:Податотека:Logical connectives table.svg|<span style="color:#aaaaaa;">(file)</span>]]</small> || || align="right"| <small>[[:Податотека:Logical connectives Hasse diagram.svg|<span style="color:#aaaaaa;">(
|}
{{clear}}
Ред 196:
* '''[[Монотона функција|монотоност]]''': Ако 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>\vee</math>''', '''<math>\wedge</math>''', '''<math>\top</math>''', '''<math>\rightarrow</math>''', '''<math>\equiv</math>''', '''⊂''' '''}'''
* '''запазување на неточност''': Толкувањето кај кое сите променливи имаат зададена [[логичка вредност|логички вредности]] како 'неточно' дава логичка вредност 'неточно' како резултат на овие операции. '''{''' '''<math>\vee</math>''', '''<math>\wedge</math>''', '''<math>\not\equiv</math>''', '''<math>\bot</math>''', '''⊄''', '''⊅''' '''}'''
| |||