Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Общезначимость в исчислении предикатов

Онлайн школа английского языка нового поколения. Более 7 лет предоставляет обучение английскому языку по Skype (Скайп) и является лидером данного направления! Основные преимущества:

  • Вводный урок бесплатно;
  • Большое число опытных преподавателей (нейтивов и русскоязычных);
  • Курсы НЕ на определенный срок (месяц, полгода, год), а на конкретное количество занятий (5, 10, 20, 50);
  • Более 10 000 довольных клиентов.
  • Стоимость одного занятия с русскоязычным преподавателем - от 600 рублей, с носителем языка - от 1500 рублей

Узнать детали

Формула общезначима в поле, если она принимает значение T при каждом приписывании  значений предикатным символам и свободным переменным в ней. Формула общезначима, если она общезначима во всяком поле. Тот факт, что формула А общезначима, мы будем выражать так:

|=A