Логічний сполучник
З Вікіпедії, безкоштовно encyclopedia
Логі́чний сполу́чник (або логічний оператор) — логічний термін, функція якого полягає в утворенні складних висловлювань.
Коротка інформація Підтримується Вікіпроєктом ...
Логічний сполучник | |
Підтримується Вікіпроєктом | Вікіпедія:Проєкт:Математика |
---|
Закрити
Спеціальні назви і символи для позначення логічних сполучників:
- — заперечення («не»);
- — кон'юнкція («і»);
- — диз'юнкція («або»);
- — імплікація («якщо, то»);
- — еквіваленція («якщо і тільки якщо, то»).