Банк рефератов содержит более 364 тысяч рефератов, курсовых и дипломных работ, шпаргалок и докладов по различным дисциплинам: истории, психологии, экономике, менеджменту, философии, праву, экологии. А также изложения, сочинения по литературе, отчеты по практике, топики по английскому.
Полнотекстовый поиск
Всего работ:
364150
Теги названий
Разделы
Авиация и космонавтика (304)
Административное право (123)
Арбитражный процесс (23)
Архитектура (113)
Астрология (4)
Астрономия (4814)
Банковское дело (5227)
Безопасность жизнедеятельности (2616)
Биографии (3423)
Биология (4214)
Биология и химия (1518)
Биржевое дело (68)
Ботаника и сельское хоз-во (2836)
Бухгалтерский учет и аудит (8269)
Валютные отношения (50)
Ветеринария (50)
Военная кафедра (762)
ГДЗ (2)
География (5275)
Геодезия (30)
Геология (1222)
Геополитика (43)
Государство и право (20403)
Гражданское право и процесс (465)
Делопроизводство (19)
Деньги и кредит (108)
ЕГЭ (173)
Естествознание (96)
Журналистика (899)
ЗНО (54)
Зоология (34)
Издательское дело и полиграфия (476)
Инвестиции (106)
Иностранный язык (62792)
Информатика (3562)
Информатика, программирование (6444)
Исторические личности (2165)
История (21320)
История техники (766)
Кибернетика (64)
Коммуникации и связь (3145)
Компьютерные науки (60)
Косметология (17)
Краеведение и этнография (588)
Краткое содержание произведений (1000)
Криминалистика (106)
Криминология (48)
Криптология (3)
Кулинария (1167)
Культура и искусство (8485)
Культурология (537)
Литература : зарубежная (2044)
Литература и русский язык (11657)
Логика (532)
Логистика (21)
Маркетинг (7985)
Математика (3721)
Медицина, здоровье (10549)
Медицинские науки (88)
Международное публичное право (58)
Международное частное право (36)
Международные отношения (2257)
Менеджмент (12491)
Металлургия (91)
Москвоведение (797)
Музыка (1338)
Муниципальное право (24)
Налоги, налогообложение (214)
Наука и техника (1141)
Начертательная геометрия (3)
Оккультизм и уфология (8)
Остальные рефераты (21697)
Педагогика (7850)
Политология (3801)
Право (682)
Право, юриспруденция (2881)
Предпринимательство (475)
Прикладные науки (1)
Промышленность, производство (7100)
Психология (8694)
психология, педагогика (4121)
Радиоэлектроника (443)
Реклама (952)
Религия и мифология (2967)
Риторика (23)
Сексология (748)
Социология (4876)
Статистика (95)
Страхование (107)
Строительные науки (7)
Строительство (2004)
Схемотехника (15)
Таможенная система (663)
Теория государства и права (240)
Теория организации (39)
Теплотехника (25)
Технология (624)
Товароведение (16)
Транспорт (2652)
Трудовое право (136)
Туризм (90)
Уголовное право и процесс (406)
Управление (95)
Управленческие науки (24)
Физика (3463)
Физкультура и спорт (4482)
Философия (7216)
Финансовые науки (4592)
Финансы (5386)
Фотография (3)
Химия (2244)
Хозяйственное право (23)
Цифровые устройства (29)
Экологическое право (35)
Экология (4517)
Экономика (20645)
Экономико-математическое моделирование (666)
Экономическая география (119)
Экономическая теория (2573)
Этика (889)
Юриспруденция (288)
Языковедение (148)
Языкознание, филология (1140)

Реферат: Логика высказываний

Название: Логика высказываний
Раздел: Рефераты по философии
Тип: реферат Добавлен 05:30:00 18 августа 2010 Похожие работы
Просмотров: 699 Комментариев: 3 Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать

ЛОГИКА ВЫСКАЗЫВАНИЙ


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

В качестве аксиом принимаются следующие четыре высказывания:

a) рÚ q®р

b) р® рÚ q

c) рÚ q® q Ú р

d) (р® q) ®( rÚ р ® rÚ q)

e)

В этой системе принимаются три определения:

