Студопедия

Главная страница Случайная лекция

Порталы:

БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика






Правила выводов логики высказываний

Читайте также:
  1. I ФИГУРА ЕЕ ОСОБЫЕ ПРАВИЛА И МОДУСЫ
  2. I. ПРЕДМЕТ ЛОГИКИ
  3. Внешнеэкономические контракты.(ст.382 ХКУ) Правила ИНКОТЕРМС и расчеты при осуществлении внешнеэкономических операций.
  4. Вопрос 3. Принципы и правила обучения.
  5. Вопрос 4. Правила ведения визуальной ориентировки.
  6. Вопрос 53 - и изменение и раст по одинаковым правилам.
  7. Выбор заготовки и баз при обработке заготовки. Понятие о базах. Правила базирования. Схемы базирования. Погрешность базирования. Условные обозначения базирующих элементов.
  8. Вывихи: понятие, признаки, общие правила оказания первой медицинской помощи
  9. Группы крови, правила переливания крови. Свертывание крови. Гемостаз его регуляция.
  10. ДИАЛЕКТИКА КАК МЕТОДОЛОГИЧЕСКАЯ ОСНОВА ЛОГИКИ.

Корректность и полнота логики высказываний

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

Оставшиеся три правила вывода – правила введения и удаления дизъюнкции:

 
  G |– F
(В Ú)  
  G |– F Ú G

 

 

 
G |– G
 
G |– F Ú G

 

 

  G |– F Ú G G È F |– C G È G |– C
(У Ú)  
  G |– C

Здесь F и G – формулы, и C – либо формула, либо ^.

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

Мы рекомендуем строить деревья доказательства, начиная с корней (т.е. с формул, которые надо вывести) и постепенно наращивая дерево, добиваясь, чтобы конечными формулами в дереве были аксиомы.

В каждой из следующих задач выведите данную формулу из пустого множества посылок.

1)(p Ú q) É (q Ú p).

2)(p Ú p) º p.

3) ¬p É ((p Ú q) º q).

4)(p & (q Ú r)) º ((p & q) Ú (p & r)).

5) ¬¬p º p.

6)¬(p Ú q) º (¬p & ¬q).

И) Оба правила введения дизъюнкции корректны.

К) Правило удаления дизъюнкции корректно.

Теорема корректности.Если существует вывод F из G, тогда G логически влечёт F.

Теорема полноты.Для любой формулы F и любого множества формул G, если G влечёт F, тогда существует вывод F из подмножества G.

Полнота логики высказываний (для другого множества правил вывода) была установлена Эмилем Постом в 1921 году.

Правило вывода – это предписание, или разрешение позволяющее из суждения 1-ой логической структуры, как посылок, вывести суждения некоторой логической структуры, как заключения.

Особенности правил заключения в том, что признаки истинности заключения производятся на основе не содержания, а их структуры. Правила вывода записываются в виде схемы, которая состоит из 2-х частей (сверху и снизу), разделённых вертикальной линией. Над чертой в столбец записываются логические схемы посылок, под чертой логические схемы заключения.

Все правила выводов логики высказываний делятся на 2-е группы:

Основные и Производные.

- Основные – это простые и очевидные правила, не нуждающееся в доказательстве. Основные делятся на прямые и косвенные.

· Прямые – это такие правила, которые указывают на непосредственно выводимость одних суждений из других.

· Косвенные – лишь дают возможность умозаключить о правомерности вывода одних суждений из других.

- Производные - сокращённый процесс вывода, выводятся из основных.

Основные прямые.

 

Введение конъюнкции: А , В

А ⋀ В

Удаление конъюнкции: А ⋀ В

А , В

Введение дизъюнкции: А В

А ⋁ В А ⋁ В

Удаление дизъюнкции: А ⋁ В

Ā .

В

Удаление импликации: А ⊃ В

А .

В

Введение отрицания/удаление: А ; Ǟ

Ǟ ; А

