32
Горбатова Ю.В., Горбатов В.В. НИУ ВШЭ

03 классическая логика высказываний

Embed Size (px)

Citation preview

Горбатова Ю.В., Горбатов В.В.НИУ ВШЭ

Содержание

Язык и семантика КЛВ Основные законы КЛВ Логические отношения между

сложными суждениями Основные способы умозаключений

КЛВ

1. Язык и семантика КЛВ

Что она изучает?

КЛВ – это теория, изучающая логическую форму сложных высказываний без учета логической формы входящих в них простых высказываний

Высказывание – повествовательное предложение, которое однозначным образом может быть оценено как истинное или ложное.

Аксиоматизацию КЛВ впервые произвел Г.Фреге

Сложные суждения Сложными называются такие

высказывания, в составе которых можно выделить части, в свою очередь являющиеся высказываниями

Простые высказывания в КЛВ рассматриваются как неделимые элементы, принимающие значение 1 (истина) либо 0 (ложь)

Значение сложного высказывания можно рассматривать как функцию от значений простых высказываний, входящих в его состав

Алфавит КЛВ

Пропозициональные переменныеp, q, r, s, …

Пропозициональные связки, &, V, V, ,

Технические символыСкобки ( , )

Пропозициональные связки

Отрицание (не, неверно что)

& Конъюнкция (и, а, но, хотя)V Дизъюнкция (или, либо)V Строгая дизъюнкция (либо- либо, только одно из двух) Импликация (если то, следует) Эквиваленция (равнозначно)

Определение правильно построенной формулы (ппф)1. Всякая пропозициональная

переменная – это ппф.

2. Если А – ппф, то А – ппф.3. Если А и В – ппф, то (А&В), (А

VВ), (А VВ), (А В), (А В) – ппф.4. Ничто иное не является ппф.

Пример формализации

р – виновен Джонс q – виновен Браун «Они оба виновны»

p & q «Виновен хотя бы один из них»

p V q «Они оба невиновны»

p & q «Джонс без Брауна на дело не

ходит»(p &q), или p q

Табличное определение связок

p q p p&q pVq pVq рq рq

1

1

1

1

0

0

0 0

1

1

1

0

0 0

0

0 0 0

01

1

1

1

1

1

1

1 1

1

0 0

0

1- + =Мат. аналог:

Пример построения таблицы

«Если Джонс без Брауна на дело не ходит, а виновен только один из них,

то это Браун»

((p & q) & (p V q)) q

1) Определяем число строк: k = 2n

2) Задаем значение атомарных переменных

3) Вычисляем значение подформул и формулы в целом

Пример построения таблицы

p q q p&q (p&q) p V q … & …

F

1

1

0

0

1

0

1

0

0

1

0

1

1

0

0

0

1

0

1

1

0

1

1

0

0

0

1

0

1

1

1

1

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

Формула называется выполнимой, если она принимает значение 1 хотя бы в одной строке

Формула называется логически случайной (собственно выполнимой), если она выполнима, но не общезначима

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

Формула называется опровержимой, если она принимает значение 0 хотя бы в одной строке

Формула называется логически случайной (собственно опровержимой), если она опровержима, но не противоречива

2. Основные законы КЛВ

Основные законы КЛВ

1) Закон тождестваА A

2) Закон непротиворечия

(A & A)3) Закон исключённого

третьегоA V A

4) Закон дв. отрицанияА А Аристотель

Основные законы КЛВ

5) Закон отрицания антецедента (закон Дунса Скота)

А (А В)Из заведомо ложной мысли

вытекает что угодно!

6) Закон утверждения консеквента

А (В А)Заведомо истинная мысль

вытекает из чего угодно! Дунс Скот

Основные законы КЛВ

7) Закон контрапозиции(А В) (В A)

8) Законы Де Моргана(АVВ) A & B(А&В) A V B

9) Закон транзитивности импликации

(А В)&(В С) (А С)

А. Де Морган

Какой закон нарушен?

Если неправда, что они оба виновны,

значит, они оба невиновны

Основные законы КЛВ

10) Законы дистрибутивностиА (В С) (А В) (А C)А & (В С) (А & В) (А & C)

11) Законы взаимовыразимости связок

(А В) (А В)(А В) (А В)

(А В) (A В)((A В) & (B A)) (A ≡ В)

((A В) & (B A)) (А В)

3. Логические отношения

Логические отношения между сложными суждениями Совместимость по истинности

А(1)В Существует строка А В1 1

Совместимость по ложностиА(0)В Существует строка А В

0 0 Логическое следование

А= В Не сущ. строки А В1 0

Логические отношения между сложными суждениями

Отношения А(1)В А(0)В А= В В= А

Контрадикторность

Контрарность

Субконтрарность

Независимость

Эквивалентность

А подчиняет В

В подчиняет А

– –

– +

+ –

+ + – –

+ +

+ –

– +

Примеры

А подчиняет ВА и С независимыА и D контрарныC подчиняет ВВ и D

контрадикторныС и D контрарны

А

0

1

1

0

В

1

1

1

0

С

1

0

1

0

D

0

0

0

1

4. Способы умозаключений

Основные способы умозаключений КЛВ

Умозаключение – это переход от некоторого множества исходных суждений (посылок) к одному общему заключению

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

Условно-категорические

А В, АВ

А В, ВА

Modus ponens (утверждающий способ)

Modus tollens (отрицающий способ)

А В, ВА

А В, АВ

Разделительно-категорические

А V В, АВ

А V В, АВ

Modus tollendo-ponens

(Отрицающе-утверждающий способ)

Modus ponendo-tollens

(Утверждающе-отрицающий способ)

Условно-разделительные

АС, ВС, АVВС

АВ, АС, ВVСА

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

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

АВ, СD, АVC

BVD

АВ, CD, ВVD

АVCСложная конструктивная

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

дилемма

Какие дилеммы здесь использованы?

Если цари злы, они заставляют страдать других людей. Если они добры, то страдают сами. Но либо они злы, либо добры. Следовательно, они будут страдать сами или приносить страдания другим людям (Фенелон)

Какие дилеммы здесь использованы?

У тебя есть два пути: жениться или не жениться. Женишься – пожалеешь. Не женишься – все равно пожалеешь. Следовательно, ты пожалеешь о своем решении в любом случае (Сократ)

Какие дилеммы здесь использованы?

Если пациент жалуется на здоровье, значит он еще не умер. Если жалуется на доктора – значит, уже здоров. Этот человек либо очень нездоров, либо уже умер. Ну и хорошо: по крайне мере на что-то одно он жаловаться не будет