Категория
Информатика
Тип
реферат
Страницы
4 стр.
Дата
03.09.2009
Формат файла
.rtf — Rich Text Format (Wordpad)
Архив
18531.zip — 45.68 kb
  • ischislenie-vyskazyvanij_18531_1.rtf — 842.56 Kb
  • Readme_docus.me.txt — 125 Bytes
Рейтинг
10  из 10
Оценок
1
Оцените работу
Хорошо  или  Плохо


Текст работы

Исчисление высказываний E.M.V.
Исчисление высказываний.
В этой работе мы рассмотрим исчисление высказываний как инструмент для определения истинности утверждений
. Затем мы рассмотрим расширение исчисление высказываний до исчисления
предикатов. Это расширение позволит нам строить рассуждения над целым рядом конструкций таких, как циклы. Мы также рассмотрим идеи эквивалентности, общезначимости или тавтологии для доказательства.
Начало исчисления высказываний было положено работами Джоржа Буля. Подметив сходство в свойствах логических операций О R и AND
со свойствами арифметических операций умножения и сложения, он создал исчисление для вычисления истиности утверждений подобно тому, как правила арифметических операций позволяют вычислять значения
арифметических выражений. В созданном им исчислении Буль обозначил символами как отдельные утверждения, так и целые конструкции из утверждений.
Любое высказывание в этом исчислении может иметь одно из двух значений:
истина ( true ) или ложь ( false ). Ниже приведены примеры утверждений:
Сумма двух сторон треугольника больше или равна третьей стороне этого треугольника.
2х2=4.
“Каждый охотник желает знать, где сидят фазаны” (первые буквы слов в этой
фразе определяют порядок цветов в спектре слева направо).
Для того, чтобы строго определить способ записи подобных утверждений Буль предложил понятие высказывания.
В таблице 5.1. перечислены названия и обозначения всех логических операций, используемых в высказываниях.
Таблица 5.1.
NOT отрицание
OR дизъюнкция
AND
коньюнкция
импликация
тождественность
Определение 5.1. Высказывание - выражение, построенное по следующим правилам:



Ваше мнение



CAPTCHA