Д1 φ Ú ψ ≡`φ →ψ

df

______

Д2 φ Ù ψ ≡`φÚ`ψ

df

Д3 (φ ≡ ψ) ≡ (φ →ψ) Ù (ψ →φ)

df


Здесь символ «» означает равносильные по определению.

Для получения новых формул, как из положенных в основу исходных формул, так и из уже выведенных формул, принимаются два правила:

α) Правило подстановки.

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

β) Схема заключения.

Из двух формул φ и φ → ψ получаем новую формулу ψ.

Из сформулированных правил и аксиом можно вывести новые правила вывода формул.

ПРАВИЛО I. Если φ Ú φ – доказуемая формула, то доказуема также формула φ.

Доказательство: Подставим в α) формулу φ. Получим φ Ú φ→ φ. Поскольку φ Ú φ доказуемая формула, то, по правилу β) доказуема и формула φ.

ПРАВИЛО II. Если φ – доказуемая формула, а ψ – любая другая формула, то формула φ Ú ψ является также доказуемой.

Доказательство: Подставим в в) вместо р формулу φ, а вместо q - формулу ψ. Получаем φ ® φ Ú ψ. Схема заключения дает φ Ú ψ.

ПРАВИЛО III. Если φÚ ψ – доказуемая формула, то доказуема и формула ψ Úφ.

Доказательство: Получаем из с) заменой р на φ, q на ψ и применяем схемы заключения.

ПРАВИЛО IV. Если φ→ ψ доказуемая формула, то формула γÚφ→ γ Ú ψ также доказуема.

Доказательство : Получаем из α) заменой р на φ, q на ψ, r на γ и применяем схемы заключения.

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

Докажем, например, формулу:

(p→q)→((r→p)→(r→q))

Доказательство: Заменим в d) r на`r. Получаем (p→q)→ ((`rÚp)→(`rÚq)), но по Д1 эта формула есть иная запись доказываемой формулы.

Доказательство: Подставим в формулу вместо р формулу ψ, вместо q формулу γ, вместо r формулу φ. Получаем: (ψ → γ )→(( φ→ ψ)→( φ→ γ)) .

Применяя два раза схему заключения, получаем: φ→ γ.

Легко доказать, что в предложенной аксиоматической системе выводимы формулы алгебры высказываний. Докажем например, что формула `рÚp выводима.

Доказательство: Подставляем в в) вместо q переменную р , получаем формулу р→ рÚp. Из а) той же подстановкой получаем рÚp→ р. По правилу У выводим формулу p→ р. По Д1 эта формула представляет собой иную запись формулы`рÚp.

Аналогичным образом можно доказать остальные формулы алгебры высказываний.

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

Система исчисления высказываний может быть построена методом допущений. Этот метод ближе к обычным содержательно очевидным представлениям в том отношении, что доказательства в системах, построенных этим методом, почти не отличаются от математических доказательств и от рассуждений в других науках. Здесь оно излагается по книге Е. Слупецкого, Л. Борковского «Элементы математической логики и теории множеств».

В натуральном исчислении высказываний принимается определение формулы алгебры высказываний и следующие правила:

1) Правило отделения (обозначает ПО):

ПО φ→ ψ

;

Читается эта схема так: «Если в доказательстве имеются уже формула φ→ ψ и формула φ независимо от порядка, в каком эти формулы входят в доказательство, то к доказательству можно присоединить в качестве строки и формулу ψ».

2) Правило введения конъюнкции

ВК φ

;

Способ чтения этой схемы аналогичен.

3) Правило удаления конъюнкции:

УК ,

Правило УК можно записать в виде одной схемы:

УК

Ψ

Правило введения дизъюнкции:

ВД ,

4) Правило удаления дизъюнкции:

УД φÚ ψ φÚ ψ

,

5) Правило введения эквивалентности:


ВЭ φ→ ψ

6)Правило удаления эквивалентности:

УЭ ,

Прямое доказательство выражения φ1 →(φ2 →( φ3 → …(φп-1 →φп )…) строится следующим образом:

1. В первых n-1 строках выписываются последовательно выражения φ1 , φ2 ,… φп-1 в качестве условий теоремы.

2. К доказательству можно присоединить:

a) ранее доказанные теоремы в качестве новых строк;

b) новые строки на основании уже имеющихся строк по правилам ПО, ВК, УК, ВД, УД, ВЭ, УЭ.

1. Доказательство закончено, если его последняя строка есть выражение φп. Последняя строка доказательства не нумеруется; тем самым отмечается, что доказательство закончено.

Косвенное доказательство выражения φ1 →(φ2 →( φ3 → …(φп-1 →φп )…) строится следующим образом:

1. а) В первых n-1 строках выписываются последовательно выражения φ1 , φ2 ,… φп-1 в качестве условий теоремы.

b) В n-ой строке выписывается выражение`φп в качестве допущения косвенного доказательства.

2. К доказательству можно присоединить:

a) ранее доказанные теоремы в качестве новых строк;

b) новые строки на основании уже имеющихся строк по правилам ПО, ВК, УК, ВД, УД, ВЭ, УЭ.

3. Доказательство закончено, если в нем имеются две противоречащие строки. Окончание доказательства отмечается написанием в последней ненумерованной строке выражения «ПРТВРЧ» (сокращение слова «противоречие») с указанием справа номеров двух противоречащих строк.

Продемонстрируем приемы доказательства на ряде примеров. Их мы будем нумеровать с указанием слева Ті ( теорема номері )

Т1 (Закон гипотетического силлогизма)

(p→q)→(( q → r)→( p→ r))

Доказательство:

1) p→q

2) q → r íДопущенияý

3) р

4) q íПО : 1,3ý

r íПО : 2,4ý

Т2 (Закон контрапозиции)

(`p→q)→( `q →р) (30)

1) `p→q íДопущенияý

2) `q

3) `p íДопущения косвенного доказательстваý

