Главная | Случайная
Обратная связь

ТОР 5 статей:

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

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

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

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

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

КАТЕГОРИИ:






Язык классической логики предикатов. Алфавит, понятие терма и формулы.




Язык классической логики предикатов служит для выражения логических форм с учетом внутренней структуры простых высказываний. Основа теории классической логики предикатов:

Алфавит

1)Нелогические символы

Предметные (индивидные) константы – заменяют имена

a, b, c,…

Предикаторные константы – заменяют имена

Pn,Qn,Rn,… (n – местность предикатора)

Предметно-функциональные константы – заменяют предметные функторы

fn,gn,hn,… (n – местность функтора)

Предметные переменные – имеют нефиксированное значение

x, y, z,...

2) Логические символы

Пропозициональные связки – выражают логические функции

&– конъюнкция

– дизъюнкция

– отрицание

– импликация

Кванторы – выражают количественные соотношения

– общности всякий

– существования хоть один

3) Технические символы – ( ) ,

Правила образования

1) Термы – аналог имен

Всякая предметная переменная является термом

Всякая предметная константа является термом

Если fn – n-местная предметная константа, а t1,t2,…,tn – термы,

то fn(t1,t2,…,tn) – терм

Ни что иное не является термом

2) Формулы – аналог предложений

Если Pn – n-местная предикаторная константа, а t1,t2,…,tn – термы,

то Pn (t1,t2,…,tn) – формула

Если А – формула, то А – тоже формула

Если А и В формулы, то

В) - формула

В) - формула

(А&В) – формула

Если А – формула, а х – предметная переменная, то

хА - формула

хА - формула

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

 

 







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

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