Поиск

Полнотекстовый поиск:
Где искать:
везде
только в названии
только в тексте
Выводить:
описание
слова в тексте
только заголовок

Рекомендуем ознакомиться

'Документ'
Специальность: 080105.65 Финансы и кредит (ФК), 080109.65 Бухгалтерский учет, анализ и аудит (ТБ), 080103.65 Национальная экономика (НЭ), 080502.65 Э...полностью>>
'Документ'
Указ Президента України 11.07.2006 №606 «Про рішення Ради національної безпеки і оборони України від 6 квітня 2006 року "Про стан науково-техноло...полностью>>
'Урок'
В процессе формирования и развития личности, во взаимодействии ее с социумом и природой ведущая роль принадлежит зрению. Зрительный анализатор подает...полностью>>
'Программа'
-Поручение Председателя Правительства Российской Федерации Путина В.В., данного на заседании Правительства Российской Федерации 4 апреля 2011 г. (про...полностью>>

Значение формулы логики предикатов

Главная > Документ
Сохрани ссылку в одной из сетей:

§5. Значение формулы логики предикатов.

О логическом значении формулы логики предикатов можно говорить лишь тогда, когда задано множество M, на котором определены входящие в эту формулу предикаты. Логическое значение формулы логики предикатов зависит от значений трех видов переменных: 1) значений входящих в формулу переменных высказываний, 2) значений свободных предметных переменных из множества М, 3) значений предикатных переменных.

При конкретных значениях каждого из трех видов переменных формула логики предикатов становится высказыванием, имеющим истинное или ложное значение.

В качестве примера рассмотрим формулу , (1) в которой двухместный предикат Р(x, y) определен на множестве MхM, где M={0,1,2,…,n,…}, т.е. MхM=NхN.

В формулу (1) входит переменный предикат P(x,y), предметные переменные x,y,z, две из которых y и z – связанные кванторами, а x – свободная.

Возьмем за конкретное значение предиката P(x,y) фиксированный предикат P0(x,y): “x<y”, а свободной переменной х придадим значение . Тогда при значениях y, меньших x0=5, предикат P0(x0,y) принимает значение “ложь”, а импликация при всех принимает значение “истина”, т.е. высказывание имеет значение “истина”.



Скачать документ

Похожие документы:

  1. Логика предикатов

    Документ
    Рассмотренной нами алгебре высказываний оказывается недостаточно даже для изучения простых заключений, тем более для доказательства теорем и т.д. Это объясняется тем, что алгебра высказываний интересуется лишь истинностью или логичностью
  2. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику. Предисловие

    Учебное пособие
    Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума,
  3. Методические указания к выполнению контрольных заданий и лабораторных работ по дисциплине «Математическая логика и теория алгоритмов»

    Методические указания
    Методические указания соответствуют программе курса “Математическая логика и теория алгоритмов” для студентов специальности 22.02.03. Приведены краткие сведения по основам логики высказываний, логики предикатов, формальных аксиоматических
  4. Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов направление

    Рабочая программа
    Рабочая программа составлена в соответствии с государственным образовательным стандартом высшего профессионального образования направления подготовки дипломированного специалиста 654600 – Информатика и вычислительная техника, специальности
  5. Предмет и 3начение логики

    Документ
    Логика' — наука о мышлении. Но в отличие от других наук, изучающих мышление человека, например физиологии высшей нервной деятельности или психологии, логика изучает мышление как средство познания; ее предметом являются законы и формы,

Другие похожие документы..