Чт. Май 23rd, 2024

Огромное количество арифметических формул, которые могут содержать цифровые либо буквенные выражения с целочисленными коэффициентами. Алфавит: числа 0…9; буковки a…z, знаки +, -, х, /, скобки (, ). Хоть какой знак может считаться начальной формулой, неважно какая композиция цифр с первой ненулевой именуется числом и считается формулой. Правила построения новых формул последующие:

  • если А и B — числа и А ≠ 0, то АВ также число (т.е. личный вид формул — числа — получаются приписыванием одних к другим таким макаром, чтоб слева был не 0);
  • если F1 и F2 — формулы, то (F1 + F2), (F1F2), (F1 x F2) и (F1 /F2) также являются формулами.

В описанной формальной системе выводимыми оказываются формулы типа:

От content

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *