Головна

Алфавіт логіки предикатів.

  1.  I. Рішення логічних задач засобами алгебри логіки
  2.  алгебра логіки
  3.  АЛФАВІТ
  4.  Алфавіт і синтаксис Maple-мови
  5.  Алфавіт мови і типи даних
  6.  Алфавіт мови логіки предикатів

Символами (елементами) алфавіту є:

1) константи (Індивідуальна символи). Зазвичай це імена об'єктів, найменування властивостей, характеристик, значення властивостей або характеристик;

2) Символи предметних змінних. Зазвичай, це малі літери x, y, z, можливо з індексами. Предметна змінна має на увазі наявність області її визначення, т. Е. Кінцевого безлічі значень даної змінної;

3) Функціональні символи. Зазвичай, це малі літери f, q, h або осмислені слова з малих літер, наприклад, плюс, мінус, помножити, батько, мати, дочка;

4) предикатні символи. Зазвичай, це прописні (великі) літери P, Q, R, або осмислені слова з великої літери, такі як БІЛЬШЕ, МЕНШЕ, ЛЮБИТЬ, МІСТИТЬ, смерть, ЛЮДИНА.

5)  зв'язки обчислення висловлювань .

6) квантори спільності  (Для всіх) та існування  (Існує).

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




 Формулами (семантика мови). |  Правила виведення в численні предикатів. |  предикатів. |

© um.co.ua - учбові матеріали та реферати