рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

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

Работа сделанна в 1999 году

Логика предикатов - Реферат, раздел Философия, - 1999 год - Министерство Образования Российской Федерации Кемеровский Государственный Уни...

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ КЕМЕРОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ Юридический факультет Кафедра философии РЕФЕРАТ ПО ЛОГИКЕ на тему Логика предикатов Выполнил студент гр. Ю-993 Грибанов Ю.Ю. Проверил Овчаров А.А. Кемерово 1999 СОДЕРЖАНИЕ Введение .3 Основные понятия .1. Логика предикатов с одним переменным .5 2. Практика по решению проблемы разрешимости формул, содержащих предикаты от одного переменного .3. Поиск доказательств в натуральном интуиционистском исчислении предикатов с -символом и предикатом существования .11 Литература .17 ВВЕДЕНИЕ Проблема разрешимости эта проблема ставится для формул исчисления предикатов, лишнных символов постоянных предметов и символов индивидуальных предикатов.

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

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

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

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

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

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

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

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

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

Обозначим через n последовательность символов И и Л, где i представляе... В существует один и только один такой элемент. Элемент из, поставленны... Отсюда следует, что xp B , , x1, xp xp B , , x1, xp. е. истинна для любого поля.

Поиск доказательств в натуральном интуиционистском исчислении предикатов с -символом и предикатом существования

Теперь введем понятие натурального вывода для системы NI. 2. 3. Остальные правила вывода подразделяются на правила введения и удаления... С.К.

Литература

Литература 1. Асмус В. Ф. Проблема интуиции в философии и математике. М. Мысль, 1965. 2. Новиков П. С. Элементы математической логики. М. Государственное издательство физико-математической литературы, 1959. 3. Овчаров А. А. Интуиция в модальной логике.

Кемерово Кузбассвузиздат, 1997. 4. Овчаров А. А. Введение в идеал-реалистическую теорию интуицию. Логика социальных изоморфов. Кемерово Кузбассвузиздат, 1999. 5. Целищев В. В Карпович В. Н Поляков И. В. Логика и язык научной теории. Новосибирск Наука, 1982.

– Конец работы –

Используемые теги: Логика, предикатов0.053

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Логика предикатов

Что будем делать с полученным материалом:

Если этот материал оказался полезным для Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Еще рефераты, курсовые, дипломные работы на эту тему:

Логика. ОБЪЕКТИВНАЯ ЛОГИКА и Субъективная логика
Логика наука о формах методах и законах интеллектуальной познавательной деятельности формализуемых с помощью логического языка Поскольку это... ОБЪЕКТИВНАЯ ЛОГИКА необходимые закономерности связи отношения присущие... Субъективная логика тип вероятностной логики которая явно принимает во внимание собственность веры и неуверенность...

ЛОГИКА АРИФМЕТИКИ И ЛОГИКА ЖИЗНИ
На сайте allrefs.net читайте: "ЛОГИКА АРИФМЕТИКИ И ЛОГИКА ЖИЗНИ"

Объект и предмет формальной логики. Особенности абстрактного мышления. Истинность и правильность мышления. Язык логики
Безотносительными называются понятия отражающие предметы существующие раздельно и мыслящиеся вне их отношения с другими предметами студент... Соотносительными называются понятия содержащие признаки указывающие на... Способы проверки правильности простого категорического силлогизма...

Протагор, Уватом, Сократ, Платон, Аристотель. Логика как наука. Предмет и значение логики.
Протагор Уватом Сократ Платон Аристотель... Логика как наука Предмет и значение логики... Аристотель в века до н э систематизировал все научные данные и основал такую дисциплину как Логика...

Предмет и значение логики. История становления логики как академии ческой дисциплины
Высшего профессионального образования... Российская академия народного хозяйства и государственной службы... при Президенте Российской Федерации...

Логика – это наука о формах и законах человеческого мышления. Логика прошла в своем развитии три этапа
Основные понятия и операции формальной логики Законы логики Логические переменные Логические выражения и их преобразования Построение таблиц... Логика это наука о формах и законах человеческого мышления Логика прошла в своем развитии три этапа...

Лекция 5. Логика предикатов
Введение... Praedicatuum лат сказанное это сказуемое утверждения то что... В логике высказываний атом рассматривается как неделимое целое структура и состав которого не поддаются внешнему...

Логика как наука. Определение логики
Затем она дополнилась методами индуктивной логики. Именно эта логика в течение долгого времени преподавалась в школах и… Это изменение было сделано в пользу дедукции. Благодаря символизации и применению математических методов сама…

Логика предикатов с одним переменным
В последующем изложении предполагается, что рассматриваемые формулы таковы (если не сделано специальных оговорок). Каждая такая формула… Если формула истинна для данного поля M и для всех предикатов, определённых на… Легко показать, что если формула U тождественно истинна, то формула ложна, и наоборот. Постановка проблемы…

Лекция 5. Логика предикатов 3 Каждый человек смертен
Введение... Praedicatuum лат сказанное это сказуемое утверждения то что... В логике высказываний атом рассматривается как неделимое целое структура и состав которого не поддаются внешнему...

0.035
Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • По категориям
  • По работам
  • Логика мышления и наука логика Логика Учебник для средней школы Издание восьмое Утвержд н Министерством просвещения РСФСР...
  • ЛОГИКА. ПРЕДМЕТ ЛОГИКИ М И ИВЛЕВА... ГЛАВА ПРЕДМЕТ ЛОГИКИ... Из истории логики Название науки логики происходит от древнегреческого слова...
  • Философия языка "Трактата": логика языка versus логика мышления Почти год Витгенштейн провел в плену, большую часть времени в лагере в Монте-Касино (Южная Италия). Здесь он и закончил ЛФТ. На протяжении всего… Добавим, что первое издание ЛФТ относится к 1921 году [23] . Для общей оценки… Можно сказать, что именно в этом произведении был выражен лингвистический поворот, у Фреге и Рассела лишь намеченный,…
  • Формирование логики из истории логики Много различных значений связано со словом логика Логикой мы называем во первых необходимую закономерность во взаимосвязи объективных явлений... Логика и дру гие науки о процессе мышления Логика и мышлениеОсвоение... Абстрактное мышление как объект логикиЧеловек обладая сознанием отражает действительность и получает знания о...
  • Конспект книги ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ С иных позиций изучает мышление логика На сайте allrefs.net читайте: Конспект книги ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ С иных позиций изучает мышление логика. Она исследует мыш­ление как средство познания объективного мира, те его формы и. Конспект книги...