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

Раздел Философия
/
Истинности высказываний

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

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

Истинности высказываний

Истинности высказываний - раздел Философия, ЛОГИКА План 1. Задачи Логики Высказываний. Элементы Метаязык...

План

1. Задачи логики высказываний. Элементы метаязыка логики высказываний.

2. Таблицы истинности. Значение истинности высказывания.

3. Общезначимые, нейтральные и всегда ложные высказывания.

4. Метод установления общезначимости.

Контрольные вопросы

1. Вопросы логического характера, разрешимые в логике высказываний. Синтаксис и семантика метаязыка.

2. Сформулируйте принцип двузначности. Какова роль принципа двузначности в логике высказываний.

3. Дайте классификацию высказываний с точки зрения: а) их формальной структуры; б) значений истинности.

4. Что такое общезначимость? Каковы методы установления значения истинности составного (молекулярного) высказывания?

Упражнения

1. Для каждого из следующих высказываний (1)найдите символическую форму; (2) постройте таблицу истинности.

a) Если Билл умен, а Катя молчалива, то Ахмед получит приз;

b) Ахмед получит приз в том и только в том случае, если он умен или если Билл глуп;

c) Если Ахмед глуп, а Катя болтлива, то Джон не получит приз;

d) Если Катя молчалива, но Ахмед глуп, то если Джон удачлив и хорош собой, они могут составить хорошую команду и получить приз.

2. Установить значение истинности высказываний.

1. (А v В) ↔ (В v А)

2. A → (A v B)

3. (A → B) ↔ (B → A)

4. (A → B) ↔ (~ A v B)

5. (A v B) ↔ (~ A → B)

6. ((A → B) ^ (B → C)) → (A → C)

7. ~ (A → B) ↔ (A ^ ~ B)

8. (( A → B) ^ (B → C) ^ ~ C) → ~ A

Развернуть

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

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

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

ЛОГИКА

ГОСУДАРСТВЕННОЙ СЛУЖБЫ... КАФЕДРА ФИЛОСОФИИ И МЕТОДОЛОГИИ НАУКИ... C В ОСТРОВСКИЙ...

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

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

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

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

Отв. редактор д-р филос. наук, профессор В.И. Стрюковский
Логика: Учебно-метод. пособие. Островский С.В. Ростов н/Д.: Изд-во СКАГС, 2009. 85 с. Учебно-методическое пособие предназначено дл

Тема 1. Предмет логики, ее значение для научно-практической деятельности
Мышление как предмет изучения (философия, психология, логика). Мышление и язык. Правильность, истинность, справедливость суждений и аргументации. Понятие логической формы. Определение форм

Тема 2. Понятие как форма мышления
Понятие как форма мышления, роль понятий в познании. Анализ, синтез, сравнение, абстрагирование, обобщение как логические приемы формирования понятий. Содержание и объем понятий. Признаки

Тема 3. Суждение как форма мышления
Общая характеристика суждения. Суждение и предложение. Виды предложений, их логический смысл. Простые и сложные суждения. Виды простых суждений: атрибутивные суждения, суждения существован

Тема 6. Доказательство и опровержение
Понятие доказательства. Строение доказательства. Тезис доказательства. Требования к тезису в процессе аргументации. Основной и подчиненный тезисы. Аргументы и их виды. Аргументы и факты. Демонстрац

Семинар 1. Предмет и значение логики
План 1. Основные значения слова «логика». 2. Правильность, истинность, справедливость мышления как принципиально различные характеристики (оценки).

Семинар 2. Понятие как форма мышления
План 1. Понятие как форма мышления. 2. Содержание и объем мышления. 3. Виды понятий. 4. Отношения между понятиями. Типы совместимости и несовместим

Семинар 3. Суждение. Виды суждения
План 1-го занятия 1. Суждение как форма мышления 2. Простые суждения, их состав и виды. 3. Категорические суждения. Классификация простых категорических суж

Анализ аргументов. Логический анализ информации.
План 1. Логическое следование, анализ отношений логического следования. 2. Правила вывода, их логический смысл. 3. Понятие вывода. 4. Анализ аргум

A ^ (B → C). ~ A ^ B.
(A ^ B) → C. ~ (A ^B) c) Таблицы истинности составных высказываний (формул), образованных при помощи логических констант (~, ^, v, →, ↔)