ТОР 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 (в) – отец Петра
Не нашли, что искали? Воспользуйтесь поиском:
|