Логика предикатов с одним переменным - реферат по логике

  • Тип: Реферат
  • Предмет: Логика
  • Все рефераты по логике »
  • Язык:
  • Автор: Andrey Berezhnoy
  • Программа: Microsoft Word 8.0
  • Дата: 11 апр 1998
  • Формат: DOC
  • Размер: 89 Кб
  • Страниц: 11
  • Слов: 3538
  • Букв: 18127
  • Просмотров за сегодня: 1
  • За 2 недели: 2
  • За все время: 564

 

Тезисы:

  • Если мы все переменные предиката R (x, y, ..., u) свяжем ограниченными кванторами, например.
  • Практика по решению проблемы разрешимости формул, содержащих предикаты от одного переменного.
  • Их мы будем называть предметными переменными.
  • Предметное переменное, не связанное никаким квантором, мы будем называть свободным переменным.
  • Если в U есть свободные предметные переменные, то можно связать их квантором общности.
  • В данном случае число предикатов (n) равно 2, т.е. L может быть представлено как { a1, a2, a3, a4 }.
  • При этом переменные x, y, z пробегают множество M, а функция принимает значения И и.
  • Логика, в которой употребляются только такие выражения, соответствует той, которая описана.
  • Покажем, что если для некоторого поля M существуют индивидуальные предикаты.
  • Под этим выражением мы будем понимать предикат, зависящий от y, z, ..., u.
Читать онлайнСкачать реферат

 

 

Похожие работы:

Еще похожие работы

Предметы

Все предметы »

 

 

Актуальные рефераты по логике