62544

Основные понятия алгебры логики

Доклад

Педагогика и дидактика

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

Русский

2014-06-11

23.1 KB

1 чел.


Основные понятия алгебры логики.

Логика - это наука о формах и способах мышления.

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

По поводу высказывание можно сказать, истинно оно или ложно. Истинным будет высказывание, в котором связь понятий правильно отражает свойства отношения реальных вещей. Ложным высказывание будет, если оно противоречит реальной действительности.

Пример: "Буква а - гласная". (это истинное высказвание).

Алгебра логики

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

Логическая переменная - это простое высказывание, содержащее только одну мысль. Ее символическое обозначание - латинская буква (например, A, B,C,F). Значением логической переменной могут быть только констансты ИСТИНА (1) и ЛОЖЬ (0).

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

На основании простых высказываний могут быть построены составные высказывания.

Логические операции - логические действие.

Базовые логические операции:

1. Логическое умножение (конъюнкция)

(соответсвует союз "И")

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

А

В

F = A /\ B

0

0

0

0

1

0

1

0

0

1

1

1

2. Логическое сложение (дизъюнкция)

(соответсвует союз "ИЛИ")

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

А

В

F = A \/ B

0

0

0

0

1

1

1

0

1

1

1

1

3. Логическое отрицание (инверсия)

(соответсвует частица "НЕ")

Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное – истинным .

А

F = A

0

1

1

0

Логические законы:

1. Независимость от перестановки мест (коммутативность)

A v B = B v A

A ^ B = B ^ A

2. Независимость от порядка выполнения однотипных действий (ассоциативность)

(A v B) v С= A v (B v С)

(A ^ B) ^ С= A ^ (B ^ С)

 

3. Распределительный закон относительно логического умножения и сложения (дистрибутивность)

Распределение относительно логического умножения:

(А v В) ^ C = (A ^ C) v (В ^ C).  

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

(A ^ B) v (В ^ C) = В ^ (А v C).  

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

Далее мы рассмотрим группу законов, у которых нет аналогов в алгебре, но они легко воспринимаются из-за своей наглядности.

4.Отсутствие степеней и коэффициентов (идемпотентность)

А v А = А

А ^ А = А

Если высказывание А ложно (0), то результат 0 v 0, а также 0 ^ 0 – ложь; если высказывание А истинно (1), то результат 1 v 1, а также 1 ^ 1 - истина

5. Двойное отрицание (инволюция)

¬ (¬ А) = А

6. Действия с абсолютно-истинными и абсолютно-ложными высказываниями. Абсолютно-истинное высказывание – высказывание, которое имеет значение ИСТИНА при любых значениях входящих в него простых высказываний. Такие высказывания обозначаются константой «истина» или 1. (пример: теорема Пифагора) Абсолютно-ложное высказывание – высказывание, которое имеет значение ЛОЖЬ при любых значениях входящих в него простых высказываний. Такие высказывания обозначаются константой «ложь» или 0.

А v 1 =1 (всегда истина)

А ^1 = А

А v 0 = А

А ^ 0 = 0 (всегда ложь)

7. Закон исключенного третьего

А v ¬ А = 1 (всегда истина)

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

 

8. Закон противоречия

А ^ ¬ А = 0 (всегда ложь)

В этом выражении что-то одно (либо А, либо ¬ А) ложно, поэтому результат логического умножения – ложь.

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

9. Законы де Моргана

¬ (А ^ В) = ¬ А v ¬ В

¬ (А v В) = ¬ А ^ ¬ В

10. Поглощение

А v А ^ В = А

А ^ (А v В) = А

11. Поглощение отрицания

А v ( ¬ А ^ В) = А v В

А ^ ( ¬ А v В) = А ^ В


 

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

25188. М.Шелер. Положення людини в космосі 30.5 KB
  Положення людини в космосі М. Причини: відсутність єдиної ідеї людини спеціальні науки психологія соціологія біологія і ін. зосереджуючись на окремих проявах людської життєдіяльності скоріше приховують сутність людини ніж розкривають. Двозначність поняття людини: 1.