Введение эквивалентности: А ⊃ В, В ⊃ А

А <--> В

Удаление эквивалентности: А <--> В

А ⊃ В, В ⊃ А

 

Основные непрямые.

 

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



Введение импликации.

1.А ⊃ В

2.А – допущение

3.В ⊃ С

4.В – удаление импликации 1,2

5.С – удаление импликации 3,4

6.А ⊃ С введение импликации 2,5.

 

Правило сведения к абсурду – если из посылок и допущения, в ходе рассуждения или доказательства выводятся 2-а противоречащих друг другу высказываний В и не В, то в заключении можно записать не А. В (не В)

В

Ā

 

Производные.

Правило условного (гипотетического) силлогизма:

А ⊃ В В ⊃ С А ⊃ С 1.А ⊃ В 4. В – удал.имплик.1,3. 2.В ⊃ С 5. С – удал.имплик.2,4. 3. А – доп. 6. А ⊃ С введ.имплик.3,5.

 

 

Отрицание дизъюнкции:

А ⋁ В ¬А ⋀ В 1. А⋁ В 4. ¬А – свед.к абсур.1,3 2. А – доп. 5. В – допущ. 3. А ⋁ В – введ.диз.2 6. А ⋁ В – введ.диз.5 7. ¬В - свед.к абсур.1,6 8. ¬А ⋀ В– введ.диз.4,7

Отрицание конъюнкции:

¬А⋀¬В ¬А ⋁ В   1. ¬А⋀¬В 5. ¬В - уд.коньюнк. 2. ¬А ⋁¬В введ.допущ. 6. А – уд.отриц.4 3. ¬А⋀¬В - отриц.диз. 7. В – уд.отриц.5 4. ¬А – уд.коньюнк.3 8. А ⋀ В – введ.коньюнк.6,7 9. ¬А ⋁¬В - свед.к абсур.1,8

Правило модус толенс:

А ⊃ В В ¬А 1. А ⊃ В 4. В – уд.импл.1,3 2. ¬В 5.¬А – свед.к абсур.2,4 3. А – допущ.

Правило контрапозиции:

А ⊃ В ß ⊃ ¬А 1. А ⊃ В 3. ¬А – модус тол.1,2 2. В- допущ. 4. ß ⊃ ¬А – введ.имплик.2,3

Сложная контрапозиция:

(А ⋀ В) ⊃ С (А ⋀С)⊃¬В 1. (А ⋀ В) ⊃ С 5. ¬А⋀¬ß отр.антицид.1,4 2. А ⋀ С – доп. 6. ¬А ⋁ В- отр.кон.5 3. А 7. ¬А – введ.отриц.3 4. ¬С -уд.коньюн.2 8. ¬В- уд.дизьюнк. 9. (А ⋀ С) ⊃ ¬В введ.импл.2,8.

Правило импортации.

А ⊃ (В ⊃ С) (А ⋀ В) ⊃ С 1. А ⊃ (В ⊃ С) 5. В ⊃ С –уд.имплик.1,3 2. А ⋀ В – доп. 6. С – уд.имплик.4,5 3. А 7. (А ⋀ В) ⊃ С – введ. 4. ¬В - удал.коньюнк имплик.2,6.

 

Правило экспортации:

(А ⋀ В) ⊃ С А ⊃ (В ⊃ С) 1. (А ⋀ В) ⊃ С 5. С – уд.импл.4,5 2. А – допущ. 6. В ⊃ С – введ.импл.3,5 3. В – допущ. 7. А ⊃ (В ⊃ С) – введ. 4. А ⋀ В – введ.конъюн.4,5 имплик.2,6.

 

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

А ⊃ С В ⊃ С А ⋁ В С 1. А ⊃ С 5. Ā – модус толен.1,4 2. В ⊃ С 6. ß- модус толен.2,4 3. А ⋁ В -+ посыл. 7. В – уд.дизъюн.3,5 4. Č – допол. 8. С – свед.к абс.6,7

Сложная конструктивная дилемма:

А ⊃ В С ⊃ D А ⋁ С B ⋁ D 1.А ⊃ В 7. А ⊃(B ⋁ D) – введ.импл.4,6 2.С ⊃ D 8. С – допущ. 3.А ⋁ С 9. D – уд.импл.2,8 4.А – доп 10. B ⋁ D – введ.дизъюн.9 5.В – уд.импл.1,4 11. С ⊃(B ⋁ D) – введ.импл.8,10 6. B ⋁ D – введ.диз.5 12. B ⋁ D – прост.констр.дилем.

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

А ⊃ В А ⊃ D ¬В⋁¬D ¬А 1.А ⊃ В 4. ¬В ⊃ А 2.А ⊃ D 5. ¬D ⊃ А - контр.поз.2,3 3. ¬В⋁¬D 6. ¬А – прост.констр.дил.3,4,5  

Сложная деструктивная дилемма:

А ⊃ В С ⊃ D ¬В⋁¬D ¬А⋁¬С 1.А ⊃ В 4. ¬В ⊃ ¬А 2.С ⊃ D 5. ¬D ⊃ ¬С пр.констр.дил.2,3 3.¬В⋁¬D 6. ¬А⋁¬С – сл.конст.дил.3,4,5

Импликация через конъюнкцию

А ⊃ В ¬А⋀¬В 1. А ⊃ В 4. ß- уд.кон.2 2. А ⋀ ß- доп. 5. В – уд.импл.1,3 3. А – уд.кон.2 6. ¬А⋀¬В - свед.к абсур.4,5

 

Вопросы для самоконтроля:

1. В чем различие между суждениями, вопросами и нормами?

2. Каков состав и каковы виды атрибутивных суждений?

3. Каковы виды суждений об отношениях?

4. Каковы виды сложных суждений?

5. Как производится отрицание атрибутивных суждений и суждений об отношениях?

6. Как отрицаются сложные суждения?

7. Каковы основные виды отношений между суждениями?

8. Отношения между какими суждениями выражаются посредством логического квадрата?

9. Как выражаются на языке логики предикатов атрибутивные суждения и суждения об отношениях?

10. Какие вопросы являются некорректными? Назовите виды некорректности вопросов.

11. Как соотносятся понятия “обязательно”, “разрешено” и “запрещено”.

 

Задания для самостоятельной работы:

I. Являются ли суждениями следующие предложения?

1. Урал находится от нас далеко.

2. По дорожке чистой, гладкой

Я прошел, не наследил...

Кто ж катался здесь украдкой?

Кто здесь падал и ходил?

(С.Есенин)

3. Без экспериментов невозможен научно-технический прогресс.

4. Современный физический или биологический эксперимент часто дает столько информации, что обработать ее без ЭВМ практически невозможно.

5. Он сегодня не явился на работу.

6. Какой студент не мечтает получить на экзамене хорошую оценку?

7. Необходимо активнее внедрять информатику и вычислительную технику в учебный процесс.

8. Спать! Выключи свет!

9. Что день грядущий мне готовит?

10. Куда там сейчас ехать? Разве отсюда выберешься? (К.Паустовский).

11. У лесного оврага в тени под дубками цветут ландыши и земляника.

12. Евгений ждет: вот едет Ленский

На тройке чалых лошадей,

Давай обедать поскорей!

«Ну, что соседки?

Что Татьяна?

Что Ольга резвая твоя?»

(А.С.Пушкин)
II. Определите вид, термины суждения и их распределенность в следующих рассуждениях:

1.Некоторые подлежащие выражаются местоимениями в именительном падеже.
2. Некоторые школьники не изучают второй иностранный язык.

3. Гранит широко используют в строительстве.

4. Ни один дельфин не является рыбой.

5. Стендаль — автор романа «Красное и черное».

 

V. Зная распределенность терминов в простом атрибутивном ассерторическом суждении, постройте правильно мысль:

5.1. Шоссе (S+), дорога с твердым покрытием (P-);

5.2. Русский ученый (S-), лауреат Нобелевской премии(P-);

5.3. Пантера(S+), травоядное животное (P+);

5.4. Глава Правительства(S+), руководитель высшего органа исполнительной государственной власти(P+);

5.5. Писатель(S-), драматург(P+).

 

 

IV. Определите вид и логическую форму следующих сложных суждений
и запишите их структуру формулой.

1. «Детская душа в одинаковой мере чувствительная и к родному слову, и к красоте природы, и к музыкальной мелодии. Если в раннем детстве донести до сердца красоту музыкального произведения, если в звуках ребенок почувствует многогранные оттенки человеческих чувств, он поднимается на такую ступеньку культуры, которая не может быть достигнута никакими другими средствами» (В.А.Сухомлинский).

2. Чем больше крови протекает через сосудистую систему за единицу времени, тем обильнее снабжение органов кислородом и питательными веществами, тем больше продуктов жизнедеятельности оттекает от тканей.

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

4. «Если наши дети — это наша старость, то правильное воспитание —это наша счастливая старость, плохое воспитание — наше горе, это наши слезы, это наша вина перед другими людьми» (А.С.Макаренко).

V. Определите вид модальности в следующих суждениях:

1. Доказано, что S= п• R2 где S - площадь круга, а R его радиус.

2. Внедрение вычислительной техники невозможно без обучения людей, которые будут ее использовать.

3. Необходимо, чтобы космос был мирным.

4. Возможно, завтра будет хорошая погода, и мы пойдем на экскурсию в лес.

5. Дети дают нам возможность оставить свой след на земле — в их памяти, в их деятельности, в традиции и знаниях, которые мы им передаем.

VI. Являются ли законами логики следующие формулы:

6.1.((p → q) ^ ¬ q) → ¬ q.

 

6.2. ¬ (¬ p V ¬ q V ¬ r ) = p ^ ¬ q ^ r.

 

6.3. ((¬ p → q) ^ (¬ p → ¬ r) ^ (¬ q V r )) → p

 

6.4. ((p →¬ q) ^ (¬ r → s) ^ ( p V ¬ r)) → (¬ q Vs).

 

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

7.1. Установлено, что преступление могли совершить Смит, Джонс или Браун. Известно, что Джонс никогда не совершает преступления без Брауна. Следовательно, если Браун не совершал преступления, то его совершил Смит.

7.2. Если человек удовлетворен работой и счастлив в семейной жизни, то у него нет причин жаловаться на судьбу. У этого человека есть причина жаловаться на судьбу. Значит, он либо удовлетворен и счастлив в семейной жизни, либо счастлив в семейной жизни, но не удовлетворен работой.

7.3. Если человек говорит неправду, то он заблуждается или сознательно вводит в заблуждение других. Этот человек не говорит не правду, но явно не заблуждается. Следовательно, он сознательно вводит в заблуждение других.

 

VIII. Средствами таблично построенной логики высказываний установите, в каких отношениях находятся следующие высказывания:

 

8.1. Договаривающиеся стороны не имеют претензий друг к другу или они договариваются о расчете.

Если они договариваются о расчете, то они заключили новый договор или имеют претензии друг к другу.

 

8.2. Если философ является дуалистом, то он не идеалист.

Если философ не идеалист, то он диалектик или метафизик.

 

8.3. Если человек совершил преступление, то он подлежит привлечению к уголовной ответственности.

Если человек совершил преступление и это доказано, то он подлежит привлечению к уголовной ответственности.

Человек совершил преступление, но он не подлежит привлечению к уголовной ответственности.

 


<== предыдущая страница | следующая страница ==>
Правила для отрицания и правила противоречия | Роль умозаключений и их структура

Дата добавления: 2014-02-26; просмотров: 562; Нарушение авторских прав


lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.006 сек.