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

Раздел Информатика
/
Тема 11. Система натурального вывода для логики высказываний и логики предикатов.

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

Выберите учебное заведение

Тема 11. Система натурального вывода для логики высказываний и логики предикатов.

Тема 11. Система натурального вывода для логики высказываний и логики предикатов. - раздел Информатика, РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ по курсу ЛОГИКА Идея Формальной Дедуктивной Системы Приближенной К Естественному Рассуждения....

Идея формальной дедуктивной системы приближенной к естественному рассуждения. Специфика построения вывода. Элементарные выводимости и элементарные способы рассуждения. Понятие допущения и их удаление из вывода.

Формулировка системы натурального вывода Правила вывода первого рода (элементарные выводимости). Правила вывода второго рода (элементарные способы рассуждения). Производные правила вывода. Эвристические принципы поиска доказательств.

Система натурального вывода для логики предикатов. Правила введения и удаления кванторов. Ограничения на переменные.

Литература:

1. Ивлев Ю.В. Логика. - М., 1992. - С. 93-105.

2. Бочаров В.А., Маркин А.В. Основы логики. – М., 2000.

3. Войшвилло Е.К., Дегтярёв М.Г. Логика. – М., 2000.

Развернуть

Открыть в широком формате

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

Эта тема принадлежит разделу:

РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ по курсу ЛОГИКА

ТОМСКИЙ ГОСУНИВЕРСИТЕТ... УТВЕРЖДАЮ... г...

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

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

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

Все темы данного раздела:

Тема 1. Предмет и метод формальной логики.
Знание как система (содержательное многообразие и организационное единство). Способы организации знания: прагматический - с точки зрения пользы; эстетический - с точки зрения красоты; теоретический

Тема 2. Понятие как форма мышления
Общая характеристика понятия. Языковые формы выражения понятий. Термины и понятия. Понятие и предикат. Приемы формирования понятий. Содержание понятия. Полное и основное содержание.

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

Тема 5. Простое атрибутивное суждение.
Суждение как логическая форма. Суждения и предложения. Виды суждений. Понятие простого атрибутивного (ПАС) или категорического суждения. Отличие ПАС от суждений логики предикатов. Структура ПАС. Кл

Тема 6. Сложные высказывания.
Формализация естественного языка в логике высказываний. Язык логики высказываний. Простые и сложные высказывания. Логические союзы (конъюнкция, дизъюнкция, строгая дизъюнкция, импликация, тождество

Тема 7. Анализ высказываний в логике предикатов
Формализация естественного языка в логике предикатов. Имена единичные и общие Понятие предиката. Одноместные, многоместные предикаты. Высказывание как нульместный предикат.

Тема 8. Модальные характеристики высказываний.
Модальная логика. Алетическая логика как разновидность модальной. Модальности de dicto; de Re. Модальные операторы и модальные характеристики суждений. Модальные логические системы. Виды модальност

Тема 9. Умозаключения из простых атрибутивных суждений.
Непосредственные умозаключения: выводы по логическому квадрату, превращение, обращение, противопоставление предикату. Различные способы противопоставлений и методы их проверки.

Тема 12. Правдоподобные рассуждения.
Демонстративные и правдоподобные умозаключения. Основные виды правдоподобных умозаключений. Дедуктивные правдоподобные умозаключения. Индуктивные умозаключения. Энумеративная индукция: пол

Тема 14. Логические аспекты процесса убеждения.
Полемика: её структура и разновидности. Понятие и состав полемической ситуации. Логика спора. Логические ошибки, встречающиеся в опровержении. Допустимые и запрещенные приемы ведени

Тема 15. Вопрос, проблема и гипотеза.
Элементы логики вопросов. Вопрос и высказывание. Структура вопроса. Виды вопросов. Предпосылка (базис) вопроса. Условия правильной постановки вопроса. Виды ответов. Проблема построе