04 1 55_1 (775936)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Исчисление высказываний и его интерпретация в алгебре логики. Исчисления предикатов первого порядка.

1. Исчисление высказываний и его интерпретация в алгебре логики.

Формальная система высказываний и отношений между ними. В отличие от исчисления предикатов исчисление высказываний рассматривает простые, далее не разлагаемые высказывания, а не предикаты как атомарные единицы таких высказываний. Простые (атомарные) высказывания обозначаются строчными латинскими буквами (напр., p, q), составные (молекулярные) высказывания образуются при помощи стандартных символов  для «и»,  для «или»,  для «если ... то», и  для «не». Будучи формальной системой, исчисление высказываний рассматривает, какие формулы (составные формы высказываний) являются доказуемыми на основе имеющихся аксиом. Обоснованные выводы из числа высказываний выражаются в доказуемых формулах, поскольку (для любых формул A и B) A  B доказуемо, если и только если B является логическим следствием из A. Исчисление высказываний является непротиворечивым, поскольку в нем не существует формулы A такой, что доказуемо и A, и  A. Оно также является полным в том смысле, что добавление любой недоказуемой формулы в качестве новой аксиомы должно приводить к противоречию. Кроме того, существует эффективная процедура, позволяющая устанавливать, является ли предложенная формула доказуемой в данной системе.

{ http://phenomen.ru/public/dictionary.php?article=1231}

2. Исчисления предикатов первого порядка.

Исчисление предикатов - раздел современной символической логики, который систематически изучает логические отношения между высказываниями, включающими такие кванторы, как «все» и «некоторые». Исчисление предикатов обычно строится на основе какой-либо формы исчисления высказываний и включает кванторы, индивидуальные переменные и предикатные буквы. Предложение вида «Все F суть либо G, либо H» символически выражается как ("x)[Fx É (Gx Ú Hx)], а предложение «Некоторые F суть и G, и H» символически выражается как ($x)[Fx Ù (Gx Ù Hx)]. После того, как будут определены условия истинности и ложности для основных типов высказываний, все формулируемые в рамках данного исчисления высказывания группируются в три взаимоисключающих класса: (1) те, которые истинны при любой интерпретации значений составляющих их предикатов, напр., «Все есть F или не F»; (2) те, которые ложны при любой подобной интерпретации, напр., «Нечто есть F и не F»; и (3) те, которые истинны при одной интерпретации и ложны при других, напр., «Нечто есть F и G». Такие группы высказываний называются соответственно общезначимыми, противоречивыми и случайными. Определенные общезначимые типы высказываний могут быть избраны в качестве аксиом или в качестве основы для правил вывода. Существует множество полных аксиоматизаций для исчисления предикатов первого (или более низких) порядка («первый порядок» означает, что кванторы связывают индивидуальные переменные, но не переменные, относящиеся к предикатам индивидов).

{ http://phenomen.ru/public/dictionary.php?article=1226}

Исчисление предикатов первого порядка является определенным расширением исчисления высказываний, поэтому на основе каждого исчисления высказываний может быть построено соответствующее ему исчисление предикатов.

{ http://filosof.historic.ru/books/item/f00/s00/z0000716/st003.shtml}

Характеристики

Тип файла документ

Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.

Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.

Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.

Список файлов ответов (шпаргалок)