Главная

Популярная публикация

Научная публикация

Случайная публикация

Обратная связь

ТОР 5 статей:

Методические подходы к анализу финансового состояния предприятия

Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века

Ценовые и неценовые факторы

Характеристика шлифовальных кругов и ее маркировка

Служебные части речи. Предлог. Союз. Частицы

КАТЕГОРИИ:






Логика предикатов. Предметный язык логики предикатов (определения алфавита, терма, формулы).




Логика предикатов – это логическая теория, язык которой позволяет анализировать высказывания и умозаключения с учетом внутренней структуры простого высказывания.

Алфавит:

1) Предметные переменные (x, y, z) предмет

2) Индивидные константы (а, b, с) имена собственные

3) Функциональные константы (f,g,h) операции и отношения

4) Предикаторные константы (P, Q, R, S)обозначают свойства и классы

5) Логические связки(, &, ∨)

6) Кванторы ( a - универсальный квантор, Ǝa - экзистанциональный квантор)

7) Технические символы (скобки, запятая)

Терм.

9) Предикатн. Константа является термом

10) 1.P,Q,K….

11) 2.x,y,z….

12) 3. ЕслиF – nместная функции, констант.t₁, t₂ …t₄ – термы, то F (t₁, t₂,…tn) – терм.

13) 4.Ничто иное не является термом.

14) «4» -а

15) «4+5» - g (а,в)

16) «5+4» g (в,а)

17) «Москва» - а

18) «стол»-а

Формула.

20) 1.Если П – n-местная предикат. константа, t₁,t₂ …tn – термы, то П (t₁,t₂,tn…) – формулы.

21) 2.А

22) 3.А&В, А˅В, АᴝВ

23) 4.Если А – формула, L- предм. константа, то А (кверхногами) & А, Е(наоборот) & А

24) Ничто иное не является фрмулой

25) Р (а) – мать Ивана

26) R (P(a)) - дед матери Ивана

27) Q (в) – отец Петра

 






Не нашли, что искали? Воспользуйтесь поиском:

vikidalka.ru - 2015-2024 год. Все права принадлежат их авторам! Нарушение авторских прав | Нарушение персональных данных