Головна |
Формули ІВ визначаються індуктивно, Т. Е. Вказуються неподільні атомні формули, правила, за якими з заданих формул складаються нові, і постулюється, що ніяких формул, крім тих, які є такими згідно зазначених вимог, немає.
Домовимося позначити в метамові довільні формули ІВ рукописними великими літерами з початку латинського алфавіту: А, в, з, D , ...
1. кожна окремо взята пропозіціональная буква є формулою ІВ.
2. а) Якщо слово А є формулою ІВ, то слово OА - Теж формула ІВ.
б) Якщо слова А и В є формулами ІВ, то слово (А?В), де знак ? позначає в метамові довільну двомісну зв'язку з прийнятого списку основних зв'язок ІВ, - теж формула ІВ.
3. Слово із символів ІВ є формулою ІВ тоді, і тільки тоді, коли воно є такою згідно з раніше сформульованим правилам. При введенні нових двомісних зв'язок в скороченнях в метамови для відповідних формул мови-об'єкта, скорочення записують у вигляді, погодився із зазначеними правилами побудови формул.
У метамові допускають скорочення числа дужок, що використовуються під час запису формул; так, звичайно опускають зовнішні дужки і деякі інші, на підставі угоди про пріоритет логічних зв'язок, визначаючи його місцем зв'язок в послідовності
O, U, ?, U:
з двох даних зв'язок в запису зі скороченим числом дужок першої діє зв'язка розташована ближче до початку списку. При відновленні дужок, для даного знака шукаються найближчі подслова є формулами і утворюють разом зі знаком подсловом, що є формулою з опущеними зовнішніми дужками.
Правила побудови формул ІВ сформульовані так, що можна вказати алгоритм, що дозволяє по кожному знакосочетаній із символів ІВ з'ясувати, є воно формулою ІВ чи ні.
Побудова графіків функцій за допомогою елементарних рухів. | Метод перерізів при вирішенні завдань з параметром. | Завдання для вирішення | Real numbers | Перерізі множини раціональних чисел. | Порівняння перерізів множно раціональних чисел. | Теореми про апроксімацію дійсніх чисел раціональнімі. | Теорема Дедекінда (непрерівність множини дійсніх чисел). | Додавання дійсніх чисел | Product of Real Numbers |