25189. Сутність матеріалістичного розуміння історії 28 KB
  зору його внутрішньої структури; з т. зору процесу в якому задіяний: його історичних складових і звязків; з т. зору закономірностей його розвитку переходу одного його історичного стану в інший.
25190. Р.Рорті про походження ы засади теорії пізнання (Філософія і дзеркало природи) 37.5 KB
  Оба эти допущения по Рорти вовсе не являются неизбежными для философии; при этом первое из них берет своё начало ещё в античности прежде всего в платонизме а второе представляет собой специфический продукт философии Нового времени начиная с Декарта. Соответственно отказ от этого допущения позволяет Рорти деконструировать образ Зеркала Природы а это в свою очередь ведет к опровержению исходного взгляда на философию как на гарант добывания человеком объективной истины о себе и мире. Эпистемология теория познания с точки...
25191. Громадянське суспільство і держава 25.5 KB
  В основі ідеї громадянського суспільства лежить проблема відносин людини з політичною владою суспільства з державою. Вона є похідною від громадянського суспільства і її призначення полягає в тому щоб слугувати йому. Від ступеня розвиненості громадянського суспільства залежить ступінь демократизму держави. Етатизм навпаки всіляко перебільшує роль держави в житті суспільства.
25192. Філософське вчення Г. Сковороди 27.5 KB
  Сковорода 1722 1794 був всебічно освіченою для свого часу людиною досконало знав стародавні та нові європейські мови старогрецьку філософію і літературу. Сковорода стверджував що природа є безкінечна кількість світів . Сковорода пов'язував цю думку з концепцією двох натур двох природ лат. Сковорода намагався подолати дуалізм вчення про дві натури та знайти єдине начало€.
25193. Головні пункти критики спекулятивної диалектики з боку сучасників Гегеля (Шеллінг, Шопенгауер, Фейєрбах, Кіркегор) 29.5 KB
  Головні пункти критики спекулятивної диалектики з боку сучасників Гегеля Шеллінг Шопенгауер Фейєрбах Кіркегор. Фейєрбах: учень Гегеля незадоволений абстрактністю спекулятивної системи діалектикою €œчужістю€ системи конкретному людському індивідові. з гегелевською ідеєю абсолютного духа – €œвідстороненої€ сили Кіркегор: субєктивна екзистенціальна діалектика Кіркегора виростає як протиставлення системі Гегеля де людина підвладна анонімному принципу історичного розвитку втрачає свою індивідуальність. Критикував Гегеля також за...
25194. Гадамер про герменевтичний досвід і природу філософської істини 24.5 KB
  Мета філософської герменевтики – порятунок цілісного досвіду сприйняття світу. Більшість людських проблем пов’язані з збідненням досвіду ФГ. Вчить дотримуватися набутого досвіду. Герменевтичний досвід не може не залежити від наших упереджень попереднього досвіду.
25195. Знання як особлива форма освоєння світу 27.5 KB
  Пізнання це такий процес що спрямований на отримання знання. Пізнання має багато модусів оскільки людина відноситься до світу у різних площинах і пізнає його у різних ракурсах. Тому можна виділяти наукове пізнання етичне релігійне філософське мистецьке та інші. Пізнанням є таке відношення до світу в якому людина змінює себе за допомогою світу.
25196. Пізнання як особлива форма освоєння світу 25 KB
  Пізнання як особлива форма освоєння світу Якщо дуже просто то пізнання – це процес взаємодії суб’єкта та об’єкта що своїм результатом має знання. Існують різні способи пізнання а отже й різні види знання. Поряд із різноманітністю видів знань існує величезна кількість поглядів на саму природу пізнання. Говорять про абстрактне і конкретне пізнання повне і неповне наукове і філософське тощо.