Помощь студентам, абитуриентам и школьникам.

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

Оперативная помощь в написании работы

Пример: Курсовая работа
Логика предикатов с одним переменным.


ВУЗ, город:

Коряжма

Предмет: Логика

Курсовая работа по теме:

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

Страниц: 11

Автор: Сергей Пашков

2000 год

Внимание!
Это только выдержка из работы

Рекомендуем посмотреть похожие работы:

  1. Логика,предмет и метод (Реферат, 2007)

    ... связях и развитии мыслей являются отражением объективных закономерностей.Логикой называют также науку о закономерностях в связях и развитии мыслей.Логика ...

  2. Предмет и значение логики (Реферат, 2012)

    ... только, как осуществляется процесс мышления; логика же рассматривает условия, при ... доказательство? Доказательство заключается в том, что мы положения неочевидные стараемся свести к положениям или фактам непосредственно очевидным или вообще очевидным ...

  3. Предмет и общее понятие логики (Контрольная работа, 2011)

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

  4. Логика Аристотеля (Реферат, 2012)

    ... систему логики Аристотеля; - определить место величайшего древнегреческого философа и ученого в истории логики; - в заключение работы подвести итоги ...

  5. Тема по алгебре:Корни многочлена от одного неизвестного (Курсовая работа, 2009)

    ... безуспешные поиски формул, которые выражали бы корни уравнений пятой и более высоких степеней через коэффициенты этих уравнений при ...

  6. задачи логика (Реферат, 2008)

    ... Беззаконие общее, не регистрирующее, абстрактное, отрицательное, безотносительное понятие. Баба яга пустое, регистрирующее, конкретное, положительное, безотносительное понятие. Справедливость общее, не регистрирующее, абстрактное, положительное ...

  7. 11 заданий по логике (Контрольная работа, 2007)

    ... своей целью профилактику правонарушений являются следственными действиями. Противопоставление предикату: это преобразование суждения путем последовательного превращения, а ... «Два противоположных или противоречащих суждения об одном и том же предмете, ...

Содержание

Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .3

Основные понятия . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .4

§1. Логика предикатов с одним переменным . . . . . . . . . . . . . . . . . . . . . . . . . . . .5

§2. Практика по решению проблемы разрешимости формул, содержащих пре-дикаты от одного переменного . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9

Выдержка

Проблема разрешимости эта проблема ставится для формул исчисления предикатов, лишённых символов постоянных предметов и символов индивиду-альных предикатов. В последующем изложении предполагается, что рассмат-риваемые формулы таковы (если не сделано специальных оговорок).

Каждая такая формула представляет собой определённое утверждение, ис-тинное или ложное, когда оно относится к определённому полю M.

Если такая формула истинна для некоторого поля M и некоторых предика-тов, на нём определённых, мы будем называть её выполнимой.

Если формула истинна для данного поля M и для всех предикатов, опреде-лённых на M, мы будем называть её тождественно истинной для поля M.

Если формула истинна для всякого поля M и для всяких предикатов, будем называть её тождественно истинной или просто истинной.

Формула называется ложной или невыполнимой, если ни для какого поля ни при каких замещениях предикатов она не является истинной. Легко показать, что если формула U тождественно истинна, то формула ложна, и наоборот.

Постановка проблемы разрешимости для логики предикатов аналогична по-становке этой проблемы для алгебры высказываний. Её решение и является це-лью данной курсовой работы. Итак, проблема ставится следующим образом: дать эффективный способ для определения является ли данная формула вы-полнимой или нет.

Умея решать вопрос о выполнимости, мы тем самым сможем решать и во-прос об истинности любой формулы. В самом деле, если формула U истинна, то формула невыполнима, и обратно. Поэтому, доказав выполнимость или невыполнимость, мы тем самым проверим истинность U. Проблема разре-шимости для логики предикатов является усилением проблемы разрешимости для исчисления высказываний, так как все формулы исчисления высказываний входят в число формул логики предикатов. Однако в то время как решение проблемы разрешимости для исчисления высказываний никаких трудностей не представляет, проблема разрешимости для логики предикатов оказалась свя-занной с серьёзными трудностями.

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

3 10
RUR 1490

Книги для самоподготовки по теме "Логика предикатов с одним переменным." - Курсовая работа

Логика
Логика
Prospekt.org , 2013

ISBN 5392012825,9785392012824

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

ISBN 5276011036,9785276011035

Langenscheidt's dictionary of mathematics
Langenscheidt's dictionary of mathematics
Routledge , 1996

ISBN 3861170744,9783861170747

This Langenscheidt title is now distributed by Routledge in the USA and Canada.
Логика
Логика
1963

ISBN

Гносеологические проблемы формализации
Гносеологические проблемы формализации
1969

ISBN

Логика
Логика
Prospekt.org , 2013

ISBN 5392010857,9785392010851

Дискретная математика, У/П
Дискретная математика, У/П

ISBN 5276011036,9785276011035

Логика
Логика
1963

ISBN

Гносеологические проблемы формализации
Гносеологические проблемы формализации
1969

ISBN







Карта : А Б В Г Д Е Ё Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Наверх