4) q íПО : 1,3ý

ПРТВРчí 2,4ý

Т3 (Второй закон гипотетического силлогизма)

(p→q)Ù( q → r)→( p→ r)

Доказательство:

1) p→q

2) q → r íДопущенияý

3) р

4) q íПО : 1,3ý

r íПО : 2,4ý

Т4 ( Закон экспортации)

(pÙq → r) →(р→(q → r)) (32)

Доказательство:

1) pÙq → r

2) р íДопущенияý

3) q

4) pÙq íВК : 2,3ý

r íПО : 2,4ý

Т5 ¢

(p→q)Ù( р → r) →(p→q Ù r) (32¢ )

Доказательство:

1) (p→q)Ù( р → r) íДопущенияý

2) р

3) p→q íУК : 1ý q Ù r

4) р → r

5) q íПО : 2,3ý

6) r íПО : 2,4ý

q Ù r íВК : 5,6ý

Докажем теперь аксиомы a), b), c), d):

a) pÚq→р

Доказательство:

1) pÚq íДопущенияý

р íУД : 1ý

b) р→ pÚq

Доказательство:

1) p íДопущенияý

рÚq íВД : 1ý


pÚq→ qÚр

Доказательство:

1) pÚq íДопущенияý

2) qÚр íДопущения к.д.ý

ПРТВВРч1, 2

c) (р→ q) → (rÚр→ rÚq)

Доказательство:

1) р→ q íДопущенияý

2) rÚр

3) р íУД : 2ý

4) q íПО : 1, 3ý

rÚq íВД : 4ý

С помощью таблиц истинности можно убедиться, что ПО исключают случаи, когда его применения к истинным посылкам дает ложные результаты.

По определению импликации φ→ ψ ψ есть следствие φ во всех случаях, кроме такого, когда посылка φ истинна, а заключение ψ ложно. Так, что для доказательства того, что ПО позволяет делать из посылок следствия достаточно доказать, что импликация, антицидент которой является конъюнкция посылок, консеквент – вывод, полученный с помощью этого правила, является всегда истинной формулой.

Для ПО составляем формулу:

(φ→ ψ)Ù φ→ ψ.

И с помощью таблицы истинности убеждаемся, что эта формула тождественно истинна

φ ψ φ→ ψ (φ→ ψ)Ù φ (φ→ ψ)Ù φ→ ψ
0 0 1 0 1
0 1 1 1 1
1 0 0 0 1
1 1 1 1 1

Для ВК : φÙψ →φ Ùψ.

Таблица истинности имеет вид

φ ψ φÙψ φÙψ →φ Ùψ
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 1

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


Литература

1. Логическое суждение. Руфулаев О.Н. К. – 2005 г.

2. Логика – исскуство мышления. Тимирязев А.К.– К. 2000 г.

3. Философия и жизнь – журнал- К. 2004 г.

4. История логики и мышления – Касинов В.И. 1999.

5. Логика и человек – М. 2000.

6. Философия жизни. Матюшенко В.М. – Москва – 2003 г.

7. Философия бытия. Марикова А.В. – К. 2000 г.

Оценить/Добавить комментарий
Имя
Оценка
Комментарии:
Где скачать еще рефератов? Здесь: letsdoit777.blogspot.com
Евгений06:56:25 19 марта 2016
Кто еще хочет зарабатывать от 9000 рублей в день "Чистых Денег"? Узнайте как: business1777.blogspot.com ! Cпециально для студентов!
16:27:58 29 ноября 2015
Кто еще хочет зарабатывать от 9000 рублей в день "Чистых Денег"? Узнайте как: business1777.blogspot.com ! Cпециально для студентов!
16:23:15 25 ноября 2015

Работы, похожие на Реферат: Логика высказываний

Назад
Меню
Главная
Рефераты
Благодарности
Опрос
Станете ли вы заказывать работу за деньги, если не найдете ее в Интернете?

Да, в любом случае.
Да, но только в случае крайней необходимости.
Возможно, в зависимости от цены.
Нет, напишу его сам.
Нет, забью.



Результаты(150530)
Комментарии (1836)
Copyright © 2005-2016 BestReferat.ru bestreferat@mail.ru       реклама на сайте

Рейтинг@Mail.ru