Щоє модальний оператор

modus — спосіб, міра) — логіка, в якій крім стандартних логічних зв'язок, змінних та предикатів є модальності (модальні оператори, інші назви:...

Philosophy des mathématiques, Amst., 1953; Davis C., Modal operators, equivalence relations and projective algebras, "Amer. J. Math.", 1954, v. 76, No 4;...

Множинність модальних систем пов'язана з тим, що класичні модальні оператори в різних контекстах розуміються по-різному, тобто існують різні...

Мова логіки поповнюється модальним оператором (необхідно),... якщо x є 9 і 9 є натуральне число, але невірно, якщо x є 9 і 9 є число планет.

Інакше кажучи, модальні оператори визначають межі нашої моделі світу та наш спосіб дії. Це наводить на думку, що ми насправді...

Модальну логіку було створено для виявлення впливу модальних операторів на... необхідним тоді і лише тоді, коли можливо, що вона там є».

Структура модальних суджень: М (S є Р) чи М (S немає Р), де М позначає модальний оператор (модальне поняття). Але модальними,...

Модальний оператор - це "спосіб дії", спосіб життя і характер відносин зі світом або з його частиною. МО — це дієслово, яке визначає інше дієслово,...

Цитується: 3

Цитується: 1

(Dϕ) необхідно ϕ ,. (0ϕ) можливо ϕ . Щоб уникнути великої кількості дужок, вважатимемо, що модальні оператори мають такий самий пріоритет, як і квантори.

Але оскільки "знати" не є власне модальним предикатом, ці відмінності щодо... Для кожної з модальностей пасивної застави є слово-оператор,...

якщо модальний оператор D... інтерпретувати як (a) необ-... Наприклад, ◦ GH ≡ GH, де ◦ ∈ {G, H, P, F}, тобто якщо це.

Цитується: 27

висновку у обчисленні, наведено приклади експертних систем. Розглянуто можливості застосування модальних операторів для формального опису того, що має.

У XX столітті було побудовано низку систем модальної логіки, тобто таку, що приписує висловлюванню модальний зачин (оператор), наприклад, "можливо,...

багатозначного модального оператора в російській мові, лакунарністю... мовного ступеня пізнання цих зв'язків, тобто вона вказує на.

Логічна форма цього простого модального висловлювання: М(S є P), де М є модальний оператор «зручніше». Приклад 2. Ймовірно, якщо вести здоровий...

Структура простих модальних суджень така: «М(SестьР) чи М (S немає Р), де М— модальний оператор(модальне поняття)». Але як уже було сказано,...