Словарь по логике

Нестрогая дизъюнкция

1. Логическая операция, представляющая нестрогую альтернативу, выбор хотя бы одного из нескольких (обычно – из двух) вариантов. Обычно, слово "нестрогая" опускают и говорят посто о "дизъюнкции". В классической логике, задается следующей таблицей:

0 0 | 0
0 1 | 1
1 0 | 1
1 1 | 1

В многозначных логиках (нестрогая) дизъюнкция обычно формулируется так, чтобы на множестве классических значений операция совпадала с классической нестрогой дизъюнкцией. При использовании в качестве истинностных значений чисел из интервала [0, 1] стандартное понимание нестрогой дизъюнкции задается функцией нахождения максимума из двух (при n-местных дизъюнкциях, соответственно, n) значений.

Другие названия: логическое сложение, логическое “или”. В русском языке обычно передается союзами “или” и “либо” (редко).

2. Синтаксически корректное выражение (высказывание, высказывательная форма, формула), главным знаком которого является знак нестрогой дизъюнкции.

3. Знак операции "нестрогая дизъюнкция" (редко).