 ПОЗНАВАТЕЛЬНОЕ Сила воли ведет к действию, а позитивные действия формируют позитивное отношение Как определить диапазон голоса - ваш вокал Игровые автоматы с быстрым выводом Как самому избавиться от обидчивости Противоречивые взгляды на качества, присущие мужчинам Вкуснейший "Салат из свеклы с чесноком" Натюрморт и его изобразительные возможности Применение, как принимать мумие? Мумие для волос, лица, при переломах, при кровотечении и т.д. Как научиться брать на себя ответственность Зачем нужны границы в отношениях с детьми? Световозвращающие элементы на детской одежде Как победить свой возраст? Восемь уникальных способов, которые помогут достичь долголетия Классификация ожирения по ИМТ (ВОЗ) Глава 3. Завет мужчины с женщиной
Оси и плоскости тела человека - Тело человека состоит из определенных топографических частей и участков, в которых расположены органы, мышцы, сосуды, нервы и т.д.
| Правила выводов логики высказываний
Логика высказываний– это логическая система, которая анализирует процессы рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений. Логика высказываний может строиться табличным методом или как исчисление, т. е. как система, позволяющая получать одни выражения из других на основании известных правил. Последняя называется системой натурального вывода. Аппаратом в ней служат правила вывода, каждое из которого является элементарной формой умозаключения. Правила вывода– это предписания или разрешения, позволяющие из суждений одной логической структуры как посылок вывести суждение некоторой логической структуры как заключение. Их особенность заключается в том, что признание истинности заключения производится на основании не содержания посылок, а их структуры. Правила вывода записываются в виде схемы, которая состоит из двух частей (верхней и нижней), разделенных горизонтальной линией – над чертой выписываются логические схемы посылок, под ней – заключение. Схема правил вывода:
Читается: из посылок вида А1, А2 , А3...Ап можно вывести заключение В. Правила выводов логики высказываний делят на основные и производные. Выводом в PN называется конечная последовательность выражений, каждое из которых есть либо 1) посылка, либо 2) доказанная штопор-формула, либо 3) получается из предыдущих выражений последовательности по одному из правил вывода системы PN; при этом последнее выражение последовательности должно быть получено либо по пункту 2, либо по пункту 3. Последнее выражение вывода – это его заключение. Основные правила– более простые и очевидные. Производныевыводятся из основных. Их введение сокращает процесс вывода. Как основные, так и производные делятся на прямые и непрямые (косвенные) Прямые правилауказывают на непосредственную выводимость некоторых суждений из других суждений. Непрямые (косвенные) правилавыводов дают возможность заключить о правомерности некоторых выводов из правомерности других выводов.
В языковой практике люди (исследователи) имеют какие-то высказывания (знания) x, обладают какими-то навыками оперирования высказываниями, в том числе - навыками получения из данных высказываний новых высказываний y. В логике как науке, изучающей такого рода явления, это запишется (зафиксируется) в высказывании «Из x выводится (логически следует, дедуцируется) y». В этом высказывании слово « выводится» («логически следует», «дедуцируется») является предикатом, а не логическим оператором. Вместо него для краткости и стандартности может быть введен особый значок, например (как это делаю я) – значок ├. Повторяю и подчеркиваю: это - не оператор, а термин, причем – именно предикат. В логике обычно этот факт игнорируют и используют в качестве предиката следования (вывода) логический оператор, называемый импликацией. Это порождает путаницу и мешает пониманию сути дела. С упомянутым значком тот факт, что из высказывания x выводится высказывание y, можно для краткости записать символом x├ y. В этом высказывании терминами являются выражения «Высказывание x» и «Высказывание y». Они суть метатермины по отношению к x и y, т.е. термины, обозначающие высказывания, состоящие из терминов. В логике этот факт точно так же игнорируется, поскольку знак вывода ( следования) рассматривается как оператор. Это усугубляет путаницу. В результате проблема правил вывода вообще сводится к операторам « логики высказываний» (к функциям исчисления высказываний). Достаточно детальное решение возникающих здесь проблем дано в моей работе « Логическое следование» (помещена в сборник «Очерки комплексной логики», упомянутый во Введении). Итак, формула x├ y есть лишь краткая и стандартизированная запись высказывания о том, что из высказывания x выводится по особым логическим правилам высказывание y. Если вывод осуществляется из двух или более высказываний x 1 , ..., x n , то эти высказывания можно рассматривать как конъюнкцию, т.е. как одно высказывание «x 1 и ... и x n ». И такие случаи сводятся к общему выражению x├ y. При этом высказывание x называется посылкой вывода (умозаключения), а высказывание y называется заключением или следствием. Формула x├ y (Из x следует y) фиксирует связь высказываний x и y, а не связь предметов, о которых говорится в высказываниях. В каких логических структурах фиксируются связи предметов, об этом речь пойдет в дальнейшем (в разделе «Онтология»). Какие именно связи высказываний имеются в виду, этому и посвящается логическая теория вывода (логического следования). Правила вывода вырабатываются с таким расчетом, чтобы выполнялся следующим принцип дедукции: если высказывание y по этим правилам получается из высказываний x 1 , ..., x n , и последние считаются истинными, то и y должно признать истинным.
При построении исчисления прежде всего · приводится совокупность знаков, которые будут фигурировать в нем ( их называют алфавитом), и · дается определение их комбинаций, подлежащих рассмотрению ( их называют формулами). · Затем излагаются аксиомы (или аксиомные семы) и · правила вывода теорем из аксиом. · Дается определение доказуемой формулы. В число таковых включаются аксиомы и теоремы. В моих построениях заранее предполагается, что алфавит фиксирует языковые объекты, подлежащие логической обработке, – логические операторы и конструируемые с ними высказывания и термины. · Плюс к тому – логические термины – знаки логических терминов «субъект», «предикат», «выводится» («логически следует»), «логически истинно», «доказуемо», «включается по значению», «тождественно по значению», «дедуктивно эквивалентно» и т.д. В логике обычно логические термины путаются с логи- ческими операторами. Например, на роль предиката вывода ( следования) выбирается одна из функций логики высказываний – импликация. Доказуемые формулы заранее планируются на роль описания правил вывода (следования, умозаключения). Основныеправила:
1. Упражнение: восстановите анализ доказательства
2. Упражнение: восстановите анализ доказательства
1 таблица
Упражнение
Список названий
1 .В.К. 2 .У.К. 3 .У.К. 4 .В.Д 5 .У.Д. 6 .У.Д. 7 .У.И. 8 .В.Э. 9 .У.Э. 10 .У.Э. 11 .В.О 12 .У.О. 13 .В.И. 14 . С.А. 15 .Правило условного силлогизма16 .Правило modus tollens17 .Правило отрицания дизъюнкции (ОД)18 .Правило отрицания конъюнкции(закон де Моргана) (ОК) 19 .Правило контрапозиции 1 20 .Правило обратной контрапозиции 2 21 .Правило сложной контрапозиции 22 .Правило простой конструктивной дилеммы (П.К.Д.) 23 .Правило сложной конструктивной дилеммы (С.К.Д.) 24 .Правило простой деструктивной дилеммы (П.Д.Д.) 25 .Правило сложной деструктивной дилеммы (С.Д.Д.)
Список схем
1 .A, B ├ A & B 2 .A & B ├ A3 .A & B ├ B4 .A, B ├ A ∨ B 5 .A ∨ B, Ø B ├ A6 .A ∨ B, Ø A ├ B7 .A É B, A ├ B8 .A É B, BÉ A ├A ↔B9 .A ↔B, ├ A ÉB 10 .A ↔B ├BÉ A11 .A ├ Ø Ø A12 .Ø Ø A├ A13 .П (пос), A(доп)…B├ AÉ B14 .П (пос), A(доп)…B, ØB,├ ØA15 .A É B, BÉC ├ AÉC 16 .A É B, Ø B ├ Ø A 17 .Ø (A Ú B) ├ Ø A & Ø B 18 .Ø (A & B) ├ Ø A Ú Ø B 19 .A É B ├ Ø B É Ø A 20 .Ø B É Ø A ├ A É B 21 .(A & B) É C ├ (A & Ø C) É Ø B 22 .A É C, B É C, A Ú В ├ C 23 .A É C, B É D, A Ú B ├ C Ú D 24 .A É B, A É C, Ø B Ú Ø C ├ Ø A 25 .A É B, C É D, Ø B Ú Ø D ├ Ø A Ú Ø C
Упражнение Сделай правильный вывод Список 1 .A, B ├ 2 .A & B ├ 3 .A & B ├ 4 .A, B ├ 5 .A ∨ B, Ø B ├ 6 .A ∨ B, Ø A ├ 7 .A É B, A ├ 8 .A É B, BÉ A ├9 .A ↔B, ├10 .A ↔B ├11 .A ├ 12 .Ø Ø A├ 13 .П (пос), A(доп)…B├ 14 .П (пос), A(доп)…B, ØB,├15 .A É B, BÉC ├ 16 .A É B, Ø B ├ 17 .Ø (A Ú B) ├ 18 .Ø (A & B) ├ 19 .A É B ├ 20 .Ø B É Ø A ├ 21 .(A & B) É C ├ 22 .A É C, B É C, A Ú В ├ 23 .A É C, B É D, A Ú B ├ 24 .A É B, A É C, Ø B Ú Ø C ├ 25 .A É B, C É D, Ø B Ú Ø D ├ Список 1 .A & B 2 .A3 .B4 .A ∨ B 5 .A6 .B7 .B8 .A ↔B9 .A ÉB 10 .BÉ A11 .Ø Ø A12 .A13 .AÉ B14 .ØA 15 .AÉC 16 .Ø A 17 .Ø A & Ø B 18 .Ø A Ú Ø B 19 .Ø B É Ø A 20 .A É B 21 .(A & Ø C) É Ø B 22 .C 23 .C Ú D 24 .Ø A 25 .Ø A Ú Ø C
2 таблица
3 таблица
|
