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

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

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

Нужна помощь в написании работы?

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

|=A

Покори английский в игровой форме! Основные преимущества:

  • Занимайся с любого девайса
  • Тренируйся с азартом
  • Выбирай интересные материалы
  • Проходи увлекательные языковые курсы
  • Учись со львом играючи

Начать изучать бесплатно