7595

Класична логіка висловлювань

Лекция

Логика и философия

Класична логіка висловлювань. Характерні ознаки класичної логіки висловлювань (=пропозиційної логіки) такі: 1) В межах пропозиційної логіки розглядаються лише такі міркування, засновки і висновки яких складаються із дескриптивних висловлювань....

Украинкский

2013-01-26

56.5 KB

27 чел.

Класична логіка висловлювань.

Характерні ознаки класичної логіки  висловлювань (=пропозиційної логіки) такі:

1) В межах пропозиційної логіки розглядаються лише такі міркування, засновки і висновки яких складаються із дескриптивних висловлювань.

Основна мета дескриптивних висловлювань полягає в описі дійсності. В таких висловлюваннях стверджується або заперечується наявність певних фактичних ситуацій. У природній мові це, як правило, розповідні речення: "Логіка – це наука".

2) Пропозиційна логіка є двозначною логікою: будь яке висловлювання може бути або істинним або хибним, але не тим і іншим зразу. Якщо факт, який описується у висловлюванні має місце в дійсності, то таке висловлювання є істинне, якщо немає – то хибне. Слід мати на увазі, що в логіці немає засобів щоб встановити істинність чи хибність висловлювання. Якщо істинність і хибність не можна встановити взагалі (тобто за допомогою інших наук), то таке висловлювання не розглядається (наприклад: імперативні, наказові висловлювання, нісенітні твердження).

Істинність та хибність – це логічне значення висловлювання, або значення істинності. Принцип, у відповідності з яким висловлюванню приписують істинність або хибність, називається принципом двозначності.

3) В класичній логіці висловлювання повністю абстрагуються від смислового значення висловлювання, а розглядаються лише предметні значення. Кожне дескриптивне висловлювання, як і будь-який знак, маж предметне і смислове значення.

Предметним значенням або денотатом висловлювання є два логічні об'єкти (значення висловлювання): істина або хиба. Тобто вважається, що всі істинні висловлювання позначають такий абстрактний об'єкт, як істина, а всі хибні – такий абстрактний об'єкт, як хиба.

Смислове значення висловлювання – це те, що засвоюється людиною в процесі його розуміння, тобто певна думка, судження, яке міститься у висловлюванні. Інше визначення: смислове значення висловлювання – це те спільне значення двох висловлювань на різних мовах, яке існує при їх правильному перекладі на якусь мову.

4) В логіці висловлювань абстрагуються від внутрішньої структури простих висловлювань. Розглядається лише структура складних висловлювань. Тобто логіку висловлювань цікавить, як із простих висловлювань утворюються складні і як залежить значення істинності складного висловлювання від значень істинності його складників.

Мова пропозиційної логіки.

Для того, щоб аналізувати логічну структуру складних висловлювань створюється спеціальна мова – мова логіки висловлювань. Для того, щоб задати таку мову необхідно визначитись, по-перше, з алфавітом і з правилами творення.

Алфавіт мови логіки висловлювань складається із таких знакових засобів:

1) знаки пропозиційних змінних (позначаються маленькими літерами другої половини латинського алфавіту: p, q, r, s,…) – позначають прості висловлювання природної мови.

2) знаки логічних сполучників:

заперечення

~

кон'юнкція (читається "і")

 або  &

диз'юнкція (читається "або")

нестрога диз'юнкція (перше або друге або разом, "або")

 – строга диз'юнкція (або перше або друге але не разом, "або або")

імплікація (читається "якщо, тоді")

еквіваленція (тоді і тільки тоді, якщо і тільки якщо)

3) технічні знаки "("; ","; ")".

Правила творення:

1) Будь-яка пропозиційна змінна є формулою.

2) Якщо А – формула, то заперечення А – також формула

А – формула  А – формула

3) Якщо А і B – формули, тоді АB, AB, AB, AB, AB – також формула.

В формулі завжди можна визначити головний логічний сполучник або головний знак формули (те, що з'єднує всі складові в одну формулу). Крім того в структурі формули завжди можна визначити її підформули.

Наприклад: (pq)r

 Головний знак формули:

 Підформули:

 1) (pq)r

 2) pq

 3) r

 4) p

 5) q

Для перекладу висловлювання із природної мови на мову логіки необхідно виконати такі кроки:

1) проаналізувати складне висловлювання і виділити всі прості, які входять до його складу, а потім позначити кожне із простих висловлювань пропозиційною змінною;

2) виділити логічні сполучники і позначити їх відповідними символами;

3) записати формулу.

Наприклад: "Якщо на вулиці холодно, то ми підемо до бібліотеки, а якщо тепло, то ми підемо до парку або до театру".

В даній формулі 5 простих висловлювань:

 p "якщо на вулиці холодно"

 q "підемо до бібліотеки"

 r "якщо тепло"

 s "підемо до парку"

 t "підемо до театру".

Формула: (pq)  r(st)

Самостійно:

1. Хто мудрий – той добрий.

 p – є мудрий, q – є добрий. p  q

2. Хто вмер, але не забутий – той безсмертний.

 p – хто вмер, q – є незабутий, r – є безсмертний.   ( p & q )  r

3. Той розуміє юність, хто розуміє старість.

p – розуміє юність, q – розуміє старість.   p  q

4. Щире слово, добре діло душу і серце обігріло.

 p – щире слово душу обігріло, q – щире слово серце обігріло, r – добре діло душу обігріло, s – добре діло серце обігріло.

 p & q & r & s

5. Рис розсипав – ще збереш, а сказав слово – не вернеш.

Cемантика класичної логіки висловлювань.

Логічна семантика вивчає відношення між знаком і його значенням.

Для того, щоб побудувати семантику класичної логіки висловлювання, треба визначити із правилами інтерпретації, які будуть приписувати значення всім правильно побудованим виразам даної теорії (всім формулам).

Будь-яка змінна логіки висловлювань може мати значення "істина" або "хиба". Для визначення значень формул з логічними сполучниками використовуються спеціальні матриці, які називаються таблицями істинності; або можна використовувати аналітичні правила. Для того, щоб сформулювати аналітичні правила вводяться два індекси: T-істина, а F-хиба.

Аналітичні правила:

1) Якщо істинне заперечення висловлювання, то саме висловлювання хибне:

 TA = FA

2) Якщо хибне заперечення висловлювання, то саме висловлювання істинне:

 FA = TA

3) Формула з кон'юнкцією буде істинним, якщо його обидві підформули істинні:

 TAB TA, TB

4) Кон'юнкція хибна, якщо хоча б одна або обидві його підформули хибні:

 FAB FAFB

5) Диз'юнкція істинна, якщо хоча б одна або обидві його підформули істинні:

 TAB TATB

6) Диз'юнкція хибна, якщо обидві його підформули хибні:

 FAB FA, FB

7) Строга диз'юнкція істинна, якщо істинна підформула А і хибна підформула В або хибна підформула А і істинна підформула В:

 TAB TA,FBFA,TB

8) Строга диз'юнкція хибна, якщо обидві її підформули істинні або хибні:

 FAB TA,TBFA, FB

9) Імплікація істинна якщо підформула А хибна, а підформула В істинна:

 TAB FA,TB

10) Імплікація хибна, якщо підформула А істинна, і підформула В – хибна:

 FAB TA,FB

11) Еквіваленція істинна, якщо підформули А і В одночасно хибні або істинні (співпадає зі строгою диз'юнкцією, правило №8, тільки навпаки):

 TAB якщо TA,TBFA,FB

12) Еквіваленція істинна, якщо підформула А істинна і підформула В хибна, або хибна підформула А і підформула В істинна (співпадає зі строгою диз'юнкцією, правило №7, тільки навпаки):

 FAB якщо TA,FBFA,TB

Правила 1,2,3,6,10 називаються правилами без розподілу (стоїть кома). Інші є правилами з розподілом, і риска в них означає, що в подальшому необхідно враховувати якусь одну із можливостей.

Основні закони пропозиційної логіки.

Основне поняття логіки – це поняття логічного закону.

Логічний закон в класичній логіці висловлювань – це завжди істинна формула, тобто така формула, яка набуває значення істинності незалежно від значення змінних, які входять до її складу.

Крім логічних законів розрізняють ще логічне протиріччя і виконувані формули.

Логічне протиріччя – це завжди хибна формула, тобто ця формула набуває значення "хиба" не залежно від значення змінних, які входять до її складу.

Виконувані формули – можуть змінювати своє логічне значення в залежності від значень змінних, які входять до її складу.


 

А также другие работы, которые могут Вас заинтересовать

23812. Конкретный смысл действия умножения 20.26 KB
  Почему цель: сколько раз и по сколько раз взяли число 777 7777 444 444 222 888 Вычисли: выходят два ученика Остальные в тетрадях. 27999= 217777= Сколько раз из 27 вычли 9 из 28 вычли 7 Значит сколько раз по 9 содержится в 27 по 7 в 14 Внимательно слушаем Запиши число 2728 через сумму 9 7. запись: 999=27; 7777=21по 9 три раза Итак внимание Сумму какого числа мы находили Сколько раз мы сложили это число запишем Это обозначает что мы взяли по 9 взяли три раза кто нибудь...
23813. Задачи на умножение 16.86 KB
  Класс: 2 Тип урока: комбинированный Тема: задачи на умножение; ФОУД: фронтальная индивидуальная Технология: традиционная Дидактическая цель: создать условия для отработки навыка замены действий сложения умножением в решении задач; Задачи: 1.Образовательные: 1 совершенствовать навыки устного счета 2 заменять сумму одинаковых слагаемых умножением; 3 отрабатывать умения решать задачи; 4закреплять правила замены суммы одинаковых слагаемых умножением. вычисление с помощью замены умножения сложением замени суммой одинаковых слагаемых: 6=...
23814. Стихи А. Плещеева о весне 19.54 KB
  Плещеева о весне Тип урока: урок чтения лирического произведения и коллективного анализа ФОУД: фронтальная Технология: традиционная Оборудование: учебник Литературное чтение Канакина 2кл. Плещеева о весне Задачи Образовательные: познакомить с важными фактами из жизни и творчества А. Плещеева совершенствовать умение анализировать лирическое произведение совершенствовать навык сознательного правильного выразительного чтения Развивающие: развивать творческое воображение детей развивать литературную речь учащихся развивать память...
23815. Рассказ В. Осеевой «Волшебное слово» 20.25 KB
  Вспомним содержание произведения ответив на вопросы кроссворда у каждого на парте Учитель Читает вопросы: Как зовут мальчика Что было в руке у старика Как зовут девочку Кто пекла пирожки На чем сидел старик в начале рассказа Кого попросил Павлик чтобы его взяли кататься на лодке Где Павлик нашел бабушку Что пекла бабушка На чем чертил старик зонтиком Что попросил Павлик у Лены На чем хотел покататься Павлик Куда положил Павлик руку когда попросил брата взять его покататься Как назвал старика Павлик Какое...
23816. Урок по литературе Рассказ В. Осеевой «Волшебное слово» 21.54 KB
  Для того чтобы узнать какая тема будет сегодня у нас на уроке вам нужно составить правильные словосочетания: сказка настольная лампа волшебное слово интересная Обратите внимание какое слово во втором столбике не может сочетаться с другими словами С каким словом оно сочетается Так называется произведение которое мы сегодня будем изучать на уроке. Увлекательные истории цикла рассказов Волшебное слово очень нравились детям.
23817. В. Осеева «Волшебное слово» 49.5 KB
  Осеева Волшебное слово УМК Школа России Л. сказка деревянная палочка красивый лампа интересная слово настольная цветок волшебное Стрелкой соедините слова связанные по смыслу. Слайд 3 Какое словосочетание здесь лишнее Почему Слайд 4 Можем ли мы употребить слово волшебное с другими славами из первого столбика Что у...
23818. В. Осеева « Волшебное слово». 267.17 KB
  Карточки с пословицами карточки с вежливыми словами выставка книг о вежливости мяч карточки с названиями частей плана учебник портрет В. словарь Ожегова кроссворд Ход урока. Как вы понимаете эти слова Волшебное доброе слово может подбодрить человека в трудную минуту поможет улучшить наше настроение. Словарь вежливых слов Растает даже ледяная глыба от слова теплого СПАСИБО.
23819. Урок чтения лирического произведения и коллективного анализа 19.02 KB
  Дата: 19 февраля Класс: 2 Тема: Тип урока: урок чтения лирического произведения и коллективного анализа ФОУД: фронтальная Технология: традиционная Оборудование: учебник Литературное чтение Канакина 2кл. Вы любите зиму Почему Почему мы рады весне Прочитаем еще раз стихотворение: чтение 1 го четверостишия Найдите рифмующиеся слова злится стучится подберите синоним к слову не даром не зря Какой героине вы больше сопереживаете весне чтение 2 четверостя Кто помогает весне Как вы понимаете значение слова трезвон чтение...
23820. Рассказ В. Осеевой «Почему?» 17.22 KB
  Класс: 2 Тема: Рассказ В. Дидактическая цель: создать условия для восприятия рассказа В.Образовательные: познакомить с произведением отрабатывать умение формулировать главную мысль и тему рассказа совершенствовать навык правильного осознанного чтения 2. Воспитательные: воспитывать моральные качества воспитывать наблюдательность воспитывать интерес к рассказу как к жанру Ход урока: этапы деятельность учителя деятельн.