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

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

Приписывания истинностных значений в исчислении предиката

Поможем написать любую работу на аналогичную тему

Получить выполненную работу или консультацию специалиста по вашему учебному проекту
Узнать стоимость

Обозначим буквой D – непустое множество, называемое полем, что каждая предметная переменная черпает свои значения в D. Примем, далее, что каждому n-местному предикатному символу поставлена в соответствие логическая функция, т.е. функция, определенная на Приписывания истинностных значений в исчислении предиката со значениями в Приписывания истинностных значений в исчислении предиката. Примем, наконец, что простой формуле Приписывания истинностных значений в исчислении предиката приписывается истинностное значение, связанное с приписыванием элементов из поля D каждой переменной из числа Приписывания истинностных значений в исчислении предиката, следующим образом. Если переменной Приписывания истинностных значений в исчислении предиката приписывается элемент Приписывания истинностных значений в исчислении предиката поля D и если предикатному символу Приписывания истинностных значений в исчислении предиката приписывается значение Приписывания истинностных значений в исчислении предиката: Приписывания истинностных значений в исчислении предиката, то истинностное значение для Приписывания истинностных значений в исчислении предиката будет Приписывания истинностных значений в исчислении предиката. Например, если Приписывания истинностных значений в исчислении предиката есть простая формула и формуле Приписывания истинностных значений в исчислении предиката приписывается значение Приписывания истинностных значений в исчислении предиката, то истинностное значение Приписывания истинностных значений в исчислении предиката, связанное с приписыванием элемента а переменной x и элемента b переменной y, будет Приписывания истинностных значений в исчислении предиката.

Внимание!
Если вам нужна помощь в написании работы, то рекомендуем обратиться к профессионалам. Более 70 000 авторов готовы помочь вам прямо сейчас. Бесплатные корректировки и доработки. Узнайте стоимость своей работы.
Расчет стоимостиГарантииОтзывы

В теории исчисления высказываний мы приняли, что не имеет значения, которое из двух истинностных значений T и F приписывается простой формуле. В исчислении предикатов делается расширенное допущение, что теория не зависит от поля D и приписывания функций предикатным символом.