3.2. Основные понятия теории моделей

Напомним определения операций и отношений на множестве. А именно, п-арной операцией на множестве называется отображениеПримы получаем понятиебинарной операции (например, сложение и умножение действительных или натуральных чисел являются бинарными операциями). Приоперация называетсяунарной. Примерами унарных операций могут служить: а) операция взятия обратного элемента в группе, б) операциятранспонирования матриц, в) операцияумножения вектора на фиксированный скаляр, г) комплексное сопряжениеПримы получаемнуль-арную операцию, которая заключается в выделении в множестве некоторого элемента.

п-арным отношением на называется отображение п-арное отношение иначе называют п-арным (или п-местным) предикатом. Двуместный предикат – этобинарное отношение (к числу которых относятся =, и т.д.). Одноместный предикат– этосвойство элементов множества (еслимы говорим, что элементобладает данным свойством, а при– не обладает). Нульместный предикат – это просто истина 1 или ложь 0 – он не зависит от элементов множества

Вообще говоря, понятие операции является в некотором смысле излишним и может быть выражено через понятие отношения. Например, бинарная операция + на множестве N вполне определяется тернарным отношением В общем случаеп-арную операцию можно заменить-арным отношениемпричёмОднако, замену операции отношением обычно не производят, так как операция является привычным и удобным математическим понятием.

Определение. Сигнатурой называется пара где– набор символов операций– символ-арной операции),– набор символов отношений– символ-арного отношения).

Примеры

1. Группу можно рассматривать в сигнатуре (один символ операции умножения (бинарной) и ни одного символа отношений) или в сигнатуре(один символ бинарной операции – умножения и один символ унарной операции – взятия обратного).

2. Кольцо обычно рассматривают в сигнатуре иногда в сигнатуре(0 – символ нульарной операции – взятия нуля). Кольцо с единицей иногда рассматривают в сигнатуреиногда в сигнатуре

3. –обычная сигнатура для упорядоченной группы (здесь

4. –сигнатура частично упорядоченного множества (здесь Ф

5. В предыдущем разделе мы рассматривали множество натуральных чисел в сигнатуре (штрих обозначает унарную операцию – взятие следующего элемента).

Замечание. Следует различать п-арную операцию от символа п-арной операции. Символ – это не сама операция, а только значок для неё. При этом, если сказано, что – символп-арной операции, то нельзя вместо подставлятьk-арную операцию при Такое же согласование должно быть между символом отношения и самим отношением.

Определение. Пусть – сигнатура.Моделью сигнатуры называется множествотакое, что каждому символу операциипоставлена в соответствие операция той же арности на множествеи каждому символу отношенияпоставлено в соответствие отношениетой же арности на множествеОперацию мы будем обозначать той же буквой, что и символ операции, а отношение – так же, как символ отношения. Множествомы будем называтьносителем модели.

Приведём примеры.

1. Если задана сигнатура где– символ бинарной операции, то моделью этой сигнатуры будет любое множествона котором задана одна бинарная операция. Такое множество называетсягруппоидом. Если эта операция ассоциативна (т.е. то– полугруппа. Еслиудовлетворяет аксиомам группы (ассоциативность, существование единицы, существование обратного элемента), то– группа.

2. Рассмотрим модель с двумя бинарными операциями. Среди таких моделей выделяются кольца, поля, тела и т.д. Интересно отметить, что эти классы моделей так же, как в предыдущем примере класс полугрупп и класс групп, определяются каким-либо списком аксиом.

3. Частично упорядоченное множество определяется как модель где– символ бинарного отношения, удовлетворяющий следующим аксиомам: 1)(рефлексивность), 2)(транзитивность), 3)(антисимметричность). Если кроме этих аксиом выполняется аксиома 4)(дихотомичность), тоназывается линейно упорядоченным множеством, или цепью.

Термы и формулы логики первого порядка,

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

Пусть задана сигнатура т.е. множествосимволов операций и множествосимволов отношений.Язык логики первого порядка (другое название: язык узкого исчисления предикатов (УИП) содержит следующие символы:

1. символы из множеств и

2. алфавит предметных переменных; их мы будем, как правило, обозначать маленькими латинскими буквами (преимущественно из второй половины алфавита) с индексами или без, т.е. алфавиткак правило, будет предполагаться счётным;

3. логические связки:

4. служебные символы: “,”, “(”, “)” (запятая, левая и правая скобки).

Терм определяется индуктивно:

1. предметная переменная – терм;

2. если – термы и– символп-арной операции, то – терм.

Приведём примеры термов. Чтобы сделать обозначения более привычными, мы будем несколько отклоняться от предыдущего определения и термы будем записывать в виде

1. Для сигнатуры следующие выражения являются термами:Последний терм мы будем писать в сокращённом виде:а если имеет место ассоциативность умножения, то можно записать

2. В сигнатуре можно записать термы

3. Если – символ тернарной операции, а– унарной, то– термы.

Формула логики первого порядка и множество свободных переменных формулы определяются индуктивно:

1. если – термы и– символп-местного отношения, то – формула (такие формулы называютсяатомарными); свободными переменными формулы. называются предметные переменные, входящие хотя бы в один из термов

2. если – формула, то– формула и

3. если и– формулы и ни одна из предметных переменных не входит свободно в одну из этих формул, а несвободно в другую, то– формулы и

4. если – формула и– предметная переменная, которая либо не входит в формулулибо входит в неё свободно, тои– формулы и

Как и в исчислении высказываний, для облегчения восприятия формул мы часто в выражениях вида внешние скобки будем опускать.

Приведём примеры формул.

1. В сигнатуре формулами УИП являются следующие слова:

2. В сигнатуре где точка обозначает символ бинарной операции, а = и– соответственно символы бинарного и тернарного отношений, примерами формул являются::

Формула называетсязамкнутой, если она не содержит свободных переменных, т.е. Замкнутую формулу можно назвать высказыванием. Незамкнутые формулы являются предикатами. Например,– замкнутая формула, а– незамкнутая, её можно рассматривать как предикат от переменныхи(здесьозначает равенство по определению). Легко видеть, чтовсякая формула УИП является предикатом от своих свободных переменных.

Пусть – модель, где– носитель,– сигнатура и– формула УИП со свободными переменнымиИстинность или ложность этой формулы зависит от того, какие значения мы придадим переменнымНазовёмоценкой отображение (смысл её состоит в том, что мы каждой предметной переменной присваиваем какое-то значение из множестваОпределимзначение истинности формулы на оценке Истину мы будем обозначать буквой И, а ложь – буквой Л. Определение построим индукцией по длине формулы. Положим... ,

1. Если – атомарная формула, где– термы, тов том и только том случае, если

2. если имеет видилито истинность или ложность высказыванияопределяется по обычным правилам;

3. если тов том и только том случае, еслипри всех

4. если тов том и только том случае, еслипри каком-нибудь

3. Выразимые и невыразимые предикаты.