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

Раздел Информатика
/
Тема 6. Сложные высказывания.

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

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

Тема 6. Сложные высказывания.

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

Формализация естественного языка в логике высказываний. Язык логики высказываний. Простые и сложные высказывания. Логические союзы (конъюнкция, дизъюнкция, строгая дизъюнкция, импликация, тождество, отрицание) и их выражение в естественном языке. Грамматика логики высказываний. Основные принципы классической логики высказываний: принцип неразложимости простых высказываний, принцип не противоречия, принцип исключенного третьего, принцип функциональной зависимости истинностных значений сложных высказываний от истинностных значений простых высказываний.

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

Равносильность формул логики высказываний. Тождественно-истинные преобразования.

Характеристика проблемы разрешения при табличном построении логики высказываний. Определение наличия логического следования. Логические отношения между сложными высказываниями.

Литература:

1. Гетманова А.Д. Логика. М., 1986. С. 80-89.

2. Ивин А.А. Логика. М., 1999. С. 132-141.

3. Ивлев Ю.В. Логика для юристов. М., 2000. С. 49-60.

4. Кириллов В.И., Старченко А.А. Логика: Учебник для юридических вузов. М., 2001. С. 78-85.

5. Никифоров А.Л. Общедоступная и увлекательная книга по логике. М., 1996. С. 58-72.

Развернуть